Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | -8 | 1800.32 | 1745.46 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
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.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 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.15 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/352046-1176621263/instance-352046-1176621263.opb 0.20/0.20 c reading problem ... 0.46/0.41 c ... done. Wall clock time 0.204s. 0.46/0.41 c CPU time (experimental) 0.33s. 0.46/0.41 c #vars 787 0.46/0.41 c #constraints 113 2.35/1.45 c SATISFIABLE 2.35/1.45 c OPTIMIZING... 2.35/1.45 c Got one! Elapsed wall clock time (in seconds):1.251 2.35/1.46 o 0 356.79/349.84 c Got one! Elapsed wall clock time (in seconds):349.635 356.79/349.84 o -8 1800.03/1745.21 c starts : 5 1800.03/1745.21 c conflicts : 36741 1800.03/1745.21 c decisions : 107331 1800.03/1745.21 c propagations : 963309 1800.03/1745.21 c inspects : 157670703 1800.03/1745.21 c learnt literals : 0 1800.03/1745.21 c learnt binary clauses : 0 1800.03/1745.21 c learnt ternary clauses : 0 1800.03/1745.21 c learnt clauses : 36740 1800.03/1745.21 c root simplifications : 0 1800.03/1745.21 c removed literals (reason simplification) : 0 1800.03/1745.21 c reason swapping (by a shorter reason) : 0 1800.03/1745.21 c Calls to reduceDB : 0 1800.03/1745.21 c speed (decisions/second) : 76.91910776672937 1800.03/1745.21 c non guided choices 0 1800.03/1745.21 s SATISFIABLE 1800.03/1745.22 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 1800.03/1745.22 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 1800.03/1745.22 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 1800.03/1745.22 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 -x105 1800.03/1745.22 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.03/1745.22 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.03/1745.22 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.03/1745.22 v -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.03/1745.22 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.03/1745.22 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.03/1745.22 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.03/1745.22 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.03/1745.22 v x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 1800.03/1745.22 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.03/1745.22 v -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.03/1745.22 v -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.03/1745.22 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.03/1745.22 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 1800.03/1745.22 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.03/1745.22 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.03/1745.22 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 1800.03/1745.22 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.03/1745.22 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.03/1745.22 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.03/1745.22 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.03/1745.22 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.03/1745.22 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.03/1745.22 v -x589 -x590 -x591 -x592 -x593 x594 x595 x596 -x597 x598 x599 x600 x601 -x602 x603 -x604 x605 -x606 -x607 -x608 x609 x610 x611 1800.03/1745.22 v x612 -x613 x614 x615 x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 x627 -x628 x629 -x630 x631 x632 -x633 -x634 1800.03/1745.22 v x635 x636 x637 x638 x639 x640 -x641 x642 -x643 -x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 1800.03/1745.22 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.03/1745.22 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.03/1745.22 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.03/1745.22 v -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.03/1745.22 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.03/1745.22 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.03/1745.22 v -x784 -x785 -x786 -x787 1800.03/1745.22 c objective function=-8 1800.03/1745.24 c Total wall clock time (ms): 1745.018
OK -8
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-352046-1176621263 -o ROOT/results/node7/solver-352046-1176621263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352046-1176621263/sat4jPseudoCPClause.jar /tmp/evaluation/352046-1176621263/instance-352046-1176621263.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.99 0.99 2/77 6881 /proc/meminfo: memFree=1626080/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=272 CPUtime=0 /proc/6881/stat : 6881 (java) D 6879 6881 6509 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 138163896 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10416932 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/6881/statm: 68 37 28 9 0 6 0 [startup+0.103185 s] /proc/loadavg: 0.93 0.99 0.99 2/77 6881 /proc/meminfo: memFree=1626080/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1780112 CPUtime=0.08 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 3982 0 1 0 5 3 0 0 18 0 12 0 138163896 1822834688 3723 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 445028 3723 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.201193 s] /proc/loadavg: 0.93 0.99 0.99 2/77 6881 /proc/meminfo: memFree=1626080/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1781412 CPUtime=0.2 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 4848 0 1 0 16 4 0 0 18 0 12 0 138163896 1824165888 4586 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 445353 4586 1244 9 0 442964 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1781412 [startup+0.301204 s] /proc/loadavg: 0.93 0.99 0.99 2/77 6881 /proc/meminfo: memFree=1626080/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1781412 CPUtime=0.31 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 5115 0 1 0 27 4 0 0 18 0 12 0 138163896 1824165888 4853 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 445353 4853 1264 9 0 442964 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781412 [startup+0.701246 s] /proc/loadavg: 0.93 0.99 0.99 2/77 6881 /proc/meminfo: memFree=1626080/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1783272 CPUtime=0.98 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 7452 0 1 0 93 5 0 0 18 0 13 0 138163896 1826070528 6780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 445818 6780 1309 9 0 443429 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1783272 [startup+1.50233 s] /proc/loadavg: 0.93 0.99 0.99 3/90 6894 /proc/meminfo: memFree=1576248/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1797512 CPUtime=2.55 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 27954 0 1 0 241 14 0 0 18 0 13 0 138163896 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 449378 23391 1316 9 0 446989 0 [pid=6881/tid=6883] ppid=6879 vsize=1797512 CPUtime=0.92 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 18829 0 1 0 82 10 0 0 18 0 13 0 138163897 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 138163898 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 138163898 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 138163901 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 138163901 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 138163901 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1797512 CPUtime=0.76 /proc/6881/task/6890/stat : 6890 (java) R 6879 6881 6509 0 -1 64 4507 0 0 0 75 1 0 0 16 0 13 0 138163905 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103320049 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1797512 CPUtime=0.84 /proc/6881/task/6891/stat : 6891 (java) R 6879 6881 6509 0 -1 64 3893 0 0 0 83 1 0 0 19 0 13 0 138163905 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336776 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1797512 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1840652288 23391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.55 Current children cumulated vsize (KiB) 1797512 [startup+3.10249 s] /proc/loadavg: 0.93 0.99 0.99 3/90 6895 /proc/meminfo: memFree=1461104/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795800 CPUtime=4.92 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 50866 0 1 0 470 22 0 0 18 0 13 0 138163896 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448950 42840 1331 9 0 446561 0 [pid=6881/tid=6883] ppid=6879 vsize=1795800 CPUtime=2.33 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 37735 0 1 0 216 17 0 0 24 0 13 0 138163897 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109603715 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795800 CPUtime=0.01 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 390 0 0 0 1 0 0 0 16 0 13 0 138163898 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795800 CPUtime=0.01 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 370 0 0 0 1 0 0 0 16 0 13 0 138163898 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 138163901 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795800 CPUtime=1.23 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6228 0 0 0 121 2 0 0 16 0 13 0 138163905 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795800 CPUtime=1.32 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5407 0 0 0 130 2 0 0 16 0 13 0 138163905 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6895] ppid=6879 vsize=1795800 CPUtime=0 /proc/6881/task/6895/stat : 6895 (java) S 6879 6881 6509 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 138164042 1838899200 42840 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.92 Current children cumulated vsize (KiB) 1795800 [startup+6.30183 s] /proc/loadavg: 0.94 0.99 0.99 2/90 6895 /proc/meminfo: memFree=1457520/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=8.31 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 53353 0 1 0 807 24 0 0 18 0 13 0 138163896 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 44422 1331 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=5.44 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 37740 0 1 0 527 17 0 0 22 0 13 0 138163897 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109598277 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=0.06 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 1654 0 0 0 6 0 0 0 16 0 13 0 138163898 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=0.06 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 1557 0 0 0 6 0 0 0 16 0 13 0 138163898 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 138163901 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795736 CPUtime=1.34 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6234 0 0 0 132 2 0 0 16 0 13 0 138163905 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.36 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5414 0 0 0 134 2 0 0 16 0 13 0 138163905 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6895] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6895/stat : 6895 (java) S 6879 6881 6509 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 138164042 1838833664 44422 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.31 Current children cumulated vsize (KiB) 1795736 [startup+12.7015 s] /proc/loadavg: 0.94 0.99 0.99 2/90 6895 /proc/meminfo: memFree=1412208/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=15.22 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 63781 0 1 0 1493 29 0 0 18 0 13 0 138163896 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 54510 1332 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=11.66 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 42672 0 1 0 1147 19 0 0 23 0 13 0 138163897 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109604162 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=0.17 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 4546 0 0 0 16 1 0 0 16 0 13 0 138163898 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=0.17 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 4125 0 0 0 15 2 0 0 16 0 13 0 138163898 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795736 CPUtime=1.54 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6250 0 0 0 152 2 0 0 16 0 13 0 138163905 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.63 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5434 0 0 0 161 2 0 0 16 0 13 0 138163905 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6895] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6895/stat : 6895 (java) S 6879 6881 6509 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 138164042 1838833664 54510 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.22 Current children cumulated vsize (KiB) 1795736 [startup+25.5028 s] /proc/loadavg: 0.96 0.99 0.99 2/90 6895 /proc/meminfo: memFree=1400176/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=28.2 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 68197 0 1 0 2789 31 0 0 18 0 13 0 138163896 1838833664 57844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 57844 1332 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=24.31 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 42766 0 1 0 2411 20 0 0 16 0 13 0 138163897 1838833664 57844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109545198 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=0.31 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 6920 0 0 0 29 2 0 0 16 0 13 0 138163898 1838833664 57844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=0.3 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 6071 0 0 0 28 2 0 0 16 0 13 0 138163898 1838833664 57844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 57844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6251 0 0 0 161 2 0 0 16 0 13 0 138163905 1838833664 290758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.68 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5434 0 0 0 166 2 0 0 16 0 13 0 138163905 1838833664 290758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 290758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 290758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6896] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6896/stat : 6896 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 138198880 1838833664 290758 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1588.17 Current children cumulated vsize (KiB) 1795736 [startup+1602.3 s] /proc/loadavg: 1.01 1.05 1.01 2/90 6898 /proc/meminfo: memFree=434984/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=1650.88 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 343120 0 1 0 164909 179 0 0 18 0 13 0 138163896 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 298471 1334 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=1553.27 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 43938 0 1 0 155293 34 0 0 17 0 13 0 138163897 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109618745 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=46.95 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 158225 0 0 0 4628 67 0 0 16 0 13 0 138163898 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=47.01 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 128514 0 0 0 4640 61 0 0 16 0 13 0 138163898 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0.28 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 30 0 0 0 18 10 0 0 15 0 13 0 138163901 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795736 CPUtime=1.63 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6251 0 0 0 161 2 0 0 16 0 13 0 138163905 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.68 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5434 0 0 0 166 2 0 0 16 0 13 0 138163905 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6896] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6896/stat : 6896 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 138198880 1838833664 298471 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1650.88 Current children cumulated vsize (KiB) 1795736 [startup+1662.3 s] /proc/loadavg: 1.07 1.06 1.01 2/90 6898 /proc/meminfo: memFree=412008/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=1713.46 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 349180 0 1 0 171164 182 0 0 18 0 13 0 138163896 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 304030 1334 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=1610.62 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 43968 0 1 0 161027 35 0 0 25 0 13 0 138163897 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109642993 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=49.55 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 160529 0 0 0 4887 68 0 0 16 0 13 0 138163898 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=49.63 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 132240 0 0 0 4901 62 0 0 16 0 13 0 138163898 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0.3 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 30 0 0 0 19 11 0 0 16 0 13 0 138163901 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795736 CPUtime=1.63 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6251 0 0 0 161 2 0 0 16 0 13 0 138163905 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.68 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5434 0 0 0 166 2 0 0 16 0 13 0 138163905 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6896] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6896/stat : 6896 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 138198880 1838833664 304030 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1713.46 Current children cumulated vsize (KiB) 1795736 [startup+1722.3 s] /proc/loadavg: 1.02 1.05 1.01 2/90 6898 /proc/meminfo: memFree=391592/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=1776.11 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 354829 0 1 0 177425 186 0 0 18 0 13 0 138163896 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 309272 1334 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=1667.89 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 43998 0 1 0 166754 35 0 0 25 0 13 0 138163897 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109545198 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=52.23 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 163697 0 0 0 5154 69 0 0 16 0 13 0 138163898 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=52.32 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 134691 0 0 0 5168 64 0 0 16 0 13 0 138163898 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0.3 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 30 0 0 0 19 11 0 0 15 0 13 0 138163901 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795736 CPUtime=1.63 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6251 0 0 0 161 2 0 0 16 0 13 0 138163905 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.68 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5434 0 0 0 166 2 0 0 16 0 13 0 138163905 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6896] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6896/stat : 6896 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 138198880 1838833664 309272 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1776.11 Current children cumulated vsize (KiB) 1795736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1745.2 s] /proc/loadavg: 1.02 1.04 1.00 2/90 6898 /proc/meminfo: memFree=382504/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=1795736 CPUtime=1800.03 /proc/6881/stat : 6881 (java) S 6879 6881 6509 0 -1 0 357129 0 1 0 179816 187 0 0 18 0 13 0 138163896 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6881/statm: 448934 311391 1334 9 0 446545 0 [pid=6881/tid=6883] ppid=6879 vsize=1795736 CPUtime=1689.75 /proc/6881/task/6883/stat : 6883 (java) R 6879 6881 6509 0 -1 64 44009 0 1 0 168940 35 0 0 24 0 13 0 138163897 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109618384 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6884] ppid=6879 vsize=1795736 CPUtime=53.26 /proc/6881/task/6884/stat : 6884 (java) S 6879 6881 6509 0 -1 64 165237 0 0 0 5256 70 0 0 17 0 13 0 138163898 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6885] ppid=6879 vsize=1795736 CPUtime=53.35 /proc/6881/task/6885/stat : 6885 (java) S 6879 6881 6509 0 -1 64 135440 0 0 0 5271 64 0 0 16 0 13 0 138163898 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6886] ppid=6879 vsize=1795736 CPUtime=0.3 /proc/6881/task/6886/stat : 6886 (java) S 6879 6881 6509 0 -1 64 30 0 0 0 19 11 0 0 16 0 13 0 138163901 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6887] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6887/stat : 6887 (java) S 6879 6881 6509 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6888] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6888/stat : 6888 (java) S 6879 6881 6509 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 138163901 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6889] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6889/stat : 6889 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 138163905 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6890] ppid=6879 vsize=1795736 CPUtime=1.63 /proc/6881/task/6890/stat : 6890 (java) S 6879 6881 6509 0 -1 64 6251 0 0 0 161 2 0 0 16 0 13 0 138163905 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6891] ppid=6879 vsize=1795736 CPUtime=1.68 /proc/6881/task/6891/stat : 6891 (java) S 6879 6881 6509 0 -1 64 5434 0 0 0 166 2 0 0 16 0 13 0 138163905 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6892] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6892/stat : 6892 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 138163905 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6881/tid=6893] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6893/stat : 6893 (java) S 6879 6881 6509 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 138163905 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6881/tid=6896] ppid=6879 vsize=1795736 CPUtime=0 /proc/6881/task/6896/stat : 6896 (java) S 6879 6881 6509 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 138198880 1838833664 311391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1795736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1745.31 s] /proc/loadavg: 1.02 1.04 1.00 2/90 6898 /proc/meminfo: memFree=382504/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=0 CPUtime=1800.17 /proc/6881/stat : 6881 (java) Z 6879 6881 6509 0 -1 1036 357143 0 1 0 179826 191 0 0 15 0 2 0 138163896 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6881/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1745.4 s] /proc/loadavg: 1.02 1.04 1.00 2/90 6898 /proc/meminfo: memFree=382504/2055920 swapFree=4170480/4192956 [pid=6881] ppid=6879 vsize=0 CPUtime=1800.25 /proc/6881/stat : 6881 (java) Z 6879 6881 6509 0 -1 1036 357143 0 1 0 179826 199 0 0 15 0 2 0 138163896 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/6881/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1745.46 CPU time (s): 1800.32 CPU user time (s): 1798.27 CPU system time (s): 2.05569 CPU usage (%): 103.143 Max. virtual memory (cumulated for all children) (KiB): 1797708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.27 system time used= 2.05569 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357143 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= 47409 involuntary context switches= 41386 runsolver used 1.66875 second user time and 4.76328 second system time The end
Begin job on node7 on Sun Apr 15 07:14:23 UTC 2007 IDJOB= 352046 IDBENCH= 1877 IDSOLVER= 164 FILE ID= node7/352046-1176621263 PBS_JOBID= 4556837 Free space on /tmp= 66520 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352046-1176621263/sat4jPseudoCPClause.jar /tmp/evaluation/352046-1176621263/instance-352046-1176621263.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-352046-1176621263 -o ROOT/results/node7/solver-352046-1176621263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/352046-1176621263/sat4jPseudoCPClause.jar /tmp/evaluation/352046-1176621263/instance-352046-1176621263.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED= 992410155 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: 1626488 kB Buffers: 95960 kB Cached: 238960 kB SwapCached: 2700 kB Active: 190872 kB Inactive: 168880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1626488 kB SwapTotal: 4192956 kB SwapFree: 4170480 kB Dirty: 3680 kB Writeback: 0 kB Mapped: 30544 kB Slab: 55084 kB Committed_AS: 4850064 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= 66520 MiB End job on node7 on Sun Apr 15 07:43:30 UTC 2007