Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | SAT | 437.915 | 431.014 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb |
MD5SUM | 67169e121732ee6d464f6ac82d33a699 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.016996 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 938 |
Total number of constraints | 700 |
Number of constraints which are clauses | 650 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100526 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.25/0.22 c Pseudo Boolean Optimization 0.25/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.25/0.22 c --- Begin Solver configuration --- 0.25/0.22 c Stops conflict analysis at the first Unique Implication Point 0.25/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7 0.25/0.22 c Learn all clauses as in MiniSAT 0.25/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.25/0.22 c No reason simplification 0.25/0.22 c Armin Biere (Picosat) restarts strategy 0.25/0.22 c Glucose learned constraints deletion strategy 0.25/0.22 c timeout=2147483s 0.25/0.22 c DB Simplification allowed=false 0.25/0.22 c --- End Solver configuration --- 0.25/0.22 c solving HOME/instance-2661005-1276323020.opb 0.25/0.22 c reading problem ... 0.64/0.61 c ... done. Wall clock time 0.393s. 0.64/0.61 c #vars 938 0.64/0.61 c #constraints 700 0.64/0.61 c constraints type 0.64/0.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 650 0.64/0.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 125.36/120.64 c cleaning 0 clauses out of 5000 with flag 0/5000 437.80/430.93 c starts : 29 437.80/430.93 c conflicts : 8324 437.80/430.93 c decisions : 37176 437.80/430.93 c propagations : 277187 437.80/430.93 c inspects : 248517383 437.80/430.93 c learnt literals : 0 437.80/430.93 c learnt binary clauses : 0 437.80/430.93 c learnt ternary clauses : 0 437.80/430.93 c learnt clauses : 8324 437.80/430.93 c ignored clauses : 0 437.80/430.93 c root simplifications : 0 437.80/430.93 c removed literals (reason simplification) : 0 437.80/430.93 c reason swapping (by a shorter reason) : 0 437.80/430.93 c Calls to reduceDB : 1 437.80/430.93 c number of reductions to clauses (during analyze) : 0 437.80/430.93 c number of learned constraints concerned by reduction : 0 437.80/430.93 c number of learning phase by resolution : 0 437.80/430.93 c number of learning phase by cutting planes : 0 437.80/430.93 c speed (assignments/second) : 644.1400721786758 437.80/430.93 c non guided choices 519 437.80/430.95 c learnt constraints type 437.80/430.95 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 9 437.80/430.95 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 128 437.80/430.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8187 437.80/430.95 c constraints type 437.80/430.95 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 650 437.80/430.95 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 437.80/430.95 s SATISFIABLE 437.80/430.96 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -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 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 437.80/430.96 c Total wall clock time (in seconds): 430.74
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2661005-1276323020/watcher-2661005-1276323020 -o /tmp/evaluation-result-2661005-1276323020/solver-2661005-1276323020 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2661005-1276323020.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 0.98 0.99 3/106 9269 /proc/meminfo: memFree=1775884/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1832 CPUtime=0 /proc/9269/stat : 9269 (java) R 9267 9269 8948 0 -1 4194304 389 0 0 0 0 0 0 0 25 0 1 0 5953836 1875968 118 1992294400 134512640 134550932 4293628880 18446744073709551615 3752711 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9269/statm: 458 129 92 10 0 63 0 [startup+0.107849 s] /proc/loadavg: 0.97 0.98 0.99 3/106 9269 /proc/meminfo: memFree=1775884/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1524184 CPUtime=0.09 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 4003 0 1 0 7 2 0 0 25 0 12 0 5953836 1560764416 3441 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 381046 3442 1078 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524184 [startup+0.211132 s] /proc/loadavg: 0.97 0.98 0.99 3/106 9269 /proc/meminfo: memFree=1775884/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1526436 CPUtime=0.25 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 5116 0 1 0 22 3 0 0 25 0 12 0 5953836 1563070464 4552 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 381609 4553 1347 10 0 378911 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1526436 [startup+0.301883 s] /proc/loadavg: 0.97 0.98 0.99 3/106 9269 /proc/meminfo: memFree=1775884/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1526436 CPUtime=0.37 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 5333 0 1 0 34 3 0 0 25 0 12 0 5953836 1563070464 4769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 381609 4769 1362 10 0 378911 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1526436 [startup+0.76499 s] /proc/loadavg: 0.97 0.98 0.99 3/106 9269 /proc/meminfo: memFree=1775884/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1528528 CPUtime=1.27 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 7215 0 1 0 123 4 0 0 25 0 13 0 5953836 1565212672 6540 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 382132 6540 1411 10 0 379434 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 1528528 [startup+1.50112 s] /proc/loadavg: 1.22 1.03 1.01 4/119 9284 /proc/meminfo: memFree=1742052/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1543708 CPUtime=2.74 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 13038 0 1 0 267 7 0 0 25 0 13 0 5953836 1580756992 10886 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385927 10886 1413 10 0 383229 0 [pid=9269/tid=9271] ppid=9267 vsize=1543708 CPUtime=1.45 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 5777 0 1 0 142 3 0 0 25 0 13 0 5953837 1580756992 10886 1992294400 134512640 134550932 4293628880 18446744073709551615 103615339 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5953839 1581047808 10888 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5953839 1581047808 10893 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 5953840 1581047808 10898 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 13 0 5953841 1581047808 10904 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 13 0 5953841 1581047808 10909 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1581047808 10914 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1543992 CPUtime=0.02 /proc/9269/task/9278/stat : 9278 (java) R 9267 9269 8948 0 -1 4202560 32 0 0 0 2 0 0 0 23 0 13 0 5953845 1581047808 10919 1992294400 134512640 134550932 4293628880 18446744073709551615 106829296 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1543992 CPUtime=1.24 /proc/9269/task/9279/stat : 9279 (java) R 9267 9269 8948 0 -1 4202560 6197 0 0 0 121 3 0 0 18 0 13 0 5953845 1581047808 10924 1992294400 134512640 134550932 4293628880 18446744073709551615 104163080 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1581047808 10925 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5953845 1581047808 10925 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1543992 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1581047808 10925 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 1543708 [startup+3.10155 s] /proc/loadavg: 1.22 1.03 1.01 4/119 9284 /proc/meminfo: memFree=1727916/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1543448 CPUtime=5.92 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 21700 0 1 0 582 10 0 0 25 0 13 0 5953836 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385862 16892 1424 10 0 383164 0 [pid=9269/tid=9271] ppid=9267 vsize=1543448 CPUtime=3.04 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 11485 0 1 0 299 5 0 0 25 0 13 0 5953837 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4109188703 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5953839 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 5953839 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 5953840 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 13 0 5953841 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 13 0 5953841 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1543448 CPUtime=0.61 /proc/9269/task/9278/stat : 9278 (java) R 9267 9269 8948 0 -1 4202560 191 0 0 0 61 0 0 0 25 0 13 0 5953845 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1543448 CPUtime=2.25 /proc/9269/task/9279/stat : 9279 (java) R 9267 9269 8948 0 -1 4202560 8954 0 0 0 221 4 0 0 19 0 13 0 5953845 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 104163846 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5953845 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1543448 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1580490752 16892 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.92 Current children cumulated vsize (KiB) 1543448 [startup+6.301 s] /proc/loadavg: 1.22 1.03 1.01 2/119 9284 /proc/meminfo: memFree=1626112/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1542628 CPUtime=10.3 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 45060 0 1 0 1009 21 0 0 25 0 13 0 5953836 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 38961 1438 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=6.02 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 32065 0 1 0 588 14 0 0 25 0 13 0 5953837 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4109021435 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=0.02 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 780 0 0 0 2 0 0 0 16 0 13 0 5953839 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=0.02 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 775 0 0 0 2 0 0 0 16 0 13 0 5953839 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 13 0 5953840 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.33 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 922 0 0 0 133 0 0 0 15 0 13 0 5953845 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.85 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9430 0 0 0 281 4 0 0 16 0 13 0 5953845 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 38961 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.3 Current children cumulated vsize (KiB) 1542628 [startup+12.7012 s] /proc/loadavg: 1.18 1.03 1.01 2/119 9284 /proc/meminfo: memFree=1586184/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1542628 CPUtime=16.81 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 55030 0 1 0 1656 25 0 0 25 0 13 0 5953836 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 48706 1438 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=12.28 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 36854 0 1 0 1212 16 0 0 25 0 13 0 5953837 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4109188703 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=0.11 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 3337 0 0 0 11 0 0 0 16 0 13 0 5953839 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=0.11 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 3339 0 0 0 11 0 0 0 15 0 13 0 5953839 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0.01 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 28 0 0 0 1 0 0 0 15 0 13 0 5953840 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.36 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 973 0 0 0 136 0 0 0 15 0 13 0 5953845 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.85 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9431 0 0 0 281 4 0 0 15 0 13 0 5953845 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 48706 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.81 Current children cumulated vsize (KiB) 1542628 [startup+25.5025 s] /proc/loadavg: 1.15 1.03 1.01 2/119 9284 /proc/meminfo: memFree=1578124/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1543652 CPUtime=29.75 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 57358 0 1 0 2949 26 0 0 25 0 13 0 5953836 1580699648 50610 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385913 50610 1442 10 0 383215 0 [pid=9269/tid=9271] ppid=9267 vsize=1543652 CPUtime=24.99 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 36867 0 1 0 2483 16 0 0 25 0 13 0 5953837 1580699648 50610 1992294400 134512640 134550932 4293628880 18446744073709551615 4109188092 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1543652 CPUtime=0.19 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 4272 0 0 0 19 0 0 0 16 0 13 0 5953839 1580699648 50610 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1543652 CPUtime=0.2 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 4195 0 0 0 19 1 0 0 15 0 13 0 5953839 1580699648 50610 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1543652 CPUtime=0.01 ################ # More data... # ################ [pid=9269] ppid=9267 vsize=1542628 CPUtime=429.44 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 69770 0 1 0 42903 41 0 0 25 0 13 0 5953836 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 61658 1448 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=418.92 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 37239 0 1 0 41874 18 0 0 25 0 13 0 5953837 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4109025093 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=2.95 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 10606 0 0 0 289 6 0 0 16 0 13 0 5953839 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=2.93 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 9734 0 0 0 288 5 0 0 16 0 13 0 5953839 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0.2 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 131 0 0 0 17 3 0 0 15 0 13 0 5953840 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.47 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 1531 0 0 0 147 0 0 0 15 0 13 0 5953845 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.89 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9431 0 0 0 285 4 0 0 15 0 13 0 5953845 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 61658 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 429.44 Current children cumulated vsize (KiB) 1542628 [startup+425.802 s] /proc/loadavg: 1.00 1.00 1.00 2/119 9294 /proc/meminfo: memFree=1533236/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1542628 CPUtime=432.66 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 69813 0 1 0 43225 41 0 0 25 0 13 0 5953836 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 61697 1448 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=422.08 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 37241 0 1 0 42190 18 0 0 25 0 13 0 5953837 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4109218440 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=2.98 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 10636 0 0 0 292 6 0 0 16 0 13 0 5953839 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=2.96 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 9745 0 0 0 291 5 0 0 16 0 13 0 5953839 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0.2 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 131 0 0 0 17 3 0 0 15 0 13 0 5953840 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.47 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 1531 0 0 0 147 0 0 0 15 0 13 0 5953845 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.89 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9431 0 0 0 285 4 0 0 15 0 13 0 5953845 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 61697 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 432.66 Current children cumulated vsize (KiB) 1542628 [startup+429.001 s] /proc/loadavg: 1.00 1.00 1.00 2/119 9294 /proc/meminfo: memFree=1532988/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1542628 CPUtime=435.89 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 69852 0 1 0 43548 41 0 0 25 0 13 0 5953836 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 61733 1448 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=425.25 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 37243 0 1 0 42507 18 0 0 25 0 13 0 5953837 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4109187931 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=3.01 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 10655 0 0 0 295 6 0 0 15 0 13 0 5953839 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=2.99 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 9763 0 0 0 294 5 0 0 16 0 13 0 5953839 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0.2 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 131 0 0 0 17 3 0 0 16 0 13 0 5953840 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.47 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 1531 0 0 0 147 0 0 0 15 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.89 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9431 0 0 0 285 4 0 0 15 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 435.89 Current children cumulated vsize (KiB) 1542628 [startup+429.801 s] /proc/loadavg: 1.00 1.00 1.00 2/119 9294 /proc/meminfo: memFree=1532988/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1542628 CPUtime=436.69 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 69852 0 1 0 43628 41 0 0 25 0 13 0 5953836 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 61733 1448 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=426.05 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 37243 0 1 0 42587 18 0 0 25 0 13 0 5953837 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4109218440 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=3.01 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 10655 0 0 0 295 6 0 0 15 0 13 0 5953839 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=2.99 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 9763 0 0 0 294 5 0 0 16 0 13 0 5953839 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0.2 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 131 0 0 0 17 3 0 0 15 0 13 0 5953840 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.47 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 1531 0 0 0 147 0 0 0 15 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.89 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9431 0 0 0 285 4 0 0 15 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 61733 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 436.69 Current children cumulated vsize (KiB) 1542628 [startup+430.601 s] /proc/loadavg: 1.00 1.00 1.00 3/119 9294 /proc/meminfo: memFree=1532864/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=1542628 CPUtime=437.5 /proc/9269/stat : 9269 (java) S 9267 9269 8948 0 -1 4202496 69891 0 1 0 43709 41 0 0 25 0 13 0 5953836 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 385657 61769 1448 10 0 382959 0 [pid=9269/tid=9271] ppid=9267 vsize=1542628 CPUtime=426.84 /proc/9269/task/9271/stat : 9271 (java) R 9267 9269 8948 0 -1 4202560 37244 0 1 0 42666 18 0 0 25 0 13 0 5953837 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4109024546 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=9269/tid=9272] ppid=9267 vsize=1542628 CPUtime=3.02 /proc/9269/task/9272/stat : 9272 (java) S 9267 9269 8948 0 -1 4202560 10661 0 0 0 296 6 0 0 16 0 13 0 5953839 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9273] ppid=9267 vsize=1542628 CPUtime=3 /proc/9269/task/9273/stat : 9273 (java) S 9267 9269 8948 0 -1 4202560 9795 0 0 0 295 5 0 0 15 0 13 0 5953839 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9274] ppid=9267 vsize=1542628 CPUtime=0.2 /proc/9269/task/9274/stat : 9274 (java) S 9267 9269 8948 0 -1 4202560 131 0 0 0 17 3 0 0 15 0 13 0 5953840 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 0 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9275] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9275/stat : 9275 (java) S 9267 9269 8948 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9276] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9276/stat : 9276 (java) S 9267 9269 8948 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 13 0 5953841 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9277] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9277/stat : 9277 (java) S 9267 9269 8948 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9278] ppid=9267 vsize=1542628 CPUtime=1.47 /proc/9269/task/9278/stat : 9278 (java) S 9267 9269 8948 0 -1 4202560 1531 0 0 0 147 0 0 0 15 0 13 0 5953845 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 1 0 0 0 [pid=9269/tid=9279] ppid=9267 vsize=1542628 CPUtime=2.89 /proc/9269/task/9279/stat : 9279 (java) S 9267 9269 8948 0 -1 4202560 9431 0 0 0 285 4 0 0 15 0 13 0 5953845 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9280] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9280/stat : 9280 (java) S 9267 9269 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 5953845 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9281] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9281/stat : 9281 (java) S 9267 9269 8948 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 5953845 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 [pid=9269/tid=9282] ppid=9267 vsize=1542628 CPUtime=0 /proc/9269/task/9282/stat : 9282 (java) S 9267 9269 8948 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 5953898 1579651072 61769 1992294400 134512640 134550932 4293628880 18446744073709551615 4294960144 0 4 0 16800975 18446604437800792128 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 437.5 Current children cumulated vsize (KiB) 1542628 [startup+431.002 s] /proc/loadavg: 1.00 1.00 1.00 3/119 9294 /proc/meminfo: memFree=1532864/2059040 swapFree=4192956/4192956 [pid=9269] ppid=9267 vsize=0 CPUtime=437.89 /proc/9269/stat : 9269 (java) R 9267 9269 8948 0 -1 4203524 69907 0 1 0 43747 42 0 0 18 0 1 0 5953836 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9269/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 437.89 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 431.014 CPU time (s): 437.915 CPU user time (s): 437.476 CPU system time (s): 0.439933 CPU usage (%): 101.601 Max. virtual memory (cumulated for all children) (KiB): 1544948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 437.475 system time used= 0.439933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69907 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= 12052 involuntary context switches= 3918 runsolver used 0.922859 second user time and 2.56861 second system time The end
Begin job on node027 at 2010-06-12 08:10:20 IDJOB=2661005 IDBENCH=1405 IDSOLVER=1165 FILE ID=node027/2661005-1276323020 PBS_JOBID= 11173168 Free space on /tmp= 62448 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2661005-1276323020/watcher-2661005-1276323020 -o /tmp/evaluation-result-2661005-1276323020/solver-2661005-1276323020 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2661005-1276323020.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67169e121732ee6d464f6ac82d33a699 RANDOM SEED=1489034395 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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 : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1776156 kB Buffers: 20124 kB Cached: 133292 kB SwapCached: 0 kB Active: 103844 kB Inactive: 108892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1776156 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 572 kB Writeback: 24 kB AnonPages: 59320 kB Mapped: 15316 kB Slab: 48104 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180696 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62448 MiB End job on node027 at 2010-06-12 08:17:31