Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | OPT | 1496 | 18.3552 | 16.1668 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb |
MD5SUM | 68d64078750ebeea40444abb8e9568e3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1496 |
Best CPU time to get the best result obtained on this benchmark | 0.032994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1496 |
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 | 1626 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 524677 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1626 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 524677 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.14 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c Simplify asserted PB constraints to clauses 0.20/0.20 c solving /tmp/evaluation/363150-1177023640/instance-363150-1177023640.opb 0.20/0.20 c reading problem ... 0.84/0.62 c ... done. Wall clock time 0.418s. 0.84/0.62 c CPU time (experimental) 0.44s. 0.84/0.62 c #vars 771 0.84/0.62 c #constraints 46 1.45/1.09 c SATISFIABLE 1.45/1.09 c OPTIMIZING... 1.45/1.09 c Got one! Elapsed wall clock time (in seconds):0.888 1.45/1.09 o 2083 2.17/1.47 c Got one! Elapsed wall clock time (in seconds):1.274 2.17/1.47 o 1813 3.66/2.33 c Got one! Elapsed wall clock time (in seconds):2.129 3.66/2.33 o 1506 7.99/6.00 c Got one! Elapsed wall clock time (in seconds):5.804 7.99/6.00 o 1498 15.68/13.58 c Got one! Elapsed wall clock time (in seconds):13.383 15.68/13.58 o 1496 18.29/16.10 c starts : 7 18.29/16.10 c conflicts : 190 18.29/16.10 c decisions : 11219 18.29/16.10 c propagations : 21877 18.29/16.10 c inspects : 34962 18.29/16.10 c learnt literals : 0 18.29/16.10 c learnt binary clauses : 0 18.29/16.10 c learnt ternary clauses : 0 18.29/16.10 c learnt clauses : 189 18.29/16.10 c root simplifications : 0 18.29/16.10 c removed literals (reason simplification) : 0 18.29/16.10 c reason swapping (by a shorter reason) : 0 18.29/16.10 c Calls to reduceDB : 0 18.29/16.10 c speed (decisions/second) : 4476.85554668795 18.29/16.10 c non guided choices 0 18.29/16.10 s OPTIMUM FOUND 18.29/16.11 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 18.29/16.11 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 18.29/16.11 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 18.29/16.11 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 18.29/16.11 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 18.29/16.11 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 18.29/16.11 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 18.29/16.11 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 18.29/16.11 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 18.29/16.11 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 18.29/16.11 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 18.29/16.11 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 18.29/16.11 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 18.29/16.11 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 18.29/16.11 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 18.29/16.11 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 18.29/16.11 v -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 18.29/16.11 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 18.29/16.11 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 18.29/16.11 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 18.29/16.11 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 18.29/16.11 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 18.29/16.11 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 18.29/16.11 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 18.29/16.11 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 18.29/16.11 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 18.29/16.11 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 18.29/16.11 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 18.29/16.11 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 18.29/16.11 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 18.29/16.11 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 18.29/16.11 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 18.29/16.11 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 18.29/16.11 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 18.29/16.11 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 18.29/16.11 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 18.29/16.11 c objective function=1496 18.29/16.11 c Total wall clock time (ms): 15.911
OK 1496
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-363150-1177023640 -o ROOT/results/node9/solver-363150-1177023640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363150-1177023640/sat4jPseudoCPClause.jar /tmp/evaluation/363150-1177023640/instance-363150-1177023640.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.02 1.01 1.00 2/77 27724 /proc/meminfo: memFree=1853776/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1472 CPUtime=0 /proc/27724/stat : 27724 (java) R 27722 27724 26514 0 -1 0 111 0 0 0 0 0 0 0 18 0 1 0 178401564 1507328 83 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27724/statm: 369 94 71 9 0 11 0 [startup+0.105715 s] /proc/loadavg: 1.02 1.01 1.00 2/77 27724 /proc/meminfo: memFree=1853776/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1780260 CPUtime=0.09 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 4019 0 1 0 6 3 0 0 18 0 12 0 178401564 1822986240 3760 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 445065 3760 1124 9 0 442683 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780260 [startup+0.201726 s] /proc/loadavg: 1.02 1.01 1.00 2/77 27724 /proc/meminfo: memFree=1853776/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1782264 CPUtime=0.2 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 4858 0 1 0 17 3 0 0 18 0 12 0 178401564 1825038336 4596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 445566 4596 1244 9 0 443177 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1782264 [startup+0.301735 s] /proc/loadavg: 1.02 1.01 1.00 2/77 27724 /proc/meminfo: memFree=1853776/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1782264 CPUtime=0.32 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 5122 0 1 0 29 3 0 0 18 0 12 0 178401564 1825038336 4857 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 445566 4857 1264 9 0 443177 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782264 [startup+0.701781 s] /proc/loadavg: 1.02 1.01 1.00 2/77 27724 /proc/meminfo: memFree=1853776/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1784564 CPUtime=0.99 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 7539 0 1 0 95 4 0 0 18 0 13 0 178401564 1827393536 6573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 446141 6573 1310 9 0 443752 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 1784564 [startup+1.50287 s] /proc/loadavg: 1.02 1.01 1.00 3/89 27737 /proc/meminfo: memFree=1807856/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1792272 CPUtime=2.37 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 27976 0 1 0 222 15 0 0 18 0 12 0 178401564 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 448068 25773 1313 9 0 445679 0 [pid=27724/tid=27726] ppid=27722 vsize=1792272 CPUtime=1.03 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 22369 0 1 0 91 12 0 0 18 0 12 0 178401566 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 178401567 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 178401567 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 178401569 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 178401570 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 178401570 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 178401574 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1792272 CPUtime=0.81 /proc/27724/task/27733/stat : 27733 (java) R 27722 27724 26514 0 -1 64 3344 0 0 0 80 1 0 0 17 0 12 0 178401574 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105848824 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1792272 CPUtime=0.5 /proc/27724/task/27734/stat : 27734 (java) R 27722 27724 26514 0 -1 64 1537 0 0 0 50 0 0 0 16 0 12 0 178401574 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105014801 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 178401574 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1792272 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 178401574 1835286528 25773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 1792272 [startup+3.10205 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27739 /proc/meminfo: memFree=1691816/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1792804 CPUtime=4.64 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 47298 0 1 0 442 22 0 0 18 0 13 0 178401564 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 448201 42102 1325 9 0 445812 0 [pid=27724/tid=27726] ppid=27722 vsize=1792804 CPUtime=2.47 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 37722 0 1 0 229 18 0 0 21 0 13 0 178401566 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109621529 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1792804 CPUtime=0.01 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 299 0 0 0 1 0 0 0 16 0 13 0 178401567 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1792804 CPUtime=0.01 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 443 0 0 0 1 0 0 0 16 0 13 0 178401567 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401569 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1792804 CPUtime=1.28 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 4978 0 0 0 127 1 0 0 15 0 13 0 178401574 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1792804 CPUtime=0.83 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3123 0 0 0 82 1 0 0 16 0 13 0 178401574 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1835831296 42102 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 1792804 [startup+6.30142 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27740 /proc/meminfo: memFree=1669864/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1792804 CPUtime=8.32 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 57307 0 1 0 805 27 0 0 18 0 13 0 178401564 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 448201 49297 1328 9 0 445812 0 [pid=27724/tid=27726] ppid=27722 vsize=1792804 CPUtime=5.53 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 43499 0 1 0 533 20 0 0 25 0 13 0 178401566 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109698975 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1792804 CPUtime=0.04 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 1381 0 0 0 4 0 0 0 16 0 13 0 178401567 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1792804 CPUtime=0.04 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 1316 0 0 0 4 0 0 0 16 0 13 0 178401567 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1792804 CPUtime=1.6 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6708 0 0 0 158 2 0 0 16 0 13 0 178401574 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1792804 CPUtime=1.03 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3652 0 0 0 102 1 0 0 16 0 13 0 178401574 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1792804 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1835831296 49297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.32 Current children cumulated vsize (KiB) 1792804 [startup+12.7021 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27741 /proc/meminfo: memFree=1645728/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=14.84 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62254 0 1 0 1455 29 0 0 18 0 13 0 178401564 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 52609 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=11.82 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46284 0 1 0 1160 22 0 0 25 0 13 0 178401566 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109622181 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.11 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2589 0 0 0 10 1 0 0 16 0 13 0 178401567 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.1 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2266 0 0 0 10 0 0 0 16 0 13 0 178401567 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1791468 CPUtime=1.65 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6710 0 0 0 163 2 0 0 16 0 13 0 178401574 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1791468 CPUtime=1.1 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3654 0 0 0 109 1 0 0 16 0 13 0 178401574 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27741] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27741/stat : 27741 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178402168 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.84 Current children cumulated vsize (KiB) 1791468 Solver just ended. Dumping a history of the last processes samples [startup+12.8021 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27741 /proc/meminfo: memFree=1645728/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=14.94 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62254 0 1 0 1465 29 0 0 18 0 13 0 178401564 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 52609 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=11.92 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46284 0 1 0 1170 22 0 0 25 0 13 0 178401566 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109630081 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.11 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2589 0 0 0 10 1 0 0 16 0 13 0 178401567 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.1 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2266 0 0 0 10 0 0 0 16 0 13 0 178401567 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27741] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27741/stat : 27741 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 178402168 1834463232 52609 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.94 Current children cumulated vsize (KiB) 1791468 [startup+14.4063 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27742 /proc/meminfo: memFree=1648800/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=16.59 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62642 0 1 0 1629 30 0 0 18 0 13 0 178401564 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 52258 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=13.51 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46288 0 1 0 1329 22 0 0 19 0 13 0 178401566 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109630081 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.12 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2788 0 0 0 11 1 0 0 15 0 13 0 178401567 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.12 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2450 0 0 0 12 0 0 0 16 0 13 0 178401567 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1791468 CPUtime=1.65 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6710 0 0 0 163 2 0 0 16 0 13 0 178401574 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1791468 CPUtime=1.12 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3654 0 0 0 111 1 0 0 17 0 13 0 178401574 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27742] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27742/stat : 27742 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178402924 1834463232 52258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 16.59 Current children cumulated vsize (KiB) 1791468 [startup+15.2014 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27742 /proc/meminfo: memFree=1648800/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=17.38 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62791 0 1 0 1708 30 0 0 18 0 13 0 178401564 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 51938 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=14.29 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46289 0 1 0 1407 22 0 0 21 0 13 0 178401566 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109621384 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.13 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2880 0 0 0 12 1 0 0 16 0 13 0 178401567 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.12 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2506 0 0 0 12 0 0 0 16 0 13 0 178401567 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1791468 CPUtime=1.65 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6710 0 0 0 163 2 0 0 16 0 13 0 178401574 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1791468 CPUtime=1.12 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3654 0 0 0 111 1 0 0 17 0 13 0 178401574 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27742] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27742/stat : 27742 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178402924 1834463232 51938 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 17.38 Current children cumulated vsize (KiB) 1791468 [startup+15.6015 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27742 /proc/meminfo: memFree=1650208/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=17.79 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62875 0 1 0 1749 30 0 0 18 0 13 0 178401564 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 51917 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=14.69 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46290 0 1 0 1447 22 0 0 24 0 13 0 178401566 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109621732 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.13 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2924 0 0 0 12 1 0 0 16 0 13 0 178401567 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.12 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2545 0 0 0 12 0 0 0 16 0 13 0 178401567 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 178401569 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1791468 CPUtime=1.65 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6710 0 0 0 163 2 0 0 16 0 13 0 178401574 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1791468 CPUtime=1.12 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3654 0 0 0 111 1 0 0 17 0 13 0 178401574 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27742] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27742/stat : 27742 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178402924 1834463232 51917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 17.79 Current children cumulated vsize (KiB) 1791468 [startup+16.0015 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27742 /proc/meminfo: memFree=1650208/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=18.19 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62951 0 1 0 1789 30 0 0 18 0 13 0 178401564 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 51564 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=15.09 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46291 0 1 0 1487 22 0 0 25 0 13 0 178401566 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720647 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.14 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2971 0 0 0 13 1 0 0 16 0 13 0 178401567 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.13 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2573 0 0 0 13 0 0 0 16 0 13 0 178401567 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1791468 CPUtime=1.65 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6710 0 0 0 163 2 0 0 16 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1791468 CPUtime=1.12 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3654 0 0 0 111 1 0 0 17 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27742] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27742/stat : 27742 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178402924 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 18.19 Current children cumulated vsize (KiB) 1791468 [startup+16.1015 s] /proc/loadavg: 1.01 1.01 1.00 2/90 27742 /proc/meminfo: memFree=1650208/2055920 swapFree=4152812/4192956 [pid=27724] ppid=27722 vsize=1791468 CPUtime=18.29 /proc/27724/stat : 27724 (java) S 27722 27724 26514 0 -1 0 62951 0 1 0 1799 30 0 0 18 0 13 0 178401564 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27724/statm: 447867 51564 1329 9 0 445478 0 [pid=27724/tid=27726] ppid=27722 vsize=1791468 CPUtime=15.19 /proc/27724/task/27726/stat : 27726 (java) R 27722 27724 26514 0 -1 64 46291 0 1 0 1497 22 0 0 25 0 13 0 178401566 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109640158 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27727] ppid=27722 vsize=1791468 CPUtime=0.14 /proc/27724/task/27727/stat : 27727 (java) S 27722 27724 26514 0 -1 64 2971 0 0 0 13 1 0 0 16 0 13 0 178401567 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27728] ppid=27722 vsize=1791468 CPUtime=0.13 /proc/27724/task/27728/stat : 27728 (java) S 27722 27724 26514 0 -1 64 2573 0 0 0 13 0 0 0 16 0 13 0 178401567 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27729] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27729/stat : 27729 (java) S 27722 27724 26514 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 178401569 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27730] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27730/stat : 27730 (java) S 27722 27724 26514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27731] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27731/stat : 27731 (java) S 27722 27724 26514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 178401570 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27732] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27732/stat : 27732 (java) S 27722 27724 26514 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27733] ppid=27722 vsize=1791468 CPUtime=1.65 /proc/27724/task/27733/stat : 27733 (java) S 27722 27724 26514 0 -1 64 6710 0 0 0 163 2 0 0 16 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27734] ppid=27722 vsize=1791468 CPUtime=1.12 /proc/27724/task/27734/stat : 27734 (java) S 27722 27724 26514 0 -1 64 3654 0 0 0 111 1 0 0 17 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27735] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27735/stat : 27735 (java) S 27722 27724 26514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27724/tid=27736] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27736/stat : 27736 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 178401574 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27724/tid=27742] ppid=27722 vsize=1791468 CPUtime=0 /proc/27724/task/27742/stat : 27742 (java) S 27722 27724 26514 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 178402924 1834463232 51564 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 18.29 Current children cumulated vsize (KiB) 1791468 Child status: 30 Real time (s): 16.1668 CPU time (s): 18.3552 CPU user time (s): 18.0163 CPU system time (s): 0.338948 CPU usage (%): 113.537 Max. virtual memory (cumulated for all children) (KiB): 1796900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.0163 system time used= 0.338948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62962 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= 1337 involuntary context switches= 1083 runsolver used 0.019996 second user time and 0.052991 second system time The end
Begin job on node9 on Thu Apr 19 23:00:40 UTC 2007 IDJOB= 363150 IDBENCH= 1745 IDSOLVER= 164 FILE ID= node9/363150-1177023640 PBS_JOBID= 4630575 Free space on /tmp= 66425 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363150-1177023640/sat4jPseudoCPClause.jar /tmp/evaluation/363150-1177023640/instance-363150-1177023640.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-363150-1177023640 -o ROOT/results/node9/solver-363150-1177023640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363150-1177023640/sat4jPseudoCPClause.jar /tmp/evaluation/363150-1177023640/instance-363150-1177023640.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 68d64078750ebeea40444abb8e9568e3 RANDOM SEED= 806585544 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1854248 kB Buffers: 29168 kB Cached: 109676 kB SwapCached: 7900 kB Active: 67900 kB Inactive: 94368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854248 kB SwapTotal: 4192956 kB SwapFree: 4152812 kB Dirty: 3752 kB Writeback: 0 kB Mapped: 30444 kB Slab: 24996 kB Committed_AS: 6077864 kB PageTables: 1788 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= 66425 MiB End job on node9 on Thu Apr 19 23:00:56 UTC 2007