Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | OPTIMUM | 20.3159 | 19.3923 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo |
MD5SUM | 1d30a59b87701853914e68e6a35dea24 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.12898 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1229 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.06 c See www.sat4j.org for details. 0.03/0.07 c version 2.2.0.v20100526 0.03/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.03/0.07 c java.vm.version 11.2-b01 0.03/0.07 c java.vm.vendor Sun Microsystems Inc. 0.03/0.07 c sun.arch.data.model 32 0.03/0.07 c java.version 1.6.0_12 0.03/0.07 c os.name Linux 0.03/0.07 c os.version 2.6.18-164.el5 0.03/0.07 c os.arch i386 0.03/0.07 c Free memory 1393557488 0.03/0.07 c Max memory 1395916800 0.03/0.07 c Total memory 1395916800 0.03/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2691129-1277895195.wbo 0.11/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.052s. 0.11/0.15 c #vars 233 0.11/0.15 c #constraints 101 0.11/0.15 c constraints type 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26 0.11/0.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 73 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 0.60/0.37 c SATISFIABLE 0.60/0.37 c OPTIMIZING... 0.60/0.37 c Got one! Elapsed wall clock time (in seconds):0.272 0.60/0.37 o 234 0.60/0.39 c Got one! Elapsed wall clock time (in seconds):0.292 0.60/0.39 o 221 0.82/0.48 c Got one! Elapsed wall clock time (in seconds):0.388 0.82/0.48 o 213 0.97/0.54 c cleaning 2500 clauses out of 5002 with flag 5002/5002 1.09/0.61 c Got one! Elapsed wall clock time (in seconds):0.517 1.09/0.61 o 189 1.19/0.76 c Got one! Elapsed wall clock time (in seconds):0.661 1.19/0.76 o 159 1.31/0.81 c cleaning 4249 clauses out of 8500 with flag 11000/11000 1.42/0.92 c Got one! Elapsed wall clock time (in seconds):0.828 1.42/0.92 o 139 1.42/0.98 c Got one! Elapsed wall clock time (in seconds):0.88 1.42/0.98 o 132 1.63/1.12 c cleaning 5622 clauses out of 11251 with flag 18000/18000 1.63/1.16 c Got one! Elapsed wall clock time (in seconds):1.063 1.63/1.16 o 129 1.73/1.27 c Got one! Elapsed wall clock time (in seconds):1.173 1.73/1.27 o 120 1.93/1.43 c cleaning 6809 clauses out of 13629 with flag 26000/26000 2.05/1.58 c Got one! Elapsed wall clock time (in seconds):1.48 2.05/1.58 o 62 2.35/1.84 c cleaning 7904 clauses out of 15820 with flag 35000/35000 2.45/1.93 c Got one! Elapsed wall clock time (in seconds):1.836 2.45/1.93 o 15 2.76/2.27 c cleaning 8955 clauses out of 17919 with flag 45003/45003 3.15/2.69 c cleaning 9477 clauses out of 18961 with flag 55000/55000 3.25/2.77 c Got one! Elapsed wall clock time (in seconds):2.67 3.25/2.77 o 12 3.66/3.13 c cleaning 9739 clauses out of 19485 with flag 65001/65001 4.06/3.54 c Got one! Elapsed wall clock time (in seconds):3.441 4.06/3.54 o 5 4.16/3.66 c cleaning 9871 clauses out of 19746 with flag 75001/75001 4.56/4.06 c cleaning 9934 clauses out of 19874 with flag 85000/85000 4.97/4.49 c cleaning 9968 clauses out of 19941 with flag 95001/95001 5.46/4.93 c cleaning 9983 clauses out of 19975 with flag 105003/105003 5.86/5.39 c cleaning 9992 clauses out of 19989 with flag 115000/115000 6.37/5.80 c cleaning 9994 clauses out of 19998 with flag 125001/125001 6.87/6.30 c cleaning 10000 clauses out of 20004 with flag 135001/135001 7.37/6.80 c cleaning 9999 clauses out of 20005 with flag 145002/145002 7.77/7.25 c cleaning 9999 clauses out of 20004 with flag 155000/155000 8.18/7.67 c cleaning 9994 clauses out of 20005 with flag 165000/165000 8.59/8.07 c cleaning 10003 clauses out of 20014 with flag 175003/175003 8.70/8.19 c Got one! Elapsed wall clock time (in seconds):8.095 8.70/8.19 o 2 9.10/8.51 c cleaning 10002 clauses out of 20008 with flag 185000/185000 9.41/8.89 c cleaning 9998 clauses out of 20006 with flag 195000/195000 9.91/9.30 c cleaning 10003 clauses out of 20009 with flag 205001/205001 10.31/9.74 c cleaning 10000 clauses out of 20006 with flag 215001/215001 10.72/10.18 c cleaning 9998 clauses out of 20006 with flag 225001/225001 11.22/10.61 c cleaning 9998 clauses out of 20007 with flag 235000/235000 11.63/11.04 c cleaning 10001 clauses out of 20010 with flag 245001/245001 12.02/11.45 c cleaning 9999 clauses out of 20008 with flag 255000/255000 12.54/11.91 c cleaning 10000 clauses out of 20009 with flag 265000/265000 12.94/12.32 c cleaning 10002 clauses out of 20010 with flag 275001/275001 13.34/12.74 c cleaning 9997 clauses out of 20008 with flag 285001/285001 13.85/13.23 c cleaning 9997 clauses out of 20010 with flag 295000/295000 14.25/13.68 c cleaning 10004 clauses out of 20015 with flag 305002/305002 14.75/14.15 c cleaning 9999 clauses out of 20009 with flag 315000/315000 15.15/14.57 c cleaning 10002 clauses out of 20010 with flag 325000/325000 15.66/15.01 c cleaning 9998 clauses out of 20008 with flag 335000/335000 16.07/15.45 c cleaning 9999 clauses out of 20010 with flag 345000/345000 16.46/15.84 c cleaning 10004 clauses out of 20012 with flag 355001/355001 16.87/16.23 c cleaning 9998 clauses out of 20007 with flag 365000/365000 17.27/16.68 c cleaning 10000 clauses out of 20009 with flag 375000/375000 17.77/17.10 c cleaning 10000 clauses out of 20009 with flag 385000/385000 18.18/17.53 c cleaning 9999 clauses out of 20010 with flag 395001/395001 18.58/17.91 c cleaning 10001 clauses out of 20010 with flag 405000/405000 19.01/18.32 c cleaning 10002 clauses out of 20011 with flag 415002/415002 19.69/18.82 c cleaning 10002 clauses out of 20008 with flag 425001/425001 20.09/19.28 c cleaning 10001 clauses out of 20005 with flag 435001/435001 20.21/19.36 c starts : 162 20.21/19.36 c conflicts : 436648 20.21/19.36 c decisions : 638563 20.21/19.36 c propagations : 9513264 20.21/19.36 c inspects : 113736158 20.21/19.36 c learnt literals : 6 20.21/19.36 c learnt binary clauses : 23 20.21/19.36 c learnt ternary clauses : 129 20.21/19.36 c learnt clauses : 436641 20.21/19.36 c ignored clauses : 0 20.21/19.36 c root simplifications : 0 20.21/19.36 c removed literals (reason simplification) : 4302623 20.21/19.36 c reason swapping (by a shorter reason) : 0 20.21/19.36 c Calls to reduceDB : 45 20.21/19.36 c number of reductions to clauses (during analyze) : 0 20.21/19.36 c number of learned constraints concerned by reduction : 0 20.21/19.36 c number of learning phase by resolution : 0 20.21/19.36 c number of learning phase by cutting planes : 0 20.21/19.36 c speed (assignments/second) : 851908.6594430017 20.21/19.36 c non guided choices 570 20.21/19.36 c learnt constraints type 20.21/19.36 c constraints type 20.21/19.36 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26 20.21/19.36 c org.sat4j.minisat.constraints.card.MinWatchCard => 73 20.21/19.36 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 20.21/19.36 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 20.21/19.36 s OPTIMUM FOUND 20.21/19.36 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 20.21/19.36 c objective function=2 20.21/19.36 c Total wall clock time (in seconds): 19.263
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691129-1277895195/watcher-2691129-1277895195 -o /tmp/evaluation-result-2691129-1277895195/solver-2691129-1277895195 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691129-1277895195.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.00 3/182 12032 /proc/meminfo: memFree=30485584/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=13164 CPUtime=0 /proc/12032/stat : 12032 (java) R 12030 12032 9869 0 -1 4194304 924 0 0 0 0 0 0 0 20 0 1 0 130815639 13479936 421 4089446400 134512640 134550932 4289282128 18446744073709551615 1840792 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12032/statm: 3291 423 145 10 0 1121 0 [startup+0.0513701 s] /proc/loadavg: 2.04 2.04 2.00 3/182 12032 /proc/meminfo: memFree=30485584/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1528572 CPUtime=0.03 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 4036 0 1 0 3 0 0 0 20 0 18 0 130815639 1565257728 3474 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 382143 3474 1078 10 0 379445 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1528572 [startup+0.10036 s] /proc/loadavg: 2.04 2.04 2.00 3/182 12032 /proc/meminfo: memFree=30485584/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1529756 CPUtime=0.11 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 5207 0 1 0 11 0 0 0 20 0 18 0 130815639 1566470144 4643 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 382439 4643 1348 10 0 379741 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529756 [startup+0.300335 s] /proc/loadavg: 2.04 2.04 2.00 3/182 12032 /proc/meminfo: memFree=30485584/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535400 CPUtime=0.6 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 7816 0 1 0 59 1 0 0 20 0 19 0 130815639 1572249600 6498 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383850 6498 1417 10 0 381152 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1535400 [startup+0.700264 s] /proc/loadavg: 2.04 2.04 2.00 3/182 12032 /proc/meminfo: memFree=30485584/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535400 CPUtime=1.19 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 8977 0 1 0 118 1 0 0 20 0 19 0 130815639 1572249600 7657 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383850 7657 1440 10 0 381152 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 1535400 [startup+1.50112 s] /proc/loadavg: 2.12 2.06 2.01 3/201 12051 /proc/meminfo: memFree=30459268/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535400 CPUtime=2.05 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 9524 0 1 0 203 2 0 0 20 0 19 0 130815639 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383850 8200 1440 10 0 381152 0 [pid=12032/tid=12034] ppid=12030 vsize=1535400 CPUtime=1.43 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4659 0 1 0 143 0 0 0 18 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4109613950 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 160 0 0 0 0 0 0 0 16 0 19 0 130815640 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1535400 CPUtime=0.03 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 405 0 0 0 3 0 0 0 16 0 19 0 130815641 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1535400 CPUtime=0.26 /proc/12032/task/12047/stat : 12047 (java) S 12030 12032 9869 0 -1 4202560 1695 0 0 0 26 0 0 0 15 0 19 0 130815644 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1535400 CPUtime=0.28 /proc/12032/task/12048/stat : 12048 (java) S 12030 12032 9869 0 -1 4202560 1158 0 0 0 28 0 0 0 15 0 19 0 130815644 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1572249600 8200 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 1535400 [startup+3.10084 s] /proc/loadavg: 2.12 2.06 2.01 3/201 12051 /proc/meminfo: memFree=30457036/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535400 CPUtime=3.66 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 9836 0 1 0 364 2 0 0 20 0 19 0 130815639 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383850 8509 1440 10 0 381152 0 [pid=12032/tid=12034] ppid=12030 vsize=1535400 CPUtime=3 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4662 0 1 0 300 0 0 0 20 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4159643401 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 185 0 0 0 0 0 0 0 16 0 19 0 130815640 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1535400 CPUtime=0.05 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 642 0 0 0 5 0 0 0 16 0 19 0 130815641 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1535400 CPUtime=0.26 /proc/12032/task/12047/stat : 12047 (java) S 12030 12032 9869 0 -1 4202560 1695 0 0 0 26 0 0 0 15 0 19 0 130815644 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1535400 CPUtime=0.28 /proc/12032/task/12048/stat : 12048 (java) S 12030 12032 9869 0 -1 4202560 1158 0 0 0 28 0 0 0 15 0 19 0 130815644 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1535400 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1572249600 8509 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1535400 [startup+6.30127 s] /proc/loadavg: 2.12 2.06 2.01 3/201 12052 /proc/meminfo: memFree=30453800/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535032 CPUtime=6.87 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 9979 0 1 0 685 2 0 0 20 0 19 0 130815639 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383758 8567 1440 10 0 381060 0 [pid=12032/tid=12034] ppid=12030 vsize=1535032 CPUtime=6.13 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4671 0 1 0 613 0 0 0 20 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4109743097 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 185 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1535032 CPUtime=0.12 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 719 0 0 0 12 0 0 0 16 0 19 0 130815641 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1535032 CPUtime=0.26 /proc/12032/task/12047/stat : 12047 (java) S 12030 12032 9869 0 -1 4202560 1695 0 0 0 26 0 0 0 15 0 19 0 130815644 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1535032 CPUtime=0.28 /proc/12032/task/12048/stat : 12048 (java) S 12030 12032 9869 0 -1 4202560 1158 0 0 0 28 0 0 0 15 0 19 0 130815644 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1571872768 8567 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.87 Current children cumulated vsize (KiB) 1535032 [startup+12.7011 s] /proc/loadavg: 2.10 2.05 2.01 3/201 12052 /proc/meminfo: memFree=30448224/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535032 CPUtime=13.34 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 10112 0 1 0 1331 3 0 0 20 0 19 0 130815639 1571872768 8552 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383758 8552 1440 10 0 381060 0 [pid=12032/tid=12034] ppid=12030 vsize=1535032 CPUtime=12.36 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4686 0 1 0 1236 0 0 0 18 0 19 0 130815640 1571872768 8552 4089446400 134512640 134550932 4289282128 18446744073709551615 4109613885 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8552 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 104 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 57 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 79 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 79 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 33 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 187 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1535032 CPUtime=0.36 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 900 0 0 0 36 0 0 0 16 0 19 0 130815641 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1535032 CPUtime=0.26 /proc/12032/task/12047/stat : 12047 (java) S 12030 12032 9869 0 -1 4202560 1695 0 0 0 26 0 0 0 15 0 19 0 130815644 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1535032 CPUtime=0.31 /proc/12032/task/12048/stat : 12048 (java) S 12030 12032 9869 0 -1 4202560 1165 0 0 0 31 0 0 0 15 0 19 0 130815644 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1571872768 8639 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 18.18 Current children cumulated vsize (KiB) 1535032 [startup+18.3011 s] /proc/loadavg: 2.09 2.05 2.01 3/201 12052 /proc/meminfo: memFree=30443956/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1535032 CPUtime=19.01 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 10236 0 1 0 1898 3 0 0 20 0 19 0 130815639 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 383758 8663 1440 10 0 381060 0 [pid=12032/tid=12034] ppid=12030 vsize=1535032 CPUtime=17.82 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4700 0 1 0 1782 0 0 0 23 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4109489177 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 109 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 104 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 57 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 80 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1535032 CPUtime=0.01 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 79 0 0 0 1 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 34 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1535032 CPUtime=0.02 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 187 0 0 0 2 0 0 0 15 0 19 0 130815640 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1535032 CPUtime=0.39 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 910 0 0 0 38 1 0 0 16 0 19 0 130815641 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1535032 CPUtime=0.27 /proc/12032/task/12047/stat : 12047 (java) S 12030 12032 9869 0 -1 4202560 1699 0 0 0 27 0 0 0 15 0 19 0 130815644 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1535032 CPUtime=0.33 /proc/12032/task/12048/stat : 12048 (java) R 12030 12032 9869 0 -1 4202560 1172 0 0 0 33 0 0 0 16 0 19 0 130815644 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 105875684 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1535032 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1571872768 8663 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 19.01 Current children cumulated vsize (KiB) 1535032 [startup+19.101 s] /proc/loadavg: 2.09 2.05 2.01 3/201 12052 /proc/meminfo: memFree=30436640/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1541164 CPUtime=19.99 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 12659 0 1 0 1995 4 0 0 20 0 19 0 130815639 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 385291 10214 1440 10 0 382593 0 [pid=12032/tid=12034] ppid=12030 vsize=1541164 CPUtime=18.6 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4702 0 1 0 1860 0 0 0 25 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4109543940 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 109 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 104 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 57 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1541164 CPUtime=0.01 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1541164 CPUtime=0.01 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 80 0 0 0 1 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1541164 CPUtime=0.01 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 79 0 0 0 1 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 34 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 188 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1541164 CPUtime=0.41 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 930 0 0 0 40 1 0 0 16 0 19 0 130815641 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1541164 CPUtime=0.27 /proc/12032/task/12047/stat : 12047 (java) S 12030 12032 9869 0 -1 4202560 1700 0 0 0 27 0 0 0 15 0 19 0 130815644 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1541164 CPUtime=0.51 /proc/12032/task/12048/stat : 12048 (java) S 12030 12032 9869 0 -1 4202560 3571 0 0 0 51 0 0 0 16 0 19 0 130815644 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1578151936 10214 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (KiB) 1541164 [startup+19.301 s] /proc/loadavg: 2.09 2.05 2.01 3/201 12052 /proc/meminfo: memFree=30436640/32951124 swapFree=67111528/67111528 [pid=12032] ppid=12030 vsize=1541164 CPUtime=20.21 /proc/12032/stat : 12032 (java) S 12030 12032 9869 0 -1 4202496 12669 0 1 0 2017 4 0 0 20 0 19 0 130815639 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/12032/statm: 385291 10223 1440 10 0 382593 0 [pid=12032/tid=12034] ppid=12030 vsize=1541164 CPUtime=18.78 /proc/12032/task/12034/stat : 12034 (java) R 12030 12032 9869 0 -1 4202560 4703 0 1 0 1878 0 0 0 25 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4109205512 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=12032/tid=12035] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12035/stat : 12035 (java) S 12030 12032 9869 0 -1 4202560 109 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12036] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12036/stat : 12036 (java) S 12030 12032 9869 0 -1 4202560 104 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12037] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12037/stat : 12037 (java) S 12030 12032 9869 0 -1 4202560 58 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12038] ppid=12030 vsize=1541164 CPUtime=0.01 /proc/12032/task/12038/stat : 12038 (java) S 12030 12032 9869 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12039] ppid=12030 vsize=1541164 CPUtime=0.01 /proc/12032/task/12039/stat : 12039 (java) S 12030 12032 9869 0 -1 4202560 80 0 0 0 1 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12040] ppid=12030 vsize=1541164 CPUtime=0.01 /proc/12032/task/12040/stat : 12040 (java) S 12030 12032 9869 0 -1 4202560 79 0 0 0 1 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 0 0 0 0 [pid=12032/tid=12041] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12041/stat : 12041 (java) S 12030 12032 9869 0 -1 4202560 34 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 5 0 0 0 [pid=12032/tid=12042] ppid=12030 vsize=1541164 CPUtime=0.02 /proc/12032/task/12042/stat : 12042 (java) S 12030 12032 9869 0 -1 4202560 188 0 0 0 2 0 0 0 15 0 19 0 130815640 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12043] ppid=12030 vsize=1541164 CPUtime=0.42 /proc/12032/task/12043/stat : 12043 (java) S 12030 12032 9869 0 -1 4202560 930 0 0 0 41 1 0 0 16 0 19 0 130815641 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 0 0 16800975 18446604471136041024 0 0 -1 2 0 0 0 [pid=12032/tid=12044] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12044/stat : 12044 (java) S 12030 12032 9869 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 130815641 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 1 0 0 0 [pid=12032/tid=12045] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12045/stat : 12045 (java) S 12030 12032 9869 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 130815641 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 3 0 0 0 [pid=12032/tid=12046] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12046/stat : 12046 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 130815644 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12047] ppid=12030 vsize=1541164 CPUtime=0.27 /proc/12032/task/12047/stat : 12047 (java) R 12030 12032 9869 0 -1 4202560 1708 0 0 0 27 0 0 0 15 0 19 0 130815644 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 103828651 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=12032/tid=12048] ppid=12030 vsize=1541164 CPUtime=0.52 /proc/12032/task/12048/stat : 12048 (java) R 12030 12032 9869 0 -1 4202560 3571 0 0 0 52 0 0 0 15 0 19 0 130815644 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 106833335 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=12032/tid=12049] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12049/stat : 12049 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 130815644 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 [pid=12032/tid=12050] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12050/stat : 12050 (java) S 12030 12032 9869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 130815644 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 4 0 0 0 [pid=12032/tid=12051] ppid=12030 vsize=1541164 CPUtime=0 /proc/12032/task/12051/stat : 12051 (java) S 12030 12032 9869 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 19 0 130815655 1578151936 10223 4089446400 134512640 134550932 4289282128 18446744073709551615 4294960144 0 4 0 16800975 18446604471136041024 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 20.21 Current children cumulated vsize (KiB) 1541164 Child status: 30 Real time (s): 19.3923 CPU time (s): 20.3159 CPU user time (s): 20.2699 CPU system time (s): 0.045993 CPU usage (%): 104.763 Max. virtual memory (cumulated for all children) (KiB): 1541164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.2699 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12686 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= 2059 involuntary context switches= 5114 runsolver used 0.028995 second user time and 0.084987 second system time The end
Begin job on node132 at 2010-06-30 12:53:15 IDJOB=2691129 IDBENCH=78748 IDSOLVER=1202 FILE ID=node132/2691129-1277895195 PBS_JOBID= 11197090 Free space on /tmp= 74136 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691129-1277895195/watcher-2691129-1277895195 -o /tmp/evaluation-result-2691129-1277895195/solver-2691129-1277895195 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2691129-1277895195.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d30a59b87701853914e68e6a35dea24 RANDOM SEED=592629538 node132.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30486468 kB Buffers: 175232 kB Cached: 1211520 kB SwapCached: 0 kB Active: 1458340 kB Inactive: 860432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30486468 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 416 kB Writeback: 0 kB AnonPages: 932516 kB Mapped: 16100 kB Slab: 80728 kB PageTables: 7028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1104868 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node132 at 2010-06-30 12:53:34