Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | OPT | 68 | 809.069 | 786.097 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb |
MD5SUM | 7f8cd0ba2dda7463f3c06a016c2c7d47 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 68 |
Best CPU time to get the best result obtained on this benchmark | 0.25896 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 68 |
Optimality of the best value was proved | YES |
Number of variables | 840 |
Total number of constraints | 2526 |
Number of constraints which are clauses | 2502 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 35 |
Number of terms in the objective function | 840 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 840 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 840 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.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.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/363836-1177033583/instance-363836-1177033583.opb 0.20/0.20 c reading problem ... 1.28/0.96 c ... done. Wall clock time 0.757s. 1.28/0.96 c CPU time (experimental) 0.58s. 1.28/0.96 c #vars 840 1.28/0.96 c #constraints 2526 5.88/4.17 c SATISFIABLE 5.88/4.17 c OPTIMIZING... 5.88/4.17 c Got one! Elapsed wall clock time (in seconds):3.973 5.88/4.18 o 72 22.98/20.91 c Got one! Elapsed wall clock time (in seconds):20.714 22.98/20.91 o 70 23.81/21.78 c Got one! Elapsed wall clock time (in seconds):21.58 23.81/21.78 o 68 808.88/785.95 c starts : 7 808.88/785.95 c conflicts : 8236 808.88/785.95 c decisions : 39507 808.88/785.95 c propagations : 294568 808.88/785.95 c inspects : 42148200 808.88/785.95 c learnt literals : 0 808.88/785.95 c learnt binary clauses : 0 808.88/785.95 c learnt ternary clauses : 2 808.88/785.95 c learnt clauses : 8235 808.88/785.95 c root simplifications : 0 808.88/785.95 c removed literals (reason simplification) : 0 808.88/785.95 c reason swapping (by a shorter reason) : 0 808.88/785.95 c Calls to reduceDB : 0 808.88/785.95 c speed (decisions/second) : 51.70078532010202 808.88/785.95 c non guided choices 0 808.88/785.95 s OPTIMUM FOUND 808.88/785.95 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 808.88/785.95 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 -x55 808.88/785.95 v -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 -x81 -x82 808.88/785.95 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 808.88/785.95 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 808.88/785.95 v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 808.88/785.95 v -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 808.88/785.95 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 808.88/785.95 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 808.88/785.95 v -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 808.88/785.95 v -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 808.88/785.95 v -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 808.88/785.95 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 x293 -x294 -x295 808.88/785.95 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 808.88/785.95 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 808.88/785.95 v -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 808.88/785.95 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 808.88/785.95 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 808.88/785.95 v -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 808.88/785.95 v -x422 x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 808.88/785.95 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 808.88/785.95 v -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 808.88/785.95 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 808.88/785.95 v -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 808.88/785.95 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 808.88/785.95 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 808.88/785.95 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 808.88/785.95 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 808.88/785.95 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 808.88/785.95 v x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 808.88/785.95 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 808.88/785.95 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 808.88/785.95 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 808.88/785.95 v -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 808.88/785.95 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 808.88/785.95 v -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 808.88/785.95 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 808.88/785.95 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 808.88/785.95 v x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 808.88/785.96 c objective function=68 808.88/785.96 c Total wall clock time (ms): 785.759
OK 68
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-363836-1177033583 -o ROOT/results/node17/solver-363836-1177033583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363836-1177033583/sat4jPseudoCPClause.jar /tmp/evaluation/363836-1177033583/instance-363836-1177033583.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.92 0.98 0.99 3/77 5427 /proc/meminfo: memFree=1672440/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800 CPUtime=0 /proc/5427/stat : 5427 (java) R 5425 5427 4915 0 -1 0 135 0 0 0 0 0 0 0 18 0 1 0 151275819 1843200 109 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 3320995 0 0 4096 0 0 0 0 17 1 0 0 /proc/5427/statm: 450 117 85 9 0 92 0 [startup+0.017677 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5427 /proc/meminfo: memFree=1672440/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=12848 CPUtime=0.01 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 899 0 1 0 0 1 0 0 18 0 2 0 151275819 13156352 656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 3212 656 328 9 0 1243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12848 [startup+0.101454 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5427 /proc/meminfo: memFree=1672440/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1780408 CPUtime=0.08 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 3969 0 1 0 6 2 0 0 18 0 12 0 151275819 1823137792 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 445102 3711 1123 9 0 442720 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780408 [startup+0.301475 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5427 /proc/meminfo: memFree=1672440/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1781464 CPUtime=0.32 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 5103 0 1 0 29 3 0 0 18 0 12 0 151275819 1824219136 4842 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 445366 4842 1264 9 0 442977 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1781464 [startup+0.701515 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5427 /proc/meminfo: memFree=1672440/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1783552 CPUtime=0.9 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 6834 0 1 0 86 4 0 0 18 0 12 0 151275819 1826357248 6385 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 445888 6385 1301 9 0 443499 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1783552 [startup+1.5026 s] /proc/loadavg: 0.92 0.98 0.99 3/90 5440 /proc/meminfo: memFree=1644368/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1788824 CPUtime=2.33 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 16544 0 1 0 224 9 0 0 18 0 13 0 151275819 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 447206 12873 1312 9 0 444817 0 [pid=5427/tid=5429] ppid=5425 vsize=1788824 CPUtime=0.89 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 10248 0 1 0 83 6 0 0 18 0 13 0 151275820 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109655065 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 151275822 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 151275822 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 151275824 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 151275824 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 151275824 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1788824 CPUtime=0.73 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 3170 0 0 0 72 1 0 0 16 0 13 0 151275828 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1788824 CPUtime=0.68 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 2401 0 0 0 68 0 0 0 17 0 13 0 151275828 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5440] ppid=5425 vsize=1788824 CPUtime=0 /proc/5427/task/5440/stat : 5440 (java) S 5425 5427 4915 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 151275917 1831755776 12873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 1788824 [startup+3.10277 s] /proc/loadavg: 0.92 0.98 0.99 4/90 5440 /proc/meminfo: memFree=1580368/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800356 CPUtime=4.8 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 52225 0 1 0 457 23 0 0 18 0 13 0 151275819 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450089 43715 1325 9 0 447700 0 [pid=5427/tid=5429] ppid=5425 vsize=1800356 CPUtime=1.93 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 37712 0 1 0 178 15 0 0 23 0 13 0 151275820 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109676609 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 271 0 0 0 0 0 0 0 16 0 13 0 151275822 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 226 0 0 0 0 0 0 0 16 0 13 0 151275822 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 151275824 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800356 CPUtime=1.3 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6835 0 0 0 127 3 0 0 16 0 13 0 151275828 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800356 CPUtime=1.5 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6453 0 0 0 148 2 0 0 16 0 13 0 151275828 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5440] ppid=5425 vsize=1800356 CPUtime=0 /proc/5427/task/5440/stat : 5440 (java) S 5425 5427 4915 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 151275917 1843564544 43715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 1800356 [startup+6.3011 s] /proc/loadavg: 1.01 1.00 1.00 3/90 5441 /proc/meminfo: memFree=1497416/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=8.23 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 58248 0 1 0 798 25 0 0 18 0 13 0 151275819 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 48154 1326 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=4.95 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 38336 0 1 0 480 15 0 0 19 0 13 0 151275820 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109655221 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=0.11 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 2929 0 0 0 11 0 0 0 16 0 13 0 151275822 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=0.12 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 2930 0 0 0 11 1 0 0 16 0 13 0 151275822 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.36 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6837 0 0 0 133 3 0 0 16 0 13 0 151275828 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.62 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6466 0 0 0 160 2 0 0 16 0 13 0 151275828 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5441] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5441/stat : 5441 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 151276240 1843527680 48154 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.23 Current children cumulated vsize (KiB) 1800320 [startup+12.7028 s] /proc/loadavg: 1.01 1.00 1.00 2/90 5441 /proc/meminfo: memFree=1461640/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=14.7 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 64350 0 1 0 1442 28 0 0 18 0 13 0 151275819 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 53809 1327 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=11.27 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 41619 0 1 0 1110 17 0 0 25 0 13 0 151275820 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662214 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=0.19 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 4498 0 0 0 18 1 0 0 16 0 13 0 151275822 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=0.19 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 4179 0 0 0 17 2 0 0 16 0 13 0 151275822 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.36 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6837 0 0 0 133 3 0 0 16 0 13 0 151275828 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.63 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6467 0 0 0 161 2 0 0 17 0 13 0 151275828 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5441] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5441/stat : 5441 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 151276240 1843527680 53809 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.7 Current children cumulated vsize (KiB) 1800320 [startup+25.5021 s] /proc/loadavg: 1.00 1.00 1.00 2/90 5443 /proc/meminfo: memFree=1440896/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=27.66 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 76766 0 1 0 2732 34 0 0 18 0 13 0 151275819 1843527680 58939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 58939 1330 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=23.9 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 49896 0 1 0 2370 20 0 0 19 0 13 0 151275820 1843527680 58939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662475 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=0.32 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 6749 0 0 0 30 2 0 0 16 0 13 0 151275822 1843527680 58939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=0.32 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 6041 0 0 0 29 3 0 0 15 0 13 0 151275822 1843527680 58939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=5427] ppid=5425 vsize=1800320 CPUtime=803.39 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 187435 0 1 0 80241 98 0 0 18 0 13 0 151275819 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 152911 1330 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=757.33 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 51379 0 1 0 75708 25 0 0 23 0 13 0 151275820 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662256 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=21.34 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 62757 0 0 0 2107 27 0 0 16 0 13 0 151275822 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=21.31 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 59212 0 0 0 2104 27 0 0 16 0 13 0 151275822 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0.26 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 52 0 0 0 16 10 0 0 16 0 13 0 151275824 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.43 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6845 0 0 0 140 3 0 0 16 0 13 0 151275828 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.65 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6467 0 0 0 163 2 0 0 16 0 13 0 151275828 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5443] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5443/stat : 5443 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 151278000 1843527680 152911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 803.39 Current children cumulated vsize (KiB) 1800320 [startup+783.901 s] /proc/loadavg: 1.05 1.01 1.00 3/90 5443 /proc/meminfo: memFree=1062656/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=806.79 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 187898 0 1 0 80581 98 0 0 18 0 13 0 151275819 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 153313 1330 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=760.32 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 51384 0 1 0 76007 25 0 0 16 0 13 0 151275820 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109676615 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=21.55 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 62907 0 0 0 2128 27 0 0 16 0 13 0 151275822 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=21.53 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 59520 0 0 0 2125 28 0 0 16 0 13 0 151275822 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0.26 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 52 0 0 0 16 10 0 0 16 0 13 0 151275824 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.43 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6845 0 0 0 140 3 0 0 16 0 13 0 151275828 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.65 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6467 0 0 0 163 2 0 0 16 0 13 0 151275828 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5443] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5443/stat : 5443 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 151278000 1843527680 153313 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 806.79 Current children cumulated vsize (KiB) 1800320 [startup+784.703 s] /proc/loadavg: 1.05 1.01 1.00 2/90 5443 /proc/meminfo: memFree=1062336/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=807.63 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 187976 0 1 0 80665 98 0 0 18 0 13 0 151275819 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 153389 1330 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=761.07 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 51385 0 1 0 76082 25 0 0 20 0 13 0 151275820 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109655431 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=21.6 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 62908 0 0 0 2133 27 0 0 17 0 13 0 151275822 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=21.57 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 59596 0 0 0 2129 28 0 0 16 0 13 0 151275822 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0.26 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 52 0 0 0 16 10 0 0 16 0 13 0 151275824 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.43 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6845 0 0 0 140 3 0 0 16 0 13 0 151275828 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.65 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6467 0 0 0 163 2 0 0 16 0 13 0 151275828 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5443] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5443/stat : 5443 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 151278000 1843527680 153389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 807.63 Current children cumulated vsize (KiB) 1800320 [startup+785.503 s] /proc/loadavg: 1.05 1.01 1.00 2/90 5443 /proc/meminfo: memFree=1062016/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=808.48 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 188060 0 1 0 80750 98 0 0 18 0 13 0 151275819 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 153464 1330 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=761.83 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 51386 0 1 0 76158 25 0 0 25 0 13 0 151275820 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109662321 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=21.64 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 62955 0 0 0 2137 27 0 0 17 0 13 0 151275822 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=21.61 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 59632 0 0 0 2133 28 0 0 16 0 13 0 151275822 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0.26 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 52 0 0 0 16 10 0 0 16 0 13 0 151275824 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.43 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6845 0 0 0 140 3 0 0 16 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.65 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6467 0 0 0 163 2 0 0 16 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5443] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5443/stat : 5443 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 151278000 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 808.48 Current children cumulated vsize (KiB) 1800320 [startup+785.903 s] /proc/loadavg: 1.05 1.01 1.00 2/90 5443 /proc/meminfo: memFree=1062016/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=1800320 CPUtime=808.88 /proc/5427/stat : 5427 (java) S 5425 5427 4915 0 -1 0 188060 0 1 0 80790 98 0 0 18 0 13 0 151275819 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5427/statm: 450080 153464 1330 9 0 447691 0 [pid=5427/tid=5429] ppid=5425 vsize=1800320 CPUtime=762.23 /proc/5427/task/5429/stat : 5429 (java) R 5425 5427 4915 0 -1 64 51386 0 1 0 76198 25 0 0 25 0 13 0 151275820 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109531008 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5430] ppid=5425 vsize=1800320 CPUtime=21.64 /proc/5427/task/5430/stat : 5430 (java) S 5425 5427 4915 0 -1 64 62955 0 0 0 2137 27 0 0 17 0 13 0 151275822 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5431] ppid=5425 vsize=1800320 CPUtime=21.61 /proc/5427/task/5431/stat : 5431 (java) S 5425 5427 4915 0 -1 64 59632 0 0 0 2133 28 0 0 16 0 13 0 151275822 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5432] ppid=5425 vsize=1800320 CPUtime=0.26 /proc/5427/task/5432/stat : 5432 (java) S 5425 5427 4915 0 -1 64 52 0 0 0 16 10 0 0 16 0 13 0 151275824 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5433] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5433/stat : 5433 (java) S 5425 5427 4915 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5434] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5434/stat : 5434 (java) S 5425 5427 4915 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 151275824 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5435] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5435/stat : 5435 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5436] ppid=5425 vsize=1800320 CPUtime=1.43 /proc/5427/task/5436/stat : 5436 (java) S 5425 5427 4915 0 -1 64 6845 0 0 0 140 3 0 0 16 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5437] ppid=5425 vsize=1800320 CPUtime=1.65 /proc/5427/task/5437/stat : 5437 (java) S 5425 5427 4915 0 -1 64 6467 0 0 0 163 2 0 0 16 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5427/tid=5438] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5438/stat : 5438 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5439] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5439/stat : 5439 (java) S 5425 5427 4915 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 151275828 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5427/tid=5443] ppid=5425 vsize=1800320 CPUtime=0 /proc/5427/task/5443/stat : 5443 (java) S 5425 5427 4915 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 151278000 1843527680 153464 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 808.88 Current children cumulated vsize (KiB) 1800320 [startup+786.003 s] /proc/loadavg: 1.05 1.01 1.00 2/90 5443 /proc/meminfo: memFree=1062016/2055920 swapFree=4141660/4192956 [pid=5427] ppid=5425 vsize=0 CPUtime=808.97 /proc/5427/stat : 5427 (java) Z 5425 5427 4915 0 -1 1036 188068 0 1 0 80798 99 0 0 16 0 2 0 151275819 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5427/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 808.97 Current children cumulated vsize (KiB) 0 Child status: 30 Real time (s): 786.097 CPU time (s): 809.069 CPU user time (s): 807.98 CPU system time (s): 1.08883 CPU usage (%): 102.922 Max. virtual memory (cumulated for all children) (KiB): 1802188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 807.98 system time used= 1.08883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 188068 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= 26083 involuntary context switches= 22790 runsolver used 0.988849 second user time and 2.54561 second system time The end
Begin job on node17 on Fri Apr 20 01:46:23 UTC 2007 IDJOB= 363836 IDBENCH= 2030 IDSOLVER= 164 FILE ID= node17/363836-1177033583 PBS_JOBID= 4630640 Free space on /tmp= 66389 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363836-1177033583/sat4jPseudoCPClause.jar /tmp/evaluation/363836-1177033583/instance-363836-1177033583.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-363836-1177033583 -o ROOT/results/node17/solver-363836-1177033583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363836-1177033583/sat4jPseudoCPClause.jar /tmp/evaluation/363836-1177033583/instance-363836-1177033583.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 7f8cd0ba2dda7463f3c06a016c2c7d47 RANDOM SEED= 616334531 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1672912 kB Buffers: 32508 kB Cached: 271460 kB SwapCached: 13524 kB Active: 68552 kB Inactive: 261844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1672912 kB SwapTotal: 4192956 kB SwapFree: 4141660 kB Dirty: 3752 kB Writeback: 0 kB Mapped: 33228 kB Slab: 38132 kB Committed_AS: 7137620 kB PageTables: 1804 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= 66389 MiB End job on node17 on Fri Apr 20 01:59:29 UTC 2007