Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 79.6459 | 77.6985 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo |
MD5SUM | bf9471406d44094ab08e66793b6b5d92 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.470927 |
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 | 101 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1243 |
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.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.08 c version 2.2.1.v20100705 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.08 c java.vm.version 11.2-b01 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 32 0.04/0.08 c java.version 1.6.0_12 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.18-164.el5 0.04/0.08 c os.arch i386 0.04/0.08 c Free memory 1393557488 0.04/0.08 c Max memory 1395916800 0.04/0.08 c Total memory 1395916800 0.04/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c Stops conflict analysis at the first Unique Implication Point 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c Expensive reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-2698653-1278327372.wbo 0.10/0.10 c reading problem ... 0.10/0.15 c ... done. Wall clock time 0.054s. 0.10/0.15 c #vars 270 0.10/0.15 c #constraints 101 0.10/0.15 c constraints type 0.10/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.10/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.30/0.23 c SATISFIABLE 0.30/0.23 c OPTIMIZING... 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.129 0.30/0.23 o 809 0.30/0.29 c Got one! Elapsed wall clock time (in seconds):0.191 0.30/0.29 o 731 0.60/0.32 c Got one! Elapsed wall clock time (in seconds):0.224 0.60/0.32 o 588 0.60/0.34 c Got one! Elapsed wall clock time (in seconds):0.245 0.60/0.34 o 587 0.60/0.37 c Got one! Elapsed wall clock time (in seconds):0.273 0.60/0.37 o 554 0.80/0.40 c Got one! Elapsed wall clock time (in seconds):0.297 0.80/0.40 o 546 0.80/0.42 c Got one! Elapsed wall clock time (in seconds):0.316 0.80/0.42 o 531 0.80/0.44 c Got one! Elapsed wall clock time (in seconds):0.342 0.80/0.44 o 333 0.94/0.58 c Got one! Elapsed wall clock time (in seconds):0.483 0.94/0.58 o 327 1.06/0.63 c cleaning 2498 clauses out of 5000 with flag 5000/5000 1.06/0.66 c Got one! Elapsed wall clock time (in seconds):0.562 1.06/0.66 o 312 1.38/0.96 c cleaning 4247 clauses out of 8504 with flag 11002/11002 1.62/1.14 c Got one! Elapsed wall clock time (in seconds):1.038 1.62/1.14 o 297 1.71/1.22 c Got one! Elapsed wall clock time (in seconds):1.125 1.71/1.22 o 296 1.81/1.36 c cleaning 5626 clauses out of 11255 with flag 18000/18000 1.92/1.42 c Got one! Elapsed wall clock time (in seconds):1.322 1.92/1.42 o 293 2.02/1.57 c Got one! Elapsed wall clock time (in seconds):1.466 2.02/1.57 o 250 2.33/1.85 c cleaning 6811 clauses out of 13629 with flag 26000/26000 2.84/2.35 c cleaning 7899 clauses out of 15818 with flag 35000/35000 3.14/2.68 c Got one! Elapsed wall clock time (in seconds):2.585 3.14/2.68 o 246 3.45/2.96 c cleaning 8955 clauses out of 17921 with flag 45002/45002 3.66/3.19 c Got one! Elapsed wall clock time (in seconds):3.086 3.66/3.19 o 240 4.16/3.61 c cleaning 9472 clauses out of 18964 with flag 55000/55000 4.78/4.21 c cleaning 9738 clauses out of 19492 with flag 65000/65000 5.18/4.62 c Got one! Elapsed wall clock time (in seconds):4.521 5.18/4.62 o 236 5.52/4.92 c cleaning 9875 clauses out of 19755 with flag 75001/75001 6.22/5.67 c cleaning 9934 clauses out of 19881 with flag 85002/85002 6.92/6.30 c cleaning 9967 clauses out of 19946 with flag 95001/95001 7.52/6.90 c cleaning 9981 clauses out of 19978 with flag 105000/105000 7.63/7.03 c Got one! Elapsed wall clock time (in seconds):6.934 7.63/7.03 o 231 8.15/7.52 c cleaning 9994 clauses out of 19998 with flag 115001/115001 8.45/7.81 c Got one! Elapsed wall clock time (in seconds):7.712 8.45/7.81 o 226 8.75/8.19 c cleaning 9997 clauses out of 20005 with flag 125002/125002 9.46/8.82 c cleaning 9999 clauses out of 20006 with flag 135000/135000 10.06/9.44 c cleaning 9996 clauses out of 20007 with flag 145000/145000 10.16/9.59 c Got one! Elapsed wall clock time (in seconds):9.486 10.16/9.59 o 225 10.66/10.05 c cleaning 9991 clauses out of 20013 with flag 155002/155002 10.66/10.08 c Got one! Elapsed wall clock time (in seconds):9.981 10.66/10.08 o 214 11.27/10.65 c cleaning 10005 clauses out of 20021 with flag 165001/165001 11.98/11.35 c cleaning 9995 clauses out of 20015 with flag 175000/175000 12.58/11.97 c cleaning 10004 clauses out of 20021 with flag 185001/185001 12.69/12.08 c Got one! Elapsed wall clock time (in seconds):11.982 12.69/12.08 o 210 13.55/12.59 c cleaning 10000 clauses out of 20016 with flag 195000/195000 14.25/13.23 c cleaning 10004 clauses out of 20016 with flag 205000/205000 14.85/13.83 c cleaning 9992 clauses out of 20013 with flag 215001/215001 15.46/14.43 c cleaning 10004 clauses out of 20020 with flag 225000/225000 15.96/14.95 c Got one! Elapsed wall clock time (in seconds):14.848 15.96/14.95 o 208 16.06/15.03 c cleaning 10001 clauses out of 20016 with flag 235000/235000 16.66/15.66 c cleaning 10004 clauses out of 20015 with flag 245000/245000 16.77/15.79 c Got one! Elapsed wall clock time (in seconds):15.694 16.77/15.79 o 203 17.37/16.31 c cleaning 10001 clauses out of 20012 with flag 255001/255001 17.98/16.98 c cleaning 10002 clauses out of 20010 with flag 265000/265000 18.28/17.29 c Got one! Elapsed wall clock time (in seconds):17.19 18.28/17.29 o 198 18.73/17.65 c cleaning 9996 clauses out of 20008 with flag 275000/275000 19.32/18.29 c cleaning 9996 clauses out of 20012 with flag 285000/285000 20.02/18.91 c cleaning 10000 clauses out of 20016 with flag 295000/295000 20.63/19.52 c cleaning 10006 clauses out of 20019 with flag 305003/305003 21.24/20.12 c cleaning 9997 clauses out of 20010 with flag 315000/315000 21.84/20.80 c cleaning 9993 clauses out of 20015 with flag 325002/325002 22.44/21.39 c Got one! Elapsed wall clock time (in seconds):21.286 22.44/21.39 o 186 22.54/21.48 c cleaning 10008 clauses out of 20021 with flag 335001/335001 23.24/22.11 c cleaning 10002 clauses out of 20012 with flag 345000/345000 23.84/22.73 c cleaning 9995 clauses out of 20010 with flag 355000/355000 24.54/23.41 c cleaning 10002 clauses out of 20015 with flag 365000/365000 25.15/24.03 c cleaning 10000 clauses out of 20013 with flag 375000/375000 25.75/24.65 c cleaning 10002 clauses out of 20013 with flag 385000/385000 26.35/25.29 c cleaning 9997 clauses out of 20012 with flag 395001/395001 26.65/25.59 c Got one! Elapsed wall clock time (in seconds):25.493 26.65/25.59 o 155 26.95/25.89 c cleaning 10003 clauses out of 20016 with flag 405002/405002 27.66/26.51 c cleaning 9999 clauses out of 20011 with flag 415000/415000 28.26/27.16 c cleaning 10004 clauses out of 20013 with flag 425001/425001 28.87/27.78 c cleaning 10000 clauses out of 20008 with flag 435000/435000 29.47/28.37 c cleaning 10002 clauses out of 20009 with flag 445001/445001 29.57/28.40 c Got one! Elapsed wall clock time (in seconds):28.303 29.57/28.40 o 154 30.07/28.96 c cleaning 9996 clauses out of 20007 with flag 455001/455001 30.68/29.53 c cleaning 9997 clauses out of 20010 with flag 465000/465000 31.30/30.17 c cleaning 9997 clauses out of 20013 with flag 475000/475000 31.70/30.53 c Got one! Elapsed wall clock time (in seconds):30.43 31.70/30.53 o 146 31.91/30.75 c cleaning 10004 clauses out of 20017 with flag 485001/485001 32.51/31.37 c cleaning 10003 clauses out of 20016 with flag 495004/495004 32.61/31.42 c Got one! Elapsed wall clock time (in seconds):31.322 32.61/31.42 o 135 33.11/31.99 c cleaning 9999 clauses out of 20009 with flag 505000/505000 33.81/32.68 c cleaning 10000 clauses out of 20010 with flag 515000/515000 34.62/33.46 c cleaning 10002 clauses out of 20015 with flag 525005/525005 35.02/33.89 c Got one! Elapsed wall clock time (in seconds):33.792 35.02/33.89 o 111 35.33/34.11 c cleaning 10000 clauses out of 20009 with flag 535001/535001 35.93/34.71 c cleaning 10001 clauses out of 20010 with flag 545002/545002 36.53/35.38 c cleaning 9999 clauses out of 20007 with flag 555000/555000 37.13/35.99 c cleaning 10002 clauses out of 20012 with flag 565004/565004 37.82/36.41 c Got one! Elapsed wall clock time (in seconds):36.31 37.82/36.41 o 110 38.08/36.65 c cleaning 9995 clauses out of 20006 with flag 575000/575000 38.86/37.30 c cleaning 10001 clauses out of 20016 with flag 585005/585005 39.56/38.00 c cleaning 10000 clauses out of 20013 with flag 595003/595003 40.25/38.65 c cleaning 10000 clauses out of 20010 with flag 605000/605000 40.85/39.28 c cleaning 10002 clauses out of 20011 with flag 615001/615001 41.56/39.93 c cleaning 9998 clauses out of 20008 with flag 625000/625000 42.27/40.61 c cleaning 10000 clauses out of 20012 with flag 635002/635002 42.90/41.28 c cleaning 10003 clauses out of 20011 with flag 645001/645001 43.61/41.98 c cleaning 9997 clauses out of 20007 with flag 655000/655000 44.42/42.70 c cleaning 9997 clauses out of 20011 with flag 665001/665001 45.02/43.34 c cleaning 9997 clauses out of 20013 with flag 675000/675000 45.42/43.77 c Got one! Elapsed wall clock time (in seconds):43.673 45.42/43.77 o 96 45.52/43.80 c Got one! Elapsed wall clock time (in seconds):43.701 45.52/43.80 o 86 45.64/43.95 c cleaning 10000 clauses out of 20016 with flag 685000/685000 46.24/44.54 c cleaning 10003 clauses out of 20017 with flag 695001/695001 46.85/45.14 c cleaning 9999 clauses out of 20015 with flag 705002/705002 47.45/45.77 c cleaning 10004 clauses out of 20014 with flag 715000/715000 48.05/46.38 c cleaning 10001 clauses out of 20010 with flag 725000/725000 48.55/46.87 c Got one! Elapsed wall clock time (in seconds):46.766 48.55/46.87 o 76 48.75/47.02 c cleaning 10001 clauses out of 20012 with flag 735003/735003 49.26/47.57 c cleaning 10000 clauses out of 20009 with flag 745001/745001 49.86/48.10 c cleaning 9996 clauses out of 20008 with flag 755000/755000 50.46/48.71 c cleaning 9996 clauses out of 20014 with flag 765002/765002 50.96/49.26 c cleaning 9999 clauses out of 20016 with flag 775000/775000 51.57/49.81 c cleaning 10002 clauses out of 20018 with flag 785001/785001 52.17/50.43 c cleaning 10007 clauses out of 20017 with flag 795002/795002 52.77/51.01 c cleaning 9995 clauses out of 20008 with flag 805000/805000 53.27/51.55 c cleaning 10000 clauses out of 20014 with flag 815001/815001 53.88/52.16 c cleaning 10000 clauses out of 20014 with flag 825001/825001 54.08/52.33 c Got one! Elapsed wall clock time (in seconds):52.234 54.08/52.33 o 72 54.48/52.72 c cleaning 10003 clauses out of 20016 with flag 835003/835003 55.08/53.31 c cleaning 10001 clauses out of 20011 with flag 845001/845001 55.60/53.90 c cleaning 9998 clauses out of 20010 with flag 855001/855001 56.20/54.47 c cleaning 10002 clauses out of 20014 with flag 865003/865003 56.81/55.02 c cleaning 10002 clauses out of 20010 with flag 875001/875001 57.41/55.61 c cleaning 9999 clauses out of 20008 with flag 885001/885001 57.92/56.15 c cleaning 10001 clauses out of 20009 with flag 895001/895001 58.42/56.69 c cleaning 9992 clauses out of 20009 with flag 905002/905002 58.52/56.72 c Got one! Elapsed wall clock time (in seconds):56.624 58.52/56.72 o 66 59.03/57.24 c cleaning 10003 clauses out of 20015 with flag 915000/915000 59.63/57.84 c cleaning 10003 clauses out of 20014 with flag 925002/925002 60.14/58.39 c cleaning 10001 clauses out of 20010 with flag 935001/935001 60.73/58.90 c cleaning 10000 clauses out of 20009 with flag 945001/945001 61.24/59.48 c cleaning 10001 clauses out of 20010 with flag 955002/955002 61.84/60.04 c cleaning 9998 clauses out of 20007 with flag 965000/965000 62.44/60.62 c cleaning 10002 clauses out of 20011 with flag 975002/975002 62.94/61.13 c cleaning 9998 clauses out of 20007 with flag 985000/985000 63.45/61.64 c cleaning 10000 clauses out of 20010 with flag 995001/995001 63.95/62.11 c cleaning 10002 clauses out of 20010 with flag 1005001/1005001 63.95/62.15 c Got one! Elapsed wall clock time (in seconds):62.053 63.95/62.15 o 59 64.06/62.27 c Got one! Elapsed wall clock time (in seconds):62.167 64.06/62.27 o 57 64.46/62.65 c cleaning 9997 clauses out of 20009 with flag 1015002/1015002 65.06/63.24 c cleaning 10002 clauses out of 20012 with flag 1025002/1025002 65.36/63.59 c Got one! Elapsed wall clock time (in seconds):63.493 65.36/63.59 o 54 65.56/63.77 c cleaning 10001 clauses out of 20008 with flag 1035000/1035000 66.16/64.33 c cleaning 10001 clauses out of 20009 with flag 1045002/1045002 66.68/64.86 c cleaning 9999 clauses out of 20010 with flag 1055004/1055004 67.17/65.36 c cleaning 10000 clauses out of 20007 with flag 1065000/1065000 67.79/65.92 c cleaning 10000 clauses out of 20007 with flag 1075000/1075000 68.29/66.46 c cleaning 10002 clauses out of 20009 with flag 1085002/1085002 68.89/67.01 c cleaning 9998 clauses out of 20006 with flag 1095001/1095001 69.39/67.55 c cleaning 10002 clauses out of 20011 with flag 1105004/1105004 69.70/67.84 c Got one! Elapsed wall clock time (in seconds):67.736 69.70/67.84 o 29 69.90/68.08 c cleaning 10000 clauses out of 20006 with flag 1115001/1115001 70.50/68.60 c cleaning 9998 clauses out of 20006 with flag 1125001/1125001 71.00/69.10 c cleaning 10000 clauses out of 20008 with flag 1135001/1135001 71.41/69.57 c cleaning 9999 clauses out of 20007 with flag 1145000/1145000 71.91/70.06 c cleaning 9998 clauses out of 20008 with flag 1155000/1155000 72.01/70.12 c Got one! Elapsed wall clock time (in seconds):70.018 72.01/70.12 o 22 72.41/70.58 c cleaning 9996 clauses out of 20010 with flag 1165000/1165000 73.01/71.15 c cleaning 10004 clauses out of 20014 with flag 1175000/1175000 73.52/71.69 c cleaning 10000 clauses out of 20012 with flag 1185002/1185002 74.01/72.18 c cleaning 10000 clauses out of 20010 with flag 1195000/1195000 74.52/72.66 c cleaning 10002 clauses out of 20011 with flag 1205001/1205001 75.02/73.18 c cleaning 10002 clauses out of 20010 with flag 1215002/1215002 75.53/73.68 c cleaning 9997 clauses out of 20010 with flag 1225004/1225004 76.02/74.17 c cleaning 9998 clauses out of 20009 with flag 1235000/1235000 76.53/74.61 c cleaning 9998 clauses out of 20012 with flag 1245001/1245001 76.83/74.99 c Got one! Elapsed wall clock time (in seconds):74.889 76.83/74.99 o 1 76.93/75.08 c cleaning 10003 clauses out of 20014 with flag 1255001/1255001 77.44/75.51 c cleaning 10000 clauses out of 20012 with flag 1265002/1265002 77.84/75.95 c cleaning 10001 clauses out of 20011 with flag 1275001/1275001 78.24/76.37 c cleaning 10001 clauses out of 20010 with flag 1285001/1285001 78.75/76.82 c cleaning 10001 clauses out of 20009 with flag 1295001/1295001 79.15/77.26 c cleaning 10001 clauses out of 20008 with flag 1305001/1305001 79.55/77.67 c starts : 232 79.55/77.67 c conflicts : 1314794 79.55/77.67 c decisions : 2136733 79.55/77.67 c propagations : 37423446 79.55/77.67 c inspects : 363457377 79.55/77.67 c learnt literals : 7 79.55/77.67 c learnt binary clauses : 71 79.55/77.67 c learnt ternary clauses : 619 79.55/77.67 c learnt clauses : 1314786 79.55/77.67 c ignored clauses : 0 79.55/77.67 c root simplifications : 0 79.55/77.67 c removed literals (reason simplification) : 7120353 79.55/77.67 c reason swapping (by a shorter reason) : 0 79.55/77.67 c Calls to reduceDB : 132 79.55/77.67 c number of reductions to clauses (during analyze) : 0 79.55/77.67 c number of learned constraints concerned by reduction : 0 79.55/77.67 c number of learning phase by resolution : 0 79.55/77.67 c number of learning phase by cutting planes : 0 79.55/77.67 c speed (assignments/second) : 1.3937968715083798E7 79.55/77.67 c non guided choices 2634 79.55/77.67 c learnt constraints type 79.55/77.67 c constraints type 79.55/77.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 79.55/77.67 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 79.55/77.67 s OPTIMUM FOUND 79.55/77.68 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 79.55/77.68 c objective function=1 79.55/77.68 c Total wall clock time (in seconds): 77.576
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698653-1278327372/watcher-2698653-1278327372 -o /tmp/evaluation-result-2698653-1278327372/solver-2698653-1278327372 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698653-1278327372.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.07 2.03 1.93 3/196 4432 /proc/meminfo: memFree=31886280/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1832 CPUtime=0 /proc/4432/stat : 4432 (java6) S 4430 4432 3834 0 -1 4194304 252 0 0 0 0 0 0 0 25 0 1 0 949583 1875968 153 4089446400 134512640 134550932 4287406272 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699207358 0 0 17 5 0 0 0 /proc/4432/statm: 458 153 116 10 0 63 0 [startup+0.0659901 s] /proc/loadavg: 2.07 2.03 1.93 3/196 4432 /proc/meminfo: memFree=31886280/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1528568 CPUtime=0.04 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 4172 0 1 0 4 0 0 0 25 0 18 0 949583 1565253632 3610 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 382142 3611 1081 10 0 379445 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1528568 [startup+0.101006 s] /proc/loadavg: 2.07 2.03 1.93 3/196 4432 /proc/meminfo: memFree=31886280/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1529716 CPUtime=0.1 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 5173 0 1 0 10 0 0 0 25 0 18 0 949583 1566429184 4605 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 382429 4606 1345 10 0 379732 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529716 [startup+0.300949 s] /proc/loadavg: 2.07 2.03 1.93 3/196 4432 /proc/meminfo: memFree=31886280/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1534136 CPUtime=0.6 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 7063 0 1 0 59 1 0 0 25 0 19 0 949583 1570955264 6284 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 383534 6284 1418 10 0 380837 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1534136 [startup+0.700889 s] /proc/loadavg: 2.07 2.03 1.93 3/196 4432 /proc/meminfo: memFree=31886280/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1534136 CPUtime=1.18 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 10232 0 1 0 117 1 0 0 25 0 19 0 949583 1570955264 9452 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 383534 9452 1439 10 0 380837 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 1534136 [startup+1.50069 s] /proc/loadavg: 2.07 2.03 1.93 3/215 4451 /proc/meminfo: memFree=31853448/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1534136 CPUtime=2.02 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 11406 0 1 0 200 2 0 0 25 0 19 0 949583 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 383534 10624 1439 10 0 380837 0 [pid=4432/tid=4434] ppid=4430 vsize=1534136 CPUtime=1.44 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 7366 0 1 0 143 1 0 0 25 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4109102723 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1534136 CPUtime=0.02 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 443 0 0 0 2 0 0 0 16 0 19 0 949585 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 4 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1534136 CPUtime=0.27 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 875 0 0 0 27 0 0 0 15 0 19 0 949588 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1534136 CPUtime=0.26 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 1022 0 0 0 26 0 0 0 15 0 19 0 949588 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949588 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1570955264 10624 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 1534136 [startup+3.10137 s] /proc/loadavg: 2.07 2.03 1.93 3/215 4451 /proc/meminfo: memFree=31849100/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1534136 CPUtime=3.66 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 13229 0 1 0 364 2 0 0 25 0 19 0 949583 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 383534 12444 1441 10 0 380837 0 [pid=4432/tid=4434] ppid=4430 vsize=1534136 CPUtime=3 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 8781 0 1 0 299 1 0 0 25 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4109065841 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 949584 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1534136 CPUtime=0.05 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 619 0 0 0 5 0 0 0 15 0 19 0 949585 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 4 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1534136 CPUtime=0.28 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 879 0 0 0 28 0 0 0 15 0 19 0 949588 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1534136 CPUtime=0.28 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 1031 0 0 0 28 0 0 0 15 0 19 0 949588 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949588 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1534136 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1570955264 12444 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 1534136 [startup+6.30071 s] /proc/loadavg: 2.07 2.03 1.93 3/215 4451 /proc/meminfo: memFree=31834580/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1533560 CPUtime=6.92 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 15046 0 1 0 689 3 0 0 25 0 19 0 949583 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 383390 14116 1441 10 0 380693 0 [pid=4432/tid=4434] ppid=4430 vsize=1533560 CPUtime=6.15 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 10246 0 1 0 613 2 0 0 25 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4109255871 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 330 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 949584 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1533560 CPUtime=0.09 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 776 0 0 0 9 0 0 0 15 0 19 0 949585 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 7 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1533560 CPUtime=0.28 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 879 0 0 0 28 0 0 0 15 0 19 0 949588 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1533560 CPUtime=0.33 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 1052 0 0 0 33 0 0 0 15 0 19 0 949588 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949588 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1533560 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1570365440 14116 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.92 Current children cumulated vsize (KiB) 1533560 [startup+12.7014 s] /proc/loadavg: 2.06 2.03 1.93 3/215 4451 /proc/meminfo: memFree=31834256/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1545240 CPUtime=13.75 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 20771 0 1 0 1371 4 0 0 25 0 19 0 949583 1582325760 17175 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 386310 17175 1442 10 0 383613 0 [pid=4432/tid=4434] ppid=4430 vsize=1545240 CPUtime=12.41 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 10257 0 1 0 1239 2 0 0 19 0 19 0 949584 1582325760 17175 4089446400 134512640 134550932 4291901344 18446744073709551615 4109101420 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1545240 CPUtime=0.01 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 298 0 0 0 1 0 0 0 15 0 19 0 949584 1582325760 17175 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 ################ # More data... # ################ /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 305 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 355 0 0 0 7 0 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 35 0 0 0 7 0 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 79 0 0 0 6 1 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 104 0 0 0 7 1 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 190 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1540484 CPUtime=0.05 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 32 0 0 0 5 0 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 4 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 7 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1540484 CPUtime=1.56 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 1409 0 0 0 154 2 0 0 16 0 19 0 949585 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 7 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1540484 CPUtime=0.77 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 4990 0 0 0 77 0 0 0 15 0 19 0 949588 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1540484 CPUtime=0.8 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 6575 0 0 0 79 1 0 0 15 0 19 0 949588 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949588 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1577455616 16878 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 78.65 Current children cumulated vsize (KiB) 1540484 [startup+77.1014 s] /proc/loadavg: 2.05 2.03 1.93 3/215 4453 /proc/meminfo: memFree=31823536/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1540484 CPUtime=79.05 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 25859 0 1 0 7893 12 0 0 25 0 19 0 949583 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 385121 16884 1444 10 0 382424 0 [pid=4432/tid=4434] ppid=4430 vsize=1540484 CPUtime=75.26 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 10610 0 1 0 7524 2 0 0 25 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4109068954 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 305 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 355 0 0 0 8 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 35 0 0 0 7 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 79 0 0 0 6 1 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 104 0 0 0 7 1 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 190 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1540484 CPUtime=0.05 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 32 0 0 0 5 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 4 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1540484 CPUtime=1.58 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 1415 0 0 0 156 2 0 0 16 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 7 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1540484 CPUtime=0.77 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 4990 0 0 0 77 0 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1540484 CPUtime=0.8 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 6575 0 0 0 79 1 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 79.05 Current children cumulated vsize (KiB) 1540484 [startup+77.5013 s] /proc/loadavg: 2.05 2.03 1.93 3/215 4453 /proc/meminfo: memFree=31823536/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1540484 CPUtime=79.45 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 25860 0 1 0 7933 12 0 0 25 0 19 0 949583 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 385121 16884 1444 10 0 382424 0 [pid=4432/tid=4434] ppid=4430 vsize=1540484 CPUtime=75.65 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 10611 0 1 0 7563 2 0 0 25 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4109039020 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 305 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 355 0 0 0 8 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 35 0 0 0 7 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 79 0 0 0 6 1 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 104 0 0 0 7 1 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 190 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1540484 CPUtime=0.05 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 32 0 0 0 5 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 4 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1540484 CPUtime=1.59 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 1415 0 0 0 157 2 0 0 16 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 7 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1540484 CPUtime=0.77 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 4990 0 0 0 77 0 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1540484 CPUtime=0.8 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 6575 0 0 0 79 1 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 79.45 Current children cumulated vsize (KiB) 1540484 [startup+77.6013 s] /proc/loadavg: 2.05 2.03 1.93 3/215 4453 /proc/meminfo: memFree=31823536/32951124 swapFree=67111528/67111528 [pid=4432] ppid=4430 vsize=1540484 CPUtime=79.55 /proc/4432/stat : 4432 (java) S 4430 4432 3834 0 -1 4202496 25860 0 1 0 7943 12 0 0 25 0 19 0 949583 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4432/statm: 385121 16884 1444 10 0 382424 0 [pid=4432/tid=4434] ppid=4430 vsize=1540484 CPUtime=75.75 /proc/4432/task/4434/stat : 4434 (java) R 4430 4432 3834 0 -1 4202560 10611 0 1 0 7573 2 0 0 25 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4109131723 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=4432/tid=4435] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4435/stat : 4435 (java) S 4430 4432 3834 0 -1 4202560 305 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4436] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4436/stat : 4436 (java) S 4430 4432 3834 0 -1 4202560 355 0 0 0 8 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 2 0 0 0 [pid=4432/tid=4437] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4437/stat : 4437 (java) S 4430 4432 3834 0 -1 4202560 35 0 0 0 7 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4438] ppid=4430 vsize=1540484 CPUtime=0.07 /proc/4432/task/4438/stat : 4438 (java) S 4430 4432 3834 0 -1 4202560 79 0 0 0 6 1 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4439] ppid=4430 vsize=1540484 CPUtime=0.08 /proc/4432/task/4439/stat : 4439 (java) S 4430 4432 3834 0 -1 4202560 104 0 0 0 7 1 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4440] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4440/stat : 4440 (java) S 4430 4432 3834 0 -1 4202560 190 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 5 0 0 0 [pid=4432/tid=4441] ppid=4430 vsize=1540484 CPUtime=0.05 /proc/4432/task/4441/stat : 4441 (java) S 4430 4432 3834 0 -1 4202560 32 0 0 0 5 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 4 0 0 0 [pid=4432/tid=4442] ppid=4430 vsize=1540484 CPUtime=0.06 /proc/4432/task/4442/stat : 4442 (java) S 4430 4432 3834 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 949584 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4443] ppid=4430 vsize=1540484 CPUtime=1.59 /proc/4432/task/4443/stat : 4443 (java) S 4430 4432 3834 0 -1 4202560 1415 0 0 0 157 2 0 0 16 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 0 0 16800975 18446604471136633280 0 0 -1 7 0 0 0 [pid=4432/tid=4444] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4444/stat : 4444 (java) S 4430 4432 3834 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4445] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4445/stat : 4445 (java) S 4430 4432 3834 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 949585 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 3 0 0 0 [pid=4432/tid=4446] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4446/stat : 4446 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4447] ppid=4430 vsize=1540484 CPUtime=0.77 /proc/4432/task/4447/stat : 4447 (java) S 4430 4432 3834 0 -1 4202560 4990 0 0 0 77 0 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4448] ppid=4430 vsize=1540484 CPUtime=0.8 /proc/4432/task/4448/stat : 4448 (java) S 4430 4432 3834 0 -1 4202560 6575 0 0 0 79 1 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 0 0 0 0 [pid=4432/tid=4449] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4449/stat : 4449 (java) S 4430 4432 3834 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4450] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4450/stat : 4450 (java) S 4430 4432 3834 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949588 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 1 0 0 0 [pid=4432/tid=4451] ppid=4430 vsize=1540484 CPUtime=0 /proc/4432/task/4451/stat : 4451 (java) S 4430 4432 3834 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949599 1577455616 16884 4089446400 134512640 134550932 4291901344 18446744073709551615 4294960144 0 4 0 16800975 18446604471136633280 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 79.55 Current children cumulated vsize (KiB) 1540484 Child status: 30 Real time (s): 77.6985 CPU time (s): 79.6459 CPU user time (s): 79.5179 CPU system time (s): 0.12798 CPU usage (%): 102.506 Max. virtual memory (cumulated for all children) (KiB): 1546332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 79.5179 system time used= 0.12798 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25873 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= 6033 involuntary context switches= 25467 runsolver used 0.136979 second user time and 0.303953 second system time The end
Begin job on node143 at 2010-07-05 12:56:12 IDJOB=2698653 IDBENCH=79213 IDSOLVER=1211 FILE ID=node143/2698653-1278327372 PBS_JOBID= 11207418 Free space on /tmp= 74196 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977273--soft-0-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-2698653-1278327372/watcher-2698653-1278327372 -o /tmp/evaluation-result-2698653-1278327372/solver-2698653-1278327372 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698653-1278327372.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bf9471406d44094ab08e66793b6b5d92 RANDOM SEED=535971189 node143.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.829 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.65 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.829 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.829 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.829 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.72 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.829 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 : 5338.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.829 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.829 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.829 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31886420 kB Buffers: 25636 kB Cached: 337388 kB SwapCached: 0 kB Active: 689532 kB Inactive: 273412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31886420 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 480 kB Writeback: 0 kB AnonPages: 600288 kB Mapped: 20548 kB Slab: 36280 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1648568 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74196 MiB End job on node143 at 2010-07-05 12:57:30