Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 76.1674 | 74.8164 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976730--soft-0-100-0.wbo |
MD5SUM | 757f0ee369969ddf8bfd897da7532965 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.209968 |
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 | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1183 |
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.00/0.08 c version 2.2.1.v20100705 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.08 c java.vm.version 11.2-b01 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 32 0.00/0.08 c java.version 1.6.0_12 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch i386 0.00/0.08 c Free memory 1393557488 0.00/0.08 c Max memory 1395916800 0.00/0.08 c Total memory 1395916800 0.00/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@15a3d6b 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-2698639-1278327353.wbo 0.10/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.055s. 0.11/0.15 c #vars 270 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 => 30 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.30/0.22 c SATISFIABLE 0.30/0.22 c OPTIMIZING... 0.30/0.22 c Got one! Elapsed wall clock time (in seconds):0.13 0.30/0.22 o 652 0.30/0.30 c Got one! Elapsed wall clock time (in seconds):0.201 0.30/0.30 o 633 0.60/0.31 c Got one! Elapsed wall clock time (in seconds):0.219 0.60/0.31 o 532 0.60/0.34 c Got one! Elapsed wall clock time (in seconds):0.25 0.60/0.34 o 531 0.60/0.37 c Got one! Elapsed wall clock time (in seconds):0.27 0.60/0.37 o 420 0.77/0.46 c Got one! Elapsed wall clock time (in seconds):0.369 0.77/0.46 o 403 0.92/0.52 c Got one! Elapsed wall clock time (in seconds):0.424 0.92/0.52 o 402 0.92/0.57 c Got one! Elapsed wall clock time (in seconds):0.471 0.92/0.57 o 398 0.92/0.58 c Got one! Elapsed wall clock time (in seconds):0.487 0.92/0.58 o 392 1.05/0.62 c Got one! Elapsed wall clock time (in seconds):0.53 1.05/0.62 o 391 1.17/0.70 c cleaning 2496 clauses out of 5002 with flag 5002/5002 1.17/0.78 c Got one! Elapsed wall clock time (in seconds):0.683 1.17/0.78 o 379 1.17/0.79 c Got one! Elapsed wall clock time (in seconds):0.7 1.17/0.79 o 286 1.27/0.82 c Got one! Elapsed wall clock time (in seconds):0.728 1.27/0.82 o 285 1.27/0.89 c Got one! Elapsed wall clock time (in seconds):0.794 1.27/0.89 o 278 1.38/0.95 c Got one! Elapsed wall clock time (in seconds):0.857 1.38/0.95 o 246 1.61/1.11 c cleaning 4250 clauses out of 8504 with flag 11000/11000 1.61/1.13 c Got one! Elapsed wall clock time (in seconds):1.036 1.61/1.13 o 232 2.01/1.54 c cleaning 5622 clauses out of 11258 with flag 18004/18004 2.11/1.69 c Got one! Elapsed wall clock time (in seconds):1.594 2.11/1.69 o 227 2.54/2.05 c cleaning 6812 clauses out of 13632 with flag 26000/26000 3.16/2.61 c Got one! Elapsed wall clock time (in seconds):2.513 3.16/2.61 o 217 3.16/2.64 c cleaning 7909 clauses out of 15822 with flag 35002/35002 3.16/2.69 c Got one! Elapsed wall clock time (in seconds):2.6 3.16/2.69 o 213 3.78/3.29 c Got one! Elapsed wall clock time (in seconds):3.191 3.78/3.29 o 201 3.88/3.32 c cleaning 8952 clauses out of 17912 with flag 45001/45001 4.18/3.67 c Got one! Elapsed wall clock time (in seconds):3.579 4.18/3.67 o 199 4.48/3.99 c cleaning 9477 clauses out of 18959 with flag 55000/55000 5.16/4.70 c cleaning 9733 clauses out of 19483 with flag 65001/65001 5.96/5.44 c cleaning 9866 clauses out of 19750 with flag 75001/75001 6.65/6.13 c cleaning 9934 clauses out of 19883 with flag 85000/85000 7.25/6.77 c cleaning 9970 clauses out of 19949 with flag 95000/95000 7.75/7.27 c Got one! Elapsed wall clock time (in seconds):7.175 7.75/7.27 o 167 7.96/7.43 c cleaning 9988 clauses out of 19980 with flag 105001/105001 8.36/7.88 c Got one! Elapsed wall clock time (in seconds):7.787 8.36/7.88 o 152 8.66/8.16 c cleaning 9991 clauses out of 19991 with flag 115000/115000 9.46/8.91 c cleaning 9995 clauses out of 20000 with flag 125000/125000 10.07/9.51 c cleaning 9999 clauses out of 20006 with flag 135001/135001 10.67/10.13 c cleaning 9997 clauses out of 20006 with flag 145000/145000 11.27/10.79 c cleaning 9995 clauses out of 20009 with flag 155000/155000 11.97/11.48 c cleaning 10002 clauses out of 20014 with flag 165000/165000 12.78/12.23 c cleaning 10004 clauses out of 20014 with flag 175002/175002 13.48/12.94 c cleaning 10003 clauses out of 20009 with flag 185001/185001 14.08/13.54 c cleaning 9999 clauses out of 20005 with flag 195000/195000 14.58/14.09 c Got one! Elapsed wall clock time (in seconds):13.996 14.58/14.09 o 147 14.69/14.16 c cleaning 10002 clauses out of 20008 with flag 205002/205002 15.37/14.77 c Got one! Elapsed wall clock time (in seconds):14.674 15.37/14.77 o 146 15.47/14.81 c cleaning 10000 clauses out of 20005 with flag 215001/215001 16.08/15.46 c cleaning 9998 clauses out of 20004 with flag 225000/225000 16.77/16.13 c cleaning 9993 clauses out of 20006 with flag 235000/235000 16.77/16.19 c Got one! Elapsed wall clock time (in seconds):16.093 16.77/16.19 o 144 17.47/16.81 c cleaning 10001 clauses out of 20013 with flag 245000/245000 18.17/17.54 c cleaning 9997 clauses out of 20013 with flag 255001/255001 18.47/17.87 c Got one! Elapsed wall clock time (in seconds):17.772 18.47/17.87 o 110 18.87/18.27 c cleaning 10005 clauses out of 20016 with flag 265001/265001 19.78/18.91 c cleaning 10002 clauses out of 20010 with flag 275000/275000 20.47/19.66 c cleaning 9998 clauses out of 20008 with flag 285000/285000 21.11/20.29 c cleaning 10001 clauses out of 20011 with flag 295001/295001 21.41/20.55 c Got one! Elapsed wall clock time (in seconds):20.452 21.41/20.55 o 106 22.10/20.96 c cleaning 10003 clauses out of 20011 with flag 305002/305002 22.89/21.70 c cleaning 9997 clauses out of 20006 with flag 315000/315000 23.50/22.35 c cleaning 9999 clauses out of 20009 with flag 325000/325000 24.20/23.04 c cleaning 10003 clauses out of 20011 with flag 335001/335001 24.90/23.78 c cleaning 9999 clauses out of 20007 with flag 345000/345000 25.60/24.48 c cleaning 10001 clauses out of 20010 with flag 355002/355002 26.40/25.20 c cleaning 10000 clauses out of 20008 with flag 365001/365001 27.10/25.94 c cleaning 9994 clauses out of 20007 with flag 375000/375000 27.61/26.42 c Got one! Elapsed wall clock time (in seconds):26.33 27.61/26.42 o 101 27.81/26.61 c cleaning 9999 clauses out of 20013 with flag 385000/385000 28.51/27.32 c cleaning 10002 clauses out of 20014 with flag 395000/395000 29.21/28.03 c cleaning 10002 clauses out of 20012 with flag 405000/405000 29.82/28.64 c cleaning 10000 clauses out of 20010 with flag 415000/415000 30.51/29.33 c cleaning 10001 clauses out of 20011 with flag 425001/425001 30.61/29.49 c Got one! Elapsed wall clock time (in seconds):29.4 30.61/29.49 o 97 31.11/29.90 c Got one! Elapsed wall clock time (in seconds):29.808 31.11/29.90 o 95 31.22/30.04 c cleaning 10000 clauses out of 20009 with flag 435000/435000 31.94/30.72 c cleaning 10001 clauses out of 20010 with flag 445001/445001 32.04/30.80 c Got one! Elapsed wall clock time (in seconds):30.71 32.04/30.80 o 73 32.54/31.39 c cleaning 10002 clauses out of 20008 with flag 455000/455000 33.24/32.01 c Got one! Elapsed wall clock time (in seconds):31.912 33.24/32.01 o 65 33.34/32.13 c cleaning 10001 clauses out of 20006 with flag 465000/465000 33.94/32.77 c cleaning 10001 clauses out of 20007 with flag 475002/475002 34.15/32.94 c Got one! Elapsed wall clock time (in seconds):32.842 34.15/32.94 o 53 34.54/33.36 c cleaning 9998 clauses out of 20005 with flag 485001/485001 35.25/34.01 c cleaning 9999 clauses out of 20006 with flag 495000/495000 35.84/34.64 c cleaning 9994 clauses out of 20007 with flag 505000/505000 36.45/35.21 c cleaning 10000 clauses out of 20013 with flag 515000/515000 36.54/35.34 c Got one! Elapsed wall clock time (in seconds):35.246 36.54/35.34 o 49 36.96/35.76 c cleaning 10002 clauses out of 20014 with flag 525001/525001 37.57/36.33 c cleaning 10001 clauses out of 20011 with flag 535000/535000 38.16/36.96 c cleaning 10000 clauses out of 20010 with flag 545000/545000 38.77/37.54 c cleaning 10000 clauses out of 20010 with flag 555000/555000 39.37/38.14 c cleaning 9999 clauses out of 20011 with flag 565001/565001 39.57/38.30 c Got one! Elapsed wall clock time (in seconds):38.202 39.57/38.30 o 42 39.96/38.70 c cleaning 10003 clauses out of 20011 with flag 575000/575000 40.46/39.27 c cleaning 10001 clauses out of 20008 with flag 585000/585000 41.17/39.91 c cleaning 10001 clauses out of 20008 with flag 595001/595001 41.67/40.47 c cleaning 9999 clauses out of 20008 with flag 605002/605002 42.17/40.97 c Got one! Elapsed wall clock time (in seconds):40.873 42.17/40.97 o 28 42.28/41.03 c cleaning 9998 clauses out of 20007 with flag 615000/615000 42.78/41.56 c cleaning 10000 clauses out of 20009 with flag 625000/625000 43.28/42.09 c cleaning 10001 clauses out of 20009 with flag 635000/635000 43.88/42.68 c cleaning 10001 clauses out of 20010 with flag 645002/645002 44.38/43.17 c cleaning 9998 clauses out of 20007 with flag 655000/655000 44.88/43.68 c cleaning 10002 clauses out of 20009 with flag 665000/665000 45.48/44.20 c cleaning 9998 clauses out of 20007 with flag 675000/675000 45.98/44.71 c cleaning 10001 clauses out of 20009 with flag 685000/685000 46.48/45.21 c cleaning 9999 clauses out of 20008 with flag 695000/695000 46.48/45.23 c Got one! Elapsed wall clock time (in seconds):45.138 46.48/45.23 o 20 46.79/45.58 c Got one! Elapsed wall clock time (in seconds):45.48 46.79/45.58 o 12 46.99/45.77 c cleaning 10001 clauses out of 20009 with flag 705000/705000 47.50/46.26 c cleaning 9993 clauses out of 20008 with flag 715000/715000 48.00/46.79 c cleaning 10004 clauses out of 20017 with flag 725002/725002 48.51/47.30 c cleaning 10002 clauses out of 20012 with flag 735001/735001 49.00/47.73 c cleaning 10000 clauses out of 20009 with flag 745000/745000 49.50/48.20 c cleaning 9999 clauses out of 20009 with flag 755000/755000 49.90/48.65 c cleaning 9993 clauses out of 20010 with flag 765000/765000 50.40/49.11 c cleaning 10004 clauses out of 20018 with flag 775001/775001 50.81/49.55 c cleaning 10002 clauses out of 20016 with flag 785003/785003 51.31/50.01 c cleaning 10001 clauses out of 20012 with flag 795001/795001 51.71/50.46 c cleaning 10003 clauses out of 20011 with flag 805001/805001 52.21/50.90 c cleaning 9998 clauses out of 20007 with flag 815000/815000 52.61/51.38 c cleaning 9998 clauses out of 20009 with flag 825000/825000 52.92/51.61 c Got one! Elapsed wall clock time (in seconds):51.513 52.92/51.61 o 10 53.21/51.90 c cleaning 10004 clauses out of 20013 with flag 835002/835002 53.71/52.45 c cleaning 10000 clauses out of 20010 with flag 845003/845003 54.21/52.99 c cleaning 10002 clauses out of 20009 with flag 855002/855002 54.71/53.49 c cleaning 9998 clauses out of 20005 with flag 865000/865000 55.31/54.02 c cleaning 9999 clauses out of 20007 with flag 875000/875000 55.82/54.52 c cleaning 9999 clauses out of 20008 with flag 885000/885000 56.22/54.99 c cleaning 10000 clauses out of 20009 with flag 895000/895000 56.72/55.44 c cleaning 10001 clauses out of 20011 with flag 905002/905002 57.22/55.97 c cleaning 10001 clauses out of 20015 with flag 915007/915007 57.72/56.43 c cleaning 9997 clauses out of 20009 with flag 925002/925002 58.22/56.93 c cleaning 10003 clauses out of 20011 with flag 935001/935001 58.72/57.40 c cleaning 10000 clauses out of 20008 with flag 945001/945001 59.12/57.84 c cleaning 9998 clauses out of 20008 with flag 955001/955001 59.53/58.29 c cleaning 9999 clauses out of 20009 with flag 965000/965000 60.02/58.77 c cleaning 10003 clauses out of 20011 with flag 975001/975001 60.53/59.28 c cleaning 9999 clauses out of 20007 with flag 985000/985000 61.03/59.75 c cleaning 10003 clauses out of 20008 with flag 995000/995000 61.63/60.30 c cleaning 10000 clauses out of 20006 with flag 1005001/1005001 62.03/60.76 c cleaning 9999 clauses out of 20005 with flag 1015000/1015000 62.63/61.30 c cleaning 10004 clauses out of 20012 with flag 1025006/1025006 63.03/61.79 c cleaning 9997 clauses out of 20002 with flag 1035000/1035000 63.53/62.25 c cleaning 9997 clauses out of 20005 with flag 1045000/1045000 64.04/62.75 c cleaning 9998 clauses out of 20008 with flag 1055000/1055000 64.54/63.20 c cleaning 10004 clauses out of 20011 with flag 1065001/1065001 64.94/63.67 c cleaning 10000 clauses out of 20008 with flag 1075002/1075002 65.44/64.14 c cleaning 9999 clauses out of 20008 with flag 1085002/1085002 65.84/64.59 c cleaning 9999 clauses out of 20009 with flag 1095002/1095002 66.35/65.04 c cleaning 9997 clauses out of 20008 with flag 1105000/1105000 66.75/65.47 c cleaning 10001 clauses out of 20011 with flag 1115000/1115000 67.25/65.95 c cleaning 10000 clauses out of 20010 with flag 1125000/1125000 67.75/66.42 c cleaning 10002 clauses out of 20011 with flag 1135001/1135001 68.15/66.87 c cleaning 10002 clauses out of 20009 with flag 1145001/1145001 68.65/67.31 c cleaning 9998 clauses out of 20007 with flag 1155001/1155001 69.15/67.80 c cleaning 9995 clauses out of 20009 with flag 1165001/1165001 69.56/68.26 c cleaning 9999 clauses out of 20013 with flag 1175000/1175000 70.05/68.71 c cleaning 10003 clauses out of 20017 with flag 1185003/1185003 70.45/69.19 c cleaning 10005 clauses out of 20013 with flag 1195002/1195002 70.95/69.64 c cleaning 9998 clauses out of 20008 with flag 1205002/1205002 71.35/70.08 c cleaning 10001 clauses out of 20009 with flag 1215001/1215001 71.84/70.52 c cleaning 9997 clauses out of 20007 with flag 1225000/1225000 72.25/70.95 c cleaning 10001 clauses out of 20010 with flag 1235000/1235000 72.65/71.39 c cleaning 9999 clauses out of 20009 with flag 1245000/1245000 73.15/71.83 c cleaning 10000 clauses out of 20010 with flag 1255000/1255000 73.55/72.28 c cleaning 10002 clauses out of 20010 with flag 1265000/1265000 74.06/72.75 c cleaning 10002 clauses out of 20009 with flag 1275001/1275001 74.56/73.21 c cleaning 10000 clauses out of 20008 with flag 1285002/1285002 74.97/73.67 c cleaning 10000 clauses out of 20007 with flag 1295001/1295001 75.46/74.14 c cleaning 10006 clauses out of 20012 with flag 1305006/1305006 75.96/74.61 c cleaning 9998 clauses out of 20001 with flag 1315001/1315001 76.08/74.78 c starts : 230 76.08/74.78 c conflicts : 1319178 76.08/74.78 c decisions : 2033593 76.08/74.78 c propagations : 34449698 76.08/74.78 c inspects : 354494629 76.08/74.78 c learnt literals : 5 76.08/74.78 c learnt binary clauses : 64 76.08/74.78 c learnt ternary clauses : 953 76.08/74.78 c learnt clauses : 1319172 76.08/74.78 c ignored clauses : 0 76.08/74.78 c root simplifications : 0 76.08/74.78 c removed literals (reason simplification) : 9849860 76.08/74.78 c reason swapping (by a shorter reason) : 0 76.08/74.78 c Calls to reduceDB : 133 76.08/74.78 c number of reductions to clauses (during analyze) : 0 76.08/74.78 c number of learned constraints concerned by reduction : 0 76.08/74.78 c number of learning phase by resolution : 0 76.08/74.78 c number of learning phase by cutting planes : 0 76.08/74.78 c speed (assignments/second) : 1486823.392317652 76.08/74.78 c non guided choices 2211 76.08/74.78 c learnt constraints type 76.08/74.78 c constraints type 76.08/74.78 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 76.08/74.78 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 76.08/74.78 s OPTIMUM FOUND 76.08/74.78 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 76.08/74.78 c objective function=10 76.08/74.78 c Total wall clock time (in seconds): 74.685
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698639-1278327353/watcher-2698639-1278327353 -o /tmp/evaluation-result-2698639-1278327353/solver-2698639-1278327353 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698639-1278327353.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.00 2.00 1.91 2/194 4922 /proc/meminfo: memFree=31865104/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=12956 CPUtime=0 /proc/4922/stat : 4922 (java) R 4920 4922 3818 0 -1 4194304 434 0 0 0 0 0 0 0 25 0 1 0 949131 13266944 163 4089446400 134512640 134550932 4292299472 18446744073709551615 4981923 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/4922/statm: 3252 169 131 10 0 1121 0 [startup+0.0891551 s] /proc/loadavg: 2.00 2.00 1.91 2/194 4922 /proc/meminfo: memFree=31865104/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1529612 CPUtime=0.1 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 5103 0 1 0 9 1 0 0 25 0 18 0 949131 1566322688 4540 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 382403 4541 1344 10 0 379706 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1529612 [startup+0.101154 s] /proc/loadavg: 2.00 2.00 1.91 2/194 4922 /proc/meminfo: memFree=31865104/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1529612 CPUtime=0.11 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 5217 0 1 0 10 1 0 0 25 0 18 0 949131 1566322688 4654 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 382403 4654 1347 10 0 379706 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529612 [startup+0.30113 s] /proc/loadavg: 2.00 2.00 1.91 2/194 4922 /proc/meminfo: memFree=31865104/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1534360 CPUtime=0.6 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 6952 0 1 0 59 1 0 0 25 0 19 0 949131 1571184640 6276 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 383590 6277 1421 10 0 380893 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1534360 [startup+0.701046 s] /proc/loadavg: 2.00 2.00 1.91 2/194 4922 /proc/meminfo: memFree=31865104/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1534360 CPUtime=1.17 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 9912 0 1 0 115 2 0 0 25 0 19 0 949131 1571184640 9236 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 383590 9236 1428 10 0 380893 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 1534360 [startup+1.50091 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4941 /proc/meminfo: memFree=31831668/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1534360 CPUtime=2.01 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 11307 0 1 0 199 2 0 0 25 0 19 0 949131 1571184640 10625 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 383590 10626 1440 10 0 380893 0 [pid=4922/tid=4924] ppid=4920 vsize=1534360 CPUtime=1.46 /proc/4922/task/4924/stat : 4924 (java) R 4920 4922 3818 0 -1 4202560 7412 0 1 0 144 2 0 0 25 0 19 0 949132 1571184640 10626 4089446400 134512640 134550932 4292299472 18446744073709551615 4109928806 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10627 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10627 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10628 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10628 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10628 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10628 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 10628 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 147 0 0 0 0 0 0 0 16 0 19 0 949132 1571184640 10629 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1534360 CPUtime=0.01 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 398 0 0 0 1 0 0 0 16 0 19 0 949133 1571184640 10629 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1571184640 10630 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1571184640 10630 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1571184640 10630 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1534360 CPUtime=0.27 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 635 0 0 0 27 0 0 0 20 0 19 0 949135 1571184640 10631 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1534360 CPUtime=0.24 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 1104 0 0 0 24 0 0 0 15 0 19 0 949136 1571184640 10631 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1571184640 10631 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949136 1571184640 10631 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1571184640 10632 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.01 Current children cumulated vsize (KiB) 1534360 [startup+3.10064 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4941 /proc/meminfo: memFree=31824844/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1534360 CPUtime=3.68 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 14120 0 1 0 365 3 0 0 25 0 19 0 949131 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 383590 13435 1440 10 0 380893 0 [pid=4922/tid=4924] ppid=4920 vsize=1534360 CPUtime=3.02 /proc/4922/task/4924/stat : 4924 (java) R 4920 4922 3818 0 -1 4202560 9866 0 1 0 300 2 0 0 25 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4109902549 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 215 0 0 0 0 0 0 0 16 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 19 0 949132 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1534360 CPUtime=0.04 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 568 0 0 0 4 0 0 0 16 0 19 0 949133 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1534360 CPUtime=0.33 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 648 0 0 0 33 0 0 0 15 0 19 0 949135 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1534360 CPUtime=0.25 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 1104 0 0 0 25 0 0 0 15 0 19 0 949136 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949136 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1534360 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1571184640 13435 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.68 Current children cumulated vsize (KiB) 1534360 [startup+6.30108 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4941 /proc/meminfo: memFree=31809468/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1534032 CPUtime=6.85 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 16530 0 1 0 682 3 0 0 25 0 19 0 949131 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 383508 15784 1440 10 0 380811 0 [pid=4922/tid=4924] ppid=4920 vsize=1534032 CPUtime=6.13 /proc/4922/task/4924/stat : 4924 (java) R 4920 4922 3818 0 -1 4202560 11753 0 1 0 611 2 0 0 20 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4109918700 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 129 0 0 0 0 0 0 0 16 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1534032 CPUtime=0.09 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 789 0 0 0 9 0 0 0 16 0 19 0 949133 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1534032 CPUtime=0.33 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 648 0 0 0 33 0 0 0 15 0 19 0 949135 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1534032 CPUtime=0.25 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 1104 0 0 0 25 0 0 0 15 0 19 0 949136 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 949136 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1570848768 15784 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.85 Current children cumulated vsize (KiB) 1534032 [startup+12.701 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4942 /proc/meminfo: memFree=31806468/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1534032 CPUtime=13.28 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 16798 0 1 0 1325 3 0 0 25 0 19 0 949131 1570848768 16042 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 383508 16042 1442 10 0 380811 0 [pid=4922/tid=4924] ppid=4920 vsize=1534032 CPUtime=12.42 /proc/4922/task/4924/stat : 4924 (java) R 4920 4922 3818 0 -1 4202560 11762 0 1 0 1240 2 0 0 21 0 19 0 949132 1570848768 16042 4089446400 134512640 134550932 4292299472 18446744073709551615 4109918724 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1534032 CPUtime=0 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 949132 1570848768 16042 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 ################ # More data... # ################ /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 56 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1538136 CPUtime=0.05 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 96 0 0 0 5 0 0 0 15 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 177 0 0 0 4 0 0 0 16 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 130 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 297 0 0 0 4 0 0 0 16 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 173 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 217 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1538136 CPUtime=1.41 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 1347 0 0 0 139 2 0 0 16 0 19 0 949133 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1538136 CPUtime=0.59 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 3869 0 0 0 59 0 0 0 15 0 19 0 949135 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1538136 CPUtime=0.67 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 3960 0 0 0 67 0 0 0 15 0 19 0 949136 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949136 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 5 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1575051264 17775 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 74.86 Current children cumulated vsize (KiB) 1538136 [startup+74.3013 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4943 /proc/meminfo: memFree=31798468/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1538136 CPUtime=75.66 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 23695 0 1 0 7556 10 0 0 25 0 19 0 949131 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 384534 17785 1444 10 0 381837 0 [pid=4922/tid=4924] ppid=4920 vsize=1538136 CPUtime=72.56 /proc/4922/task/4924/stat : 4924 (java) R 4920 4922 3818 0 -1 4202560 12143 0 1 0 7252 4 0 0 25 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4109889822 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 56 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1538136 CPUtime=0.05 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 96 0 0 0 5 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1538136 CPUtime=0.05 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 130 0 0 0 5 0 0 0 16 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 297 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 173 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 217 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1538136 CPUtime=1.43 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 1357 0 0 0 141 2 0 0 16 0 19 0 949133 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1538136 CPUtime=0.59 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 3869 0 0 0 59 0 0 0 15 0 19 0 949135 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1538136 CPUtime=0.67 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 3960 0 0 0 67 0 0 0 15 0 19 0 949136 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949136 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 5 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1575051264 17785 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 75.66 Current children cumulated vsize (KiB) 1538136 [startup+74.7012 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4943 /proc/meminfo: memFree=31798476/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1538136 CPUtime=76.08 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 23700 0 1 0 7598 10 0 0 25 0 19 0 949131 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 384534 17789 1444 10 0 381837 0 [pid=4922/tid=4924] ppid=4920 vsize=1538136 CPUtime=72.95 /proc/4922/task/4924/stat : 4924 (java) R 4920 4922 3818 0 -1 4202560 12145 0 1 0 7291 4 0 0 25 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4109868215 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 56 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1538136 CPUtime=0.05 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 97 0 0 0 5 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1538136 CPUtime=0.05 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 130 0 0 0 5 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1538136 CPUtime=0.04 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 297 0 0 0 4 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 175 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1538136 CPUtime=0.03 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 217 0 0 0 3 0 0 0 15 0 19 0 949132 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1538136 CPUtime=1.44 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 1357 0 0 0 142 2 0 0 16 0 19 0 949133 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1538136 CPUtime=0.59 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 3869 0 0 0 59 0 0 0 15 0 19 0 949135 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1538136 CPUtime=0.68 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 3960 0 0 0 68 0 0 0 15 0 19 0 949136 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949136 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 5 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1538136 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1575051264 17789 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 76.08 Current children cumulated vsize (KiB) 1538136 [startup+74.8062 s] /proc/loadavg: 2.00 2.00 1.91 3/213 4943 /proc/meminfo: memFree=31798476/32951132 swapFree=67111528/67111528 [pid=4922] ppid=4920 vsize=1538460 CPUtime=76.16 /proc/4922/stat : 4922 (java) S 4920 4922 3818 0 -1 4202496 23711 0 1 0 7606 10 0 0 25 0 19 0 949131 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4922/statm: 384615 17800 1445 10 0 381918 0 [pid=4922/tid=4924] ppid=4920 vsize=1538460 CPUtime=73.03 /proc/4922/task/4924/stat : 4924 (java) S 4920 4922 3818 0 -1 4202560 12150 0 1 0 7299 4 0 0 25 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4925] ppid=4920 vsize=1538460 CPUtime=0.03 /proc/4922/task/4925/stat : 4925 (java) S 4920 4922 3818 0 -1 4202560 56 0 0 0 3 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4926] ppid=4920 vsize=1538460 CPUtime=0.05 /proc/4922/task/4926/stat : 4926 (java) S 4920 4922 3818 0 -1 4202560 97 0 0 0 5 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4927] ppid=4920 vsize=1538460 CPUtime=0.04 /proc/4922/task/4927/stat : 4927 (java) S 4920 4922 3818 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4928] ppid=4920 vsize=1538460 CPUtime=0.05 /proc/4922/task/4928/stat : 4928 (java) S 4920 4922 3818 0 -1 4202560 130 0 0 0 5 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 0 0 0 0 [pid=4922/tid=4929] ppid=4920 vsize=1538460 CPUtime=0.04 /proc/4922/task/4929/stat : 4929 (java) S 4920 4922 3818 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4930] ppid=4920 vsize=1538460 CPUtime=0.04 /proc/4922/task/4930/stat : 4930 (java) S 4920 4922 3818 0 -1 4202560 297 0 0 0 4 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4931] ppid=4920 vsize=1538460 CPUtime=0.03 /proc/4922/task/4931/stat : 4931 (java) S 4920 4922 3818 0 -1 4202560 175 0 0 0 3 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4932] ppid=4920 vsize=1538460 CPUtime=0.03 /proc/4922/task/4932/stat : 4932 (java) S 4920 4922 3818 0 -1 4202560 217 0 0 0 3 0 0 0 15 0 19 0 949132 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4933] ppid=4920 vsize=1538460 CPUtime=1.44 /proc/4922/task/4933/stat : 4933 (java) S 4920 4922 3818 0 -1 4202560 1357 0 0 0 142 2 0 0 16 0 19 0 949133 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 0 0 16800975 18446604470992462912 0 0 -1 2 0 0 0 [pid=4922/tid=4934] ppid=4920 vsize=1538460 CPUtime=0 /proc/4922/task/4934/stat : 4934 (java) S 4920 4922 3818 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 949133 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4935] ppid=4920 vsize=1538460 CPUtime=0 /proc/4922/task/4935/stat : 4935 (java) S 4920 4922 3818 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 949133 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4936] ppid=4920 vsize=1538460 CPUtime=0 /proc/4922/task/4936/stat : 4936 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949135 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4937] ppid=4920 vsize=1538460 CPUtime=0.59 /proc/4922/task/4937/stat : 4937 (java) S 4920 4922 3818 0 -1 4202560 3869 0 0 0 59 0 0 0 15 0 19 0 949135 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 [pid=4922/tid=4938] ppid=4920 vsize=1538460 CPUtime=0.68 /proc/4922/task/4938/stat : 4938 (java) S 4920 4922 3818 0 -1 4202560 3960 0 0 0 68 0 0 0 15 0 19 0 949136 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 1 0 0 0 [pid=4922/tid=4939] ppid=4920 vsize=1538460 CPUtime=0 /proc/4922/task/4939/stat : 4939 (java) S 4920 4922 3818 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 949136 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 4 0 0 0 [pid=4922/tid=4940] ppid=4920 vsize=1538460 CPUtime=0 /proc/4922/task/4940/stat : 4940 (java) S 4920 4922 3818 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 949136 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 5 0 0 0 [pid=4922/tid=4941] ppid=4920 vsize=1538460 CPUtime=0 /proc/4922/task/4941/stat : 4941 (java) S 4920 4922 3818 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 949147 1575383040 17800 4089446400 134512640 134550932 4292299472 18446744073709551615 4294960144 0 4 0 16800975 18446604470992462912 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 76.16 Current children cumulated vsize (KiB) 1538460 Child status: 30 Real time (s): 74.8164 CPU time (s): 76.1674 CPU user time (s): 76.0624 CPU system time (s): 0.104984 CPU usage (%): 101.806 Max. virtual memory (cumulated for all children) (KiB): 1546568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 76.0624 system time used= 0.104984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23714 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= 5105 involuntary context switches= 14958 runsolver used 0.151976 second user time and 0.272958 second system time The end
Begin job on node131 at 2010-07-05 12:55:53 IDJOB=2698639 IDBENCH=79206 IDSOLVER=1211 FILE ID=node131/2698639-1278327353 PBS_JOBID= 11207436 Free space on /tmp= 74192 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.1110976730--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-2698639-1278327353/watcher-2698639-1278327353 -o /tmp/evaluation-result-2698639-1278327353/solver-2698639-1278327353 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698639-1278327353.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 757f0ee369969ddf8bfd897da7532965 RANDOM SEED=670782877 node131.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.828 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.828 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.76 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 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.72 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.828 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.82 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.828 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 : 5441.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31865508 kB Buffers: 26772 kB Cached: 428872 kB SwapCached: 0 kB Active: 621380 kB Inactive: 364664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31865508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 108 kB Writeback: 0 kB AnonPages: 530572 kB Mapped: 20500 kB Slab: 36180 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1645272 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74192 MiB End job on node131 at 2010-07-05 12:57:08