Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 40.5788 | 39.7313 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-33-100-0.wbo |
MD5SUM | 477adc333907175569d22a28ba04c3fe |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.231964 |
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 | 1192 |
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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.07/0.07 c version 2.2.1.v20100705 0.07/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.07/0.07 c java.vm.version 11.2-b01 0.07/0.07 c java.vm.vendor Sun Microsystems Inc. 0.07/0.07 c sun.arch.data.model 32 0.07/0.07 c java.version 1.6.0_12 0.07/0.07 c os.name Linux 0.07/0.07 c os.version 2.6.18-164.el5 0.07/0.07 c os.arch i386 0.07/0.07 c Free memory 1393557488 0.07/0.07 c Max memory 1395916800 0.07/0.07 c Total memory 1395916800 0.07/0.07 c Number of processors 8 0.07/0.10 c Pseudo Boolean Optimization 0.07/0.10 c --- Begin Solver configuration --- 0.07/0.10 c Stops conflict analysis at the first Unique Implication Point 0.07/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.07/0.10 c Learn all clauses as in MiniSAT 0.07/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.10 c Expensive reason simplification 0.07/0.10 c Armin Biere (Picosat) restarts strategy 0.07/0.10 c Glucose learned constraints deletion strategy 0.07/0.10 c timeout=2147483s 0.07/0.10 c DB Simplification allowed=false 0.07/0.10 c --- End Solver configuration --- 0.07/0.10 c solving HOME/instance-2698478-1278325597.wbo 0.07/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.054s. 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 => 29 0.11/0.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPb => 47 0.30/0.28 c SATISFIABLE 0.30/0.28 c OPTIMIZING... 0.30/0.28 c Got one! Elapsed wall clock time (in seconds):0.18 0.30/0.28 o 666 0.59/0.33 c Got one! Elapsed wall clock time (in seconds):0.237 0.59/0.33 o 406 0.78/0.40 c Got one! Elapsed wall clock time (in seconds):0.304 0.78/0.40 o 288 0.78/0.44 c Got one! Elapsed wall clock time (in seconds):0.348 0.78/0.44 o 266 0.78/0.48 c Got one! Elapsed wall clock time (in seconds):0.381 0.78/0.48 o 222 0.92/0.53 c cleaning 2495 clauses out of 5000 with flag 5000/5000 1.03/0.70 c Got one! Elapsed wall clock time (in seconds):0.599 1.03/0.70 o 213 1.13/0.75 c Got one! Elapsed wall clock time (in seconds):0.656 1.13/0.75 o 205 1.13/0.77 c cleaning 4250 clauses out of 8505 with flag 11000/11000 1.26/0.86 c Got one! Elapsed wall clock time (in seconds):0.764 1.26/0.86 o 165 1.47/1.08 c cleaning 5624 clauses out of 11256 with flag 18001/18001 1.88/1.43 c cleaning 6812 clauses out of 13631 with flag 26000/26000 2.09/1.61 c Got one! Elapsed wall clock time (in seconds):1.517 2.09/1.61 o 108 2.29/1.83 c cleaning 7905 clauses out of 15821 with flag 35002/35002 2.79/2.30 c cleaning 8951 clauses out of 17914 with flag 45000/45000 3.19/2.80 c cleaning 9474 clauses out of 18965 with flag 55002/55002 3.71/3.26 c cleaning 9741 clauses out of 19491 with flag 65002/65002 4.02/3.54 c Got one! Elapsed wall clock time (in seconds):3.441 4.02/3.54 o 101 4.22/3.73 c cleaning 9870 clauses out of 19749 with flag 75001/75001 4.51/4.07 c Got one! Elapsed wall clock time (in seconds):3.972 4.51/4.07 o 75 4.71/4.22 c cleaning 9937 clauses out of 19878 with flag 85000/85000 5.21/4.72 c cleaning 9967 clauses out of 19945 with flag 95004/95004 5.41/4.94 c Got one! Elapsed wall clock time (in seconds):4.849 5.41/4.94 o 73 5.61/5.17 c cleaning 9984 clauses out of 19975 with flag 105001/105001 6.11/5.64 c cleaning 9993 clauses out of 19993 with flag 115003/115003 6.61/6.10 c cleaning 9995 clauses out of 19997 with flag 125000/125000 6.61/6.16 c Got one! Elapsed wall clock time (in seconds):6.066 6.61/6.16 o 64 7.02/6.55 c cleaning 9998 clauses out of 20006 with flag 135004/135004 7.51/7.05 c cleaning 9997 clauses out of 20004 with flag 145000/145000 8.01/7.58 c cleaning 10000 clauses out of 20008 with flag 155001/155001 8.12/7.62 c Got one! Elapsed wall clock time (in seconds):7.521 8.12/7.62 o 50 8.52/8.07 c cleaning 10000 clauses out of 20007 with flag 165000/165000 9.02/8.54 c cleaning 10000 clauses out of 20007 with flag 175000/175000 9.51/9.07 c cleaning 9998 clauses out of 20007 with flag 185000/185000 9.61/9.13 c Got one! Elapsed wall clock time (in seconds):9.036 9.61/9.13 o 28 10.02/9.58 c cleaning 10001 clauses out of 20011 with flag 195002/195002 10.53/10.06 c cleaning 9998 clauses out of 20008 with flag 205000/205000 11.03/10.51 c cleaning 9999 clauses out of 20010 with flag 215000/215000 11.43/10.91 c cleaning 10002 clauses out of 20011 with flag 225000/225000 11.83/11.37 c cleaning 9999 clauses out of 20009 with flag 235000/235000 12.33/11.80 c cleaning 10006 clauses out of 20013 with flag 245003/245003 12.73/12.20 c cleaning 9996 clauses out of 20004 with flag 255000/255000 13.13/12.63 c cleaning 10000 clauses out of 20010 with flag 265002/265002 13.24/12.77 c Got one! Elapsed wall clock time (in seconds):12.672 13.24/12.77 o 12 13.54/13.09 c cleaning 10002 clauses out of 20009 with flag 275001/275001 14.04/13.54 c cleaning 10000 clauses out of 20006 with flag 285000/285000 14.44/13.95 c cleaning 9997 clauses out of 20006 with flag 295000/295000 14.94/14.40 c cleaning 10002 clauses out of 20009 with flag 305000/305000 15.34/14.84 c cleaning 10000 clauses out of 20007 with flag 315000/315000 15.74/15.26 c cleaning 9998 clauses out of 20008 with flag 325001/325001 16.14/15.68 c cleaning 9998 clauses out of 20009 with flag 335000/335000 16.44/15.98 c Got one! Elapsed wall clock time (in seconds):15.887 16.44/15.98 o 10 16.64/16.14 c cleaning 10003 clauses out of 20012 with flag 345001/345001 17.14/16.61 c cleaning 10002 clauses out of 20011 with flag 355003/355003 17.54/17.02 c cleaning 10000 clauses out of 20007 with flag 365001/365001 17.94/17.46 c cleaning 9997 clauses out of 20006 with flag 375000/375000 18.34/17.88 c cleaning 9999 clauses out of 20011 with flag 385002/385002 18.85/18.34 c cleaning 9999 clauses out of 20010 with flag 395000/395000 19.25/18.72 c Got one! Elapsed wall clock time (in seconds):18.624 19.25/18.72 o 9 19.37/18.80 c cleaning 9998 clauses out of 20011 with flag 405000/405000 19.77/19.25 c cleaning 10006 clauses out of 20017 with flag 415004/415004 20.17/19.68 c cleaning 10000 clauses out of 20008 with flag 425001/425001 20.68/20.12 c cleaning 10001 clauses out of 20007 with flag 435000/435000 21.08/20.55 c cleaning 10001 clauses out of 20007 with flag 445001/445001 21.58/21.00 c cleaning 9999 clauses out of 20005 with flag 455000/455000 21.98/21.43 c cleaning 9995 clauses out of 20008 with flag 465002/465002 22.38/21.87 c cleaning 10001 clauses out of 20012 with flag 475001/475001 22.78/22.29 c cleaning 9996 clauses out of 20010 with flag 485000/485000 23.28/22.72 c cleaning 10002 clauses out of 20015 with flag 495001/495001 23.68/23.14 c cleaning 10003 clauses out of 20013 with flag 505001/505001 24.18/23.60 c cleaning 9998 clauses out of 20009 with flag 515000/515000 24.58/24.02 c cleaning 10000 clauses out of 20011 with flag 525000/525000 24.98/24.46 c cleaning 10002 clauses out of 20013 with flag 535002/535002 25.38/24.88 c cleaning 10002 clauses out of 20009 with flag 545000/545000 25.80/25.29 c cleaning 10000 clauses out of 20008 with flag 555001/555001 26.30/25.72 c cleaning 10002 clauses out of 20012 with flag 565005/565005 26.70/26.14 c cleaning 9997 clauses out of 20006 with flag 575001/575001 27.11/26.55 c cleaning 10000 clauses out of 20009 with flag 585001/585001 27.51/26.96 c cleaning 9997 clauses out of 20010 with flag 595002/595002 27.91/27.35 c cleaning 10002 clauses out of 20014 with flag 605003/605003 28.31/27.78 c cleaning 10002 clauses out of 20009 with flag 615000/615000 28.81/28.21 c cleaning 10000 clauses out of 20007 with flag 625000/625000 29.22/28.67 c cleaning 10000 clauses out of 20008 with flag 635001/635001 29.71/29.12 c cleaning 10000 clauses out of 20008 with flag 645001/645001 30.11/29.57 c cleaning 10001 clauses out of 20008 with flag 655001/655001 30.61/30.03 c cleaning 9993 clauses out of 20007 with flag 665001/665001 31.01/30.47 c cleaning 10005 clauses out of 20014 with flag 675001/675001 31.51/30.91 c cleaning 10001 clauses out of 20009 with flag 685001/685001 31.91/31.36 c cleaning 10000 clauses out of 20009 with flag 695002/695002 32.31/31.78 c cleaning 10002 clauses out of 20009 with flag 705002/705002 32.81/32.23 c cleaning 9997 clauses out of 20006 with flag 715001/715001 33.21/32.63 c cleaning 10000 clauses out of 20008 with flag 725000/725000 33.62/33.07 c cleaning 10000 clauses out of 20008 with flag 735000/735000 34.01/33.49 c cleaning 9999 clauses out of 20008 with flag 745000/745000 34.52/33.93 c cleaning 10000 clauses out of 20009 with flag 755000/755000 34.92/34.33 c cleaning 9995 clauses out of 20010 with flag 765001/765001 35.32/34.76 c cleaning 10002 clauses out of 20015 with flag 775001/775001 35.72/35.17 c cleaning 10005 clauses out of 20013 with flag 785001/785001 36.12/35.57 c cleaning 10000 clauses out of 20007 with flag 795000/795000 36.62/36.00 c cleaning 10002 clauses out of 20012 with flag 805005/805005 37.02/36.41 c cleaning 9996 clauses out of 20006 with flag 815001/815001 37.42/36.85 c cleaning 9999 clauses out of 20010 with flag 825001/825001 37.83/37.29 c cleaning 9997 clauses out of 20010 with flag 835000/835000 38.33/37.70 c cleaning 10001 clauses out of 20013 with flag 845000/845000 38.73/38.13 c cleaning 9999 clauses out of 20014 with flag 855002/855002 39.13/38.55 c cleaning 10002 clauses out of 20013 with flag 865000/865000 39.67/39.02 c cleaning 10003 clauses out of 20012 with flag 875001/875001 40.33/39.51 c cleaning 10002 clauses out of 20009 with flag 885001/885001 40.55/39.70 c starts : 189 40.55/39.70 c conflicts : 889308 40.55/39.70 c decisions : 1338814 40.55/39.70 c propagations : 19529910 40.55/39.70 c inspects : 187650376 40.55/39.70 c learnt literals : 7 40.55/39.70 c learnt binary clauses : 35 40.55/39.70 c learnt ternary clauses : 359 40.55/39.70 c learnt clauses : 889300 40.55/39.70 c ignored clauses : 0 40.55/39.70 c root simplifications : 0 40.55/39.70 c removed literals (reason simplification) : 7840792 40.55/39.70 c reason swapping (by a shorter reason) : 0 40.55/39.70 c Calls to reduceDB : 90 40.55/39.70 c number of reductions to clauses (during analyze) : 0 40.55/39.70 c number of learned constraints concerned by reduction : 0 40.55/39.71 c number of learning phase by resolution : 0 40.55/39.71 c number of learning phase by cutting planes : 0 40.55/39.71 c speed (assignments/second) : 930660.4717655468 40.55/39.71 c non guided choices 811 40.55/39.71 c learnt constraints type 40.55/39.71 c constraints type 40.55/39.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 40.55/39.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 40.55/39.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 40.55/39.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 47 40.55/39.71 s OPTIMUM FOUND 40.55/39.71 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 40.55/39.71 c objective function=9 40.55/39.71 c Total wall clock time (in seconds): 39.61
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698478-1278325597/watcher-2698478-1278325597 -o /tmp/evaluation-result-2698478-1278325597/solver-2698478-1278325597 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698478-1278325597.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: 1.92 1.95 1.71 3/200 4224 /proc/meminfo: memFree=32417756/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=13472 CPUtime=0 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 1102 0 0 0 0 0 0 0 21 0 2 0 773003 13795328 573 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 3368 573 259 10 0 1202 0 [pid=4224/tid=4225] ppid=4222 vsize=13484 CPUtime=0 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 66 0 0 0 0 0 0 0 22 0 2 0 773003 13807616 579 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.076894 s] /proc/loadavg: 1.92 1.95 1.71 3/200 4224 /proc/meminfo: memFree=32417756/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1529280 CPUtime=0.07 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 4805 0 1 0 6 1 0 0 21 0 18 0 773003 1565982720 4241 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 382320 4244 1324 10 0 379623 0 [pid=4224/tid=4225] ppid=4222 vsize=1529280 CPUtime=0.05 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 3319 0 1 0 5 0 0 0 25 0 18 0 773003 1565982720 4244 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1529280 [startup+0.100966 s] /proc/loadavg: 1.92 1.95 1.71 3/200 4224 /proc/meminfo: memFree=32417756/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1529564 CPUtime=0.11 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 5202 0 1 0 10 1 0 0 21 0 18 0 773003 1566273536 4638 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 382391 4638 1347 10 0 379694 0 [pid=4224/tid=4225] ppid=4222 vsize=1529564 CPUtime=0.07 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 3547 0 1 0 7 0 0 0 25 0 18 0 773003 1566273536 4638 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529564 [startup+0.300888 s] /proc/loadavg: 1.92 1.95 1.71 3/200 4224 /proc/meminfo: memFree=32417756/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1532532 CPUtime=0.59 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 6963 0 1 0 58 1 0 0 21 0 19 0 773003 1569312768 5971 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 383133 5971 1419 10 0 380436 0 [pid=4224/tid=4225] ppid=4222 vsize=1532532 CPUtime=0.27 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 4112 0 1 0 27 0 0 0 25 0 19 0 773003 1569312768 5971 4089446400 134512640 134550932 4291754240 18446744073709551615 4109216522 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 1532532 [startup+0.700817 s] /proc/loadavg: 1.92 1.95 1.71 3/200 4224 /proc/meminfo: memFree=32417756/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1532532 CPUtime=1.13 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 9037 0 1 0 112 1 0 0 21 0 19 0 773003 1569312768 7921 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 383133 7921 1439 10 0 380436 0 [pid=4224/tid=4225] ppid=4222 vsize=1532532 CPUtime=0.67 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 5591 0 1 0 66 1 0 0 25 0 19 0 773003 1569312768 7921 4089446400 134512640 134550932 4291754240 18446744073709551615 4109240051 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 1532532 [startup+1.50069 s] /proc/loadavg: 1.92 1.95 1.71 3/219 4243 /proc/meminfo: memFree=32386676/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1532532 CPUtime=1.99 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 10611 0 1 0 197 2 0 0 21 0 19 0 773003 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 383133 9482 1439 10 0 380436 0 [pid=4224/tid=4225] ppid=4222 vsize=1532532 CPUtime=1.44 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 6465 0 1 0 143 1 0 0 25 0 19 0 773003 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4109561776 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4224/tid=4227] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 60 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 88 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1532532 CPUtime=0.03 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 410 0 0 0 3 0 0 0 15 0 19 0 773005 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1532532 CPUtime=0.24 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 664 0 0 0 24 0 0 0 15 0 19 0 773007 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1532532 CPUtime=0.25 /proc/4224/task/4240/stat : 4240 (java) S 4222 4224 3902 0 -1 4202560 1321 0 0 0 25 0 0 0 16 0 19 0 773007 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 773007 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 6 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1569312768 9482 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 1532532 [startup+3.1014 s] /proc/loadavg: 1.92 1.95 1.71 3/219 4243 /proc/meminfo: memFree=32379112/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1532532 CPUtime=3.6 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 12285 0 1 0 358 2 0 0 21 0 19 0 773003 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 383133 11126 1439 10 0 380436 0 [pid=4224/tid=4225] ppid=4222 vsize=1532532 CPUtime=3 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 7857 0 1 0 299 1 0 0 25 0 19 0 773003 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4109498342 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4224/tid=4227] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 60 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1532532 CPUtime=0.06 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 653 0 0 0 6 0 0 0 15 0 19 0 773005 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1532532 CPUtime=0.24 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 664 0 0 0 24 0 0 0 15 0 19 0 773007 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1532532 CPUtime=0.26 /proc/4224/task/4240/stat : 4240 (java) S 4222 4224 3902 0 -1 4202560 1353 0 0 0 26 0 0 0 15 0 19 0 773007 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 773007 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 6 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1569312768 11126 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 1532532 [startup+6.30083 s] /proc/loadavg: 1.92 1.95 1.71 3/219 4243 /proc/meminfo: memFree=32371032/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1532532 CPUtime=6.81 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 12420 0 1 0 679 2 0 0 21 0 19 0 773003 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 383133 11253 1439 10 0 380436 0 [pid=4224/tid=4225] ppid=4222 vsize=1532532 CPUtime=6.11 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 7866 0 1 0 610 1 0 0 25 0 19 0 773003 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4109396404 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4224/tid=4227] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 773004 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1532532 CPUtime=0.13 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 733 0 0 0 13 0 0 0 15 0 19 0 773005 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1532532 CPUtime=0.24 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 664 0 0 0 24 0 0 0 15 0 19 0 773007 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1532532 CPUtime=0.27 /proc/4224/task/4240/stat : 4240 (java) S 4222 4224 3902 0 -1 4202560 1364 0 0 0 27 0 0 0 15 0 19 0 773007 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 773007 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 6 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1532532 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1569312768 11253 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 6.81 Current children cumulated vsize (KiB) 1532532 ################ # More data... # ################ /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 210 0 0 0 2 0 0 0 15 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1534092 CPUtime=0.01 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 177 0 0 0 1 0 0 0 16 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1534092 CPUtime=0.02 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 21 0 0 0 2 0 0 0 15 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1534092 CPUtime=0.01 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1534092 CPUtime=0.02 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 39 0 0 0 2 0 0 0 16 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1534092 CPUtime=0.02 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 64 0 0 0 2 0 0 0 15 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1534092 CPUtime=0.01 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 95 0 0 0 1 0 0 0 16 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1534092 CPUtime=0.01 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 123 0 0 0 1 0 0 0 15 0 19 0 773004 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1534092 CPUtime=0.88 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 1097 0 0 0 87 1 0 0 15 0 19 0 773005 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1534092 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1534092 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1534092 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1534092 CPUtime=0.25 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 664 0 0 0 25 0 0 0 15 0 19 0 773007 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1534092 CPUtime=0.31 /proc/4224/task/4240/stat : 4240 (java) S 4222 4224 3902 0 -1 4202560 1690 0 0 0 31 0 0 0 15 0 19 0 773007 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1534092 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1534092 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 773007 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1534092 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1570910208 11788 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 38.93 Current children cumulated vsize (KiB) 1534092 [startup+39.101 s] /proc/loadavg: 1.95 1.95 1.72 3/219 4290 /proc/meminfo: memFree=32374720/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1542404 CPUtime=39.87 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 15619 0 1 0 3980 7 0 0 21 0 19 0 773003 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 385601 13641 1439 10 0 382904 0 [pid=4224/tid=4225] ppid=4222 vsize=1542404 CPUtime=38.04 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 7942 0 1 0 3802 2 0 0 25 0 19 0 773003 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4109439293 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4224/tid=4227] ppid=4222 vsize=1542404 CPUtime=0.02 /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 210 0 0 0 2 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1542404 CPUtime=0.01 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 177 0 0 0 1 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1542404 CPUtime=0.02 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 22 0 0 0 2 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1542404 CPUtime=0.01 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1542404 CPUtime=0.02 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 39 0 0 0 2 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1542404 CPUtime=0.02 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 64 0 0 0 2 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1542404 CPUtime=0.01 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 95 0 0 0 1 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1542404 CPUtime=0.02 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 123 0 0 0 2 0 0 0 15 0 19 0 773004 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1542404 CPUtime=0.9 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 1097 0 0 0 89 1 0 0 15 0 19 0 773005 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1542404 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1542404 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1542404 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1542404 CPUtime=0.25 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 665 0 0 0 25 0 0 0 15 0 19 0 773007 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1542404 CPUtime=0.45 /proc/4224/task/4240/stat : 4240 (java) R 4222 4224 3902 0 -1 4202560 4099 0 0 0 45 0 0 0 16 0 19 0 773007 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 104163840 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1542404 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1542404 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 773007 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1542404 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1579421696 13641 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 39.87 Current children cumulated vsize (KiB) 1542404 [startup+39.5009 s] /proc/loadavg: 1.96 1.96 1.72 3/219 4290 /proc/meminfo: memFree=32366972/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1541260 CPUtime=40.33 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 16250 0 1 0 4026 7 0 0 21 0 19 0 773003 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 385315 13727 1439 10 0 382618 0 [pid=4224/tid=4225] ppid=4222 vsize=1541260 CPUtime=38.45 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 7942 0 1 0 3843 2 0 0 25 0 19 0 773003 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4109622911 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4224/tid=4227] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 210 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1541260 CPUtime=0.01 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 177 0 0 0 1 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 22 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1541260 CPUtime=0.01 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 39 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 64 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1541260 CPUtime=0.01 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 95 0 0 0 1 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 123 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1541260 CPUtime=0.9 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 1097 0 0 0 89 1 0 0 15 0 19 0 773005 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1541260 CPUtime=0.25 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 665 0 0 0 25 0 0 0 15 0 19 0 773007 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1541260 CPUtime=0.51 /proc/4224/task/4240/stat : 4240 (java) S 4222 4224 3902 0 -1 4202560 4730 0 0 0 51 0 0 0 16 0 19 0 773007 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 773007 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1578250240 13727 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 40.33 Current children cumulated vsize (KiB) 1541260 [startup+39.7009 s] /proc/loadavg: 1.96 1.96 1.72 3/219 4290 /proc/meminfo: memFree=32366972/32951124 swapFree=67111528/67111528 [pid=4224] ppid=4222 vsize=1541260 CPUtime=40.55 /proc/4224/stat : 4224 (java) S 4222 4224 3902 0 -1 4202496 16266 0 1 0 4048 7 0 0 21 0 19 0 773003 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/4224/statm: 385315 13742 1439 10 0 382618 0 [pid=4224/tid=4225] ppid=4222 vsize=1541260 CPUtime=38.63 /proc/4224/task/4225/stat : 4225 (java) R 4222 4224 3902 0 -1 4202560 7944 0 1 0 3861 2 0 0 25 0 19 0 773003 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4109622893 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4224/tid=4227] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4227/stat : 4227 (java) S 4222 4224 3902 0 -1 4202560 210 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4228] ppid=4222 vsize=1541260 CPUtime=0.01 /proc/4224/task/4228/stat : 4228 (java) S 4222 4224 3902 0 -1 4202560 177 0 0 0 1 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4229] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4229/stat : 4229 (java) S 4222 4224 3902 0 -1 4202560 22 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4230] ppid=4222 vsize=1541260 CPUtime=0.01 /proc/4224/task/4230/stat : 4230 (java) S 4222 4224 3902 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4231] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4231/stat : 4231 (java) S 4222 4224 3902 0 -1 4202560 39 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4232] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4232/stat : 4232 (java) S 4222 4224 3902 0 -1 4202560 64 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4233] ppid=4222 vsize=1541260 CPUtime=0.01 /proc/4224/task/4233/stat : 4233 (java) S 4222 4224 3902 0 -1 4202560 97 0 0 0 1 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 5 0 0 0 [pid=4224/tid=4234] ppid=4222 vsize=1541260 CPUtime=0.02 /proc/4224/task/4234/stat : 4234 (java) S 4222 4224 3902 0 -1 4202560 123 0 0 0 2 0 0 0 15 0 19 0 773004 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4235] ppid=4222 vsize=1541260 CPUtime=0.91 /proc/4224/task/4235/stat : 4235 (java) S 4222 4224 3902 0 -1 4202560 1109 0 0 0 90 1 0 0 15 0 19 0 773005 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 0 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4236] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4236/stat : 4236 (java) S 4222 4224 3902 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 773005 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 1 0 0 0 [pid=4224/tid=4237] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4237/stat : 4237 (java) S 4222 4224 3902 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 773005 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4238] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4238/stat : 4238 (java) S 4222 4224 3902 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 773007 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4239] ppid=4222 vsize=1541260 CPUtime=0.26 /proc/4224/task/4239/stat : 4239 (java) S 4222 4224 3902 0 -1 4202560 665 0 0 0 26 0 0 0 15 0 19 0 773007 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 0 0 0 0 [pid=4224/tid=4240] ppid=4222 vsize=1541260 CPUtime=0.53 /proc/4224/task/4240/stat : 4240 (java) S 4222 4224 3902 0 -1 4202560 4730 0 0 0 53 0 0 0 16 0 19 0 773007 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 [pid=4224/tid=4241] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4241/stat : 4241 (java) S 4222 4224 3902 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 773007 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 7 0 0 0 [pid=4224/tid=4242] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4242/stat : 4242 (java) S 4222 4224 3902 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 773007 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 4 0 0 0 [pid=4224/tid=4243] ppid=4222 vsize=1541260 CPUtime=0 /proc/4224/task/4243/stat : 4243 (java) S 4222 4224 3902 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 773019 1578250240 13742 4089446400 134512640 134550932 4291754240 18446744073709551615 4294960144 0 4 0 16800975 18446604471131614080 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 40.55 Current children cumulated vsize (KiB) 1541260 Child status: 30 Real time (s): 39.7313 CPU time (s): 40.5788 CPU user time (s): 40.5008 CPU system time (s): 0.077988 CPU usage (%): 102.133 Max. virtual memory (cumulated for all children) (KiB): 1542404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.5008 system time used= 0.077988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16281 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= 3088 involuntary context switches= 13481 runsolver used 0.065989 second user time and 0.166974 second system time The end
Begin job on node132 at 2010-07-05 12:26:37 IDJOB=2698478 IDBENCH=78838 IDSOLVER=1211 FILE ID=node132/2698478-1278325597 PBS_JOBID= 11207434 Free space on /tmp= 74188 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222539--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-2698478-1278325597/watcher-2698478-1278325597 -o /tmp/evaluation-result-2698478-1278325597/solver-2698478-1278325597 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698478-1278325597.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 477adc333907175569d22a28ba04c3fe RANDOM SEED=518910962 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.830 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.66 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.830 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.83 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.830 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.75 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.830 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.82 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.830 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.82 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.830 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.830 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.74 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.830 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: 32418392 kB Buffers: 18076 kB Cached: 320468 kB SwapCached: 0 kB Active: 174316 kB Inactive: 257332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32418392 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 808 kB Writeback: 0 kB AnonPages: 93344 kB Mapped: 20332 kB Slab: 36496 kB PageTables: 5588 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1638404 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= 74188 MiB End job on node132 at 2010-07-05 12:27:17