Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | OPT | -6 | 344.93 | 342.189 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb |
| MD5SUM | e0d3a2bf2cd2b7e4b27d7033a7686e76 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -6 |
| Best CPU time to get the best result obtained on this benchmark | 14.8577 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -6 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 2996 |
| Sum of products size (including duplicates) | 5992 |
| Number of different products | 1498 |
| Sum of products size | 2996 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.05/0.08 c version 2.3.2.v20120418 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 501472288 0.05/0.08 c Max memory 7480803328 0.05/0.08 c Total memory 504102912 0.05/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3711192-1338172827.opb 0.09/0.12 c reading problem ... 0.44/0.31 c ... done. Wall clock time 0.186s. 0.44/0.31 c declared #vars 100 0.44/0.31 c internal #vars 1598 0.44/0.31 c #constraints 3148 0.44/0.31 c constraints type 0.44/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1498 0.44/0.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 0.44/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 0.44/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1498 0.44/0.31 c 3148 constraints processed. 0.44/0.33 c SATISFIABLE 0.44/0.33 c OPTIMIZING... 0.44/0.33 c Got one! Elapsed wall clock time (in seconds):0.211 0.44/0.33 o 0 0.44/0.35 c Got one! Elapsed wall clock time (in seconds):0.229 0.44/0.35 o -1 0.67/0.41 c Got one! Elapsed wall clock time (in seconds):0.288 0.67/0.41 o -3 0.67/0.43 c Got one! Elapsed wall clock time (in seconds):0.305 0.67/0.43 o -4 0.96/0.52 c Got one! Elapsed wall clock time (in seconds):0.393 0.96/0.52 o -5 0.96/0.57 c Got one! Elapsed wall clock time (in seconds):0.443 0.96/0.57 o -6 1.47/0.93 c cleaning 2910 clauses out of 5827 with flag 5001/5827 1.95/1.31 c cleaning 4459 clauses out of 8918 with flag 11002/11828 2.25/1.69 c cleaning 5720 clauses out of 11458 with flag 18001/18827 2.77/2.17 c cleaning 6866 clauses out of 13737 with flag 26000/26826 3.41/2.74 c cleaning 7931 clauses out of 15871 with flag 35000/35826 4.02/3.35 c cleaning 8963 clauses out of 17940 with flag 45000/45826 4.71/4.02 c cleaning 9989 clauses out of 19983 with flag 56006/56832 5.42/4.70 c cleaning 10994 clauses out of 21990 with flag 68002/68828 6.23/5.51 c cleaning 11990 clauses out of 23994 with flag 81000/81826 7.23/6.51 c cleaning 12991 clauses out of 26004 with flag 95000/95826 8.23/7.54 c cleaning 13999 clauses out of 28017 with flag 110004/110830 9.34/8.62 c cleaning 15000 clauses out of 30014 with flag 126000/126826 10.45/9.79 c cleaning 16007 clauses out of 32018 with flag 143004/143830 11.67/10.97 c cleaning 16997 clauses out of 34008 with flag 161001/161827 12.98/12.25 c cleaning 18000 clauses out of 36010 with flag 180000/180826 14.48/13.73 c cleaning 19001 clauses out of 38010 with flag 200000/200826 16.21/15.46 c cleaning 19996 clauses out of 40010 with flag 221001/221827 18.24/17.47 c cleaning 20998 clauses out of 42013 with flag 243000/243826 20.24/19.47 c cleaning 22006 clauses out of 44017 with flag 266002/266828 22.05/21.29 c cleaning 22997 clauses out of 46009 with flag 290000/290826 24.35/23.59 c cleaning 23994 clauses out of 48018 with flag 315006/315832 26.45/25.65 c cleaning 24999 clauses out of 50020 with flag 341002/341828 28.88/28.08 c cleaning 26004 clauses out of 52021 with flag 368002/368828 31.59/30.77 c cleaning 27002 clauses out of 54015 with flag 396000/396826 34.41/33.30 c cleaning 27996 clauses out of 56013 with flag 425000/425826 37.56/36.05 c cleaning 29001 clauses out of 58017 with flag 455000/455826 40.57/38.89 c cleaning 29992 clauses out of 60017 with flag 486001/486827 43.49/41.79 c cleaning 31010 clauses out of 62024 with flag 518000/518826 46.59/44.85 c cleaning 31998 clauses out of 64019 with flag 551005/551831 50.29/48.58 c cleaning 32995 clauses out of 66016 with flag 585000/585826 53.52/51.75 c cleaning 34010 clauses out of 68022 with flag 620001/620827 57.05/55.27 c cleaning 34998 clauses out of 70012 with flag 656001/656827 60.67/58.86 c cleaning 36001 clauses out of 72015 with flag 693002/693828 64.39/62.55 c cleaning 36996 clauses out of 74012 with flag 731000/731826 68.81/66.99 c cleaning 37991 clauses out of 76016 with flag 770000/770826 73.11/71.25 c cleaning 39002 clauses out of 78029 with flag 810004/810830 77.35/75.49 c cleaning 39998 clauses out of 80023 with flag 851000/851826 82.27/80.31 c cleaning 41007 clauses out of 82027 with flag 893002/893828 86.17/84.24 c cleaning 41988 clauses out of 84019 with flag 936001/936827 90.70/88.73 c cleaning 42995 clauses out of 86030 with flag 980000/980826 95.32/93.39 c cleaning 44014 clauses out of 88035 with flag 1025000/1025826 100.34/98.37 c cleaning 44994 clauses out of 90021 with flag 1071000/1071826 105.76/103.75 c cleaning 46007 clauses out of 92030 with flag 1118003/1118829 111.39/109.39 c cleaning 46997 clauses out of 94020 with flag 1166000/1166826 117.10/115.00 c cleaning 48003 clauses out of 96023 with flag 1215000/1215826 123.81/121.72 c cleaning 49007 clauses out of 98020 with flag 1265000/1265826 130.04/127.99 c cleaning 50005 clauses out of 100013 with flag 1316000/1316826 135.59/133.46 c cleaning 50992 clauses out of 102010 with flag 1368002/1368828 141.71/139.52 c cleaning 51988 clauses out of 104019 with flag 1421003/1421829 148.24/146.03 c cleaning 53010 clauses out of 106031 with flag 1475003/1475829 154.54/152.35 c cleaning 53994 clauses out of 108021 with flag 1530003/1530829 161.59/159.35 c cleaning 54998 clauses out of 110024 with flag 1586000/1586826 167.81/165.51 c cleaning 56012 clauses out of 112026 with flag 1643000/1643826 175.13/172.80 c cleaning 56997 clauses out of 114016 with flag 1701002/1701828 182.46/180.12 c cleaning 57998 clauses out of 116017 with flag 1760000/1760826 189.79/187.45 c cleaning 59006 clauses out of 118020 with flag 1820001/1820827 197.30/194.93 c cleaning 59978 clauses out of 120013 with flag 1881000/1881826 205.01/202.62 c cleaning 61012 clauses out of 122035 with flag 1943000/1943826 213.65/211.29 c cleaning 62008 clauses out of 124024 with flag 2006001/2006827 222.07/219.61 c cleaning 59731 clauses out of 119482 with flag 2070001/2070827 229.88/227.42 c cleaning 62373 clauses out of 124752 with flag 2135002/2135828 238.92/236.43 c cleaning 64184 clauses out of 128378 with flag 2201001/2201827 247.75/245.26 c cleaning 65589 clauses out of 131193 with flag 2268000/2268826 257.25/254.74 c cleaning 66789 clauses out of 133604 with flag 2336000/2336826 266.38/263.81 c cleaning 67900 clauses out of 135817 with flag 2405002/2405828 276.33/273.72 c cleaning 68954 clauses out of 137915 with flag 2475000/2475826 286.77/284.16 c cleaning 69972 clauses out of 139963 with flag 2546002/2546828 297.07/294.41 c cleaning 70991 clauses out of 141990 with flag 2618001/2618827 307.41/304.76 c cleaning 72001 clauses out of 144002 with flag 2691004/2691830 319.02/316.35 c cleaning 72986 clauses out of 145997 with flag 2765000/2765826 328.74/326.04 c cleaning 73994 clauses out of 148012 with flag 2840001/2840827 339.17/336.40 c cleaning 44705 clauses out of 89433 with flag 2916004/2916830 344.93/342.18 c starts : 237 344.93/342.18 c conflicts : 2967206 344.93/342.18 c decisions : 4164869 344.93/342.18 c propagations : 114308816 344.93/342.18 c inspects : 4089058333 344.93/342.18 c shortcuts : 0 344.93/342.18 c learnt literals : 9 344.93/342.18 c learnt binary clauses : 234 344.93/342.18 c learnt ternary clauses : 40894 344.93/342.18 c learnt constraints : 2967196 344.93/342.18 c ignored constraints : 0 344.93/342.18 c root simplifications : 245 344.93/342.18 c removed literals (reason simplification) : 82669265 344.93/342.18 c reason swapping (by a shorter reason) : 0 344.93/342.18 c Calls to reduceDB : 72 344.93/342.18 c number of reductions to clauses (during analyze) : 0 344.93/342.18 c number of learned constraints concerned by reduction : 0 344.93/342.18 c number of learning phase by resolution : 0 344.93/342.18 c number of learning phase by cutting planes : 0 344.93/342.18 c speed (assignments/second) : 334369.26965108933 344.93/342.18 c non guided choices 3006 344.93/342.18 c learnt constraints type 344.93/342.18 c constraints type 344.93/342.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1498 344.93/342.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 344.93/342.18 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 344.93/342.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1498 344.93/342.18 c 3148 constraints processed. 344.93/342.18 s OPTIMUM FOUND 344.93/342.18 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 344.93/342.18 c objective function=-6 344.93/342.18 c Total wall clock time (in seconds): 342.057
OK -6
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711192-1338172827/watcher-3711192-1338172827 -o /tmp/evaluation-result-3711192-1338172827/solver-3711192-1338172827 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711192-1338172827.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.01 3/195 2044 /proc/meminfo: memFree=31157256/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/2044/stat : 2044 (java) R 2042 2044 31312 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 283408275 23793664 712 33554432000 1073741824 1073778376 140735103790640 140735103779704 214360438120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 5809 712 526 9 0 128 0 [startup+0.074255 s] /proc/loadavg: 2.04 2.04 2.01 3/195 2044 /proc/meminfo: memFree=31157256/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9558440 CPUtime=0.05 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 3398 0 1 0 5 0 0 0 20 0 18 0 283408275 9787842560 4095 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2389610 4097 1778 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558440 [startup+0.100252 s] /proc/loadavg: 2.04 2.04 2.01 3/195 2044 /proc/meminfo: memFree=31157256/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 4301 0 1 0 9 0 0 0 20 0 18 0 283408275 9787842560 4997 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2389610 4997 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300218 s] /proc/loadavg: 2.04 2.04 2.01 3/195 2044 /proc/meminfo: memFree=31157256/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9558440 CPUtime=0.44 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 6026 0 1 0 43 1 0 0 20 0 18 0 283408275 9787842560 7857 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2389610 7857 2236 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558440 [startup+0.700212 s] /proc/loadavg: 2.04 2.04 2.01 3/195 2044 /proc/meminfo: memFree=31157256/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 9299 0 1 0 125 1 0 0 20 0 19 0 283408275 9856004096 10190 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 10190 2261 9 0 2396937 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 9625004 [startup+1.50069 s] /proc/loadavg: 2.04 2.04 2.01 3/214 2063 /proc/meminfo: memFree=31112592/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=2.15 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 9386 0 1 0 213 2 0 0 20 0 19 0 283408275 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 13845 2286 9 0 2396937 0 [pid=2044/tid=2046] ppid=2042 vsize=9625004 CPUtime=1.44 cores=0,2,4,6 /proc/2044/task/2046/stat : 2046 (java) R 2042 2044 31312 0 -1 4202560 2566 0 1 0 144 0 0 0 20 0 19 0 283408275 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232563413416 140232436647960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2047] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2047/stat : 2047 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232407452200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2048] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2048/stat : 2048 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232406399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2049] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2049/stat : 2049 (java) S 2042 2044 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232405346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2050] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2050/stat : 2050 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232404293800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2051] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2051/stat : 2051 (java) S 2042 2044 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232403242024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2052] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2052/stat : 2052 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232402189224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2053] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2053/stat : 2053 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232401136424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2054] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 283408277 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.3 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2495 0 0 0 30 0 0 0 20 0 19 0 283408280 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 3064 0 0 0 32 0 0 0 20 0 19 0 283408280 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 13845 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.15 Current children cumulated vsize (KiB) 9625004 [startup+3.10061 s] /proc/loadavg: 2.04 2.04 2.01 3/214 2063 /proc/meminfo: memFree=31110048/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=3.81 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 9411 0 1 0 379 2 0 0 20 0 19 0 283408275 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 13867 2286 9 0 2396937 0 [pid=2044/tid=2046] ppid=2042 vsize=9625004 CPUtime=2.99 cores=0,2,4,6 /proc/2044/task/2046/stat : 2046 (java) R 2042 2044 31312 0 -1 4202560 2567 0 1 0 299 0 0 0 20 0 19 0 283408275 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232563413464 140232436534446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2047] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2047/stat : 2047 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232407452200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2048] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2048/stat : 2048 (java) S 2042 2044 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232406399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2049] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2049/stat : 2049 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232405346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2050] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2050/stat : 2050 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232404293800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2051] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2051/stat : 2051 (java) S 2042 2044 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232403242024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2052] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2052/stat : 2052 (java) S 2042 2044 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232402189224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2053] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2053/stat : 2053 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232401136424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2054] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 283408277 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.31 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2495 0 0 0 31 0 0 0 20 0 19 0 283408280 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=0.37 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 3077 0 0 0 37 0 0 0 20 0 19 0 283408280 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 13867 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.81 Current children cumulated vsize (KiB) 9625004 [startup+6.30063 s] /proc/loadavg: 2.04 2.04 2.01 3/214 2063 /proc/meminfo: memFree=31107504/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=7.03 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 9424 0 1 0 701 2 0 0 20 0 19 0 283408275 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 14319 2286 9 0 2396937 0 [pid=2044/tid=2046] ppid=2042 vsize=9625004 CPUtime=6.12 cores=0,2,4,6 /proc/2044/task/2046/stat : 2046 (java) R 2042 2044 31312 0 -1 4202560 2572 0 1 0 612 0 0 0 20 0 19 0 283408275 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232563413296 140232436671905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2047] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2047/stat : 2047 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232407452200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2048] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2048/stat : 2048 (java) S 2042 2044 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232406399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2049] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2049/stat : 2049 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232405346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2050] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2050/stat : 2050 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232404293800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2051] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2051/stat : 2051 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232403242024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2052] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2052/stat : 2052 (java) S 2042 2044 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232402189224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2053] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2053/stat : 2053 (java) S 2042 2044 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232401136424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2054] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283408276 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=0.1 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 34 0 0 0 10 0 0 0 20 0 19 0 283408277 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.31 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2495 0 0 0 31 0 0 0 20 0 19 0 283408280 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 3077 0 0 0 39 0 0 0 20 0 19 0 283408280 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 14319 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.03 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 78 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=1.76 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 176 0 0 0 20 0 19 0 283408277 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2496 0 0 0 36 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 13082 0 0 0 124 2 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0.08 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 19 0 0 0 4 4 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 343.52 Current children cumulated vsize (KiB) 9625004 [startup+341.501 s] /proc/loadavg: 2.11 2.07 2.01 3/213 2121 /proc/meminfo: memFree=30901984/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=344.32 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 20134 0 1 0 34420 12 0 0 20 0 19 0 283408275 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 27600 2287 9 0 2396937 0 [pid=2044/tid=2046] ppid=2042 vsize=9625004 CPUtime=338.13 cores=0,2,4,6 /proc/2044/task/2046/stat : 2046 (java) R 2042 2044 31312 0 -1 4202560 2643 0 1 0 33807 6 0 0 20 0 19 0 283408275 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232563411512 140232436526313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2047] ppid=2042 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/2044/task/2047/stat : 2047 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232407452200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2048] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2048/stat : 2048 (java) S 2042 2044 31312 0 -1 4202560 98 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232406399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2049] ppid=2042 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/2044/task/2049/stat : 2049 (java) S 2042 2044 31312 0 -1 4202560 91 0 0 0 22 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232405346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2050] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2050/stat : 2050 (java) S 2042 2044 31312 0 -1 4202560 103 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232404293800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2051] ppid=2042 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/2044/task/2051/stat : 2051 (java) S 2042 2044 31312 0 -1 4202560 106 0 0 0 24 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232403242024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2052] ppid=2042 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/2044/task/2052/stat : 2052 (java) S 2042 2044 31312 0 -1 4202560 59 0 0 0 20 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232402189224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2053] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2053/stat : 2053 (java) S 2042 2044 31312 0 -1 4202560 58 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232401136424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2054] ppid=2042 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 78 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=1.76 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 176 0 0 0 20 0 19 0 283408277 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2496 0 0 0 36 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 13082 0 0 0 124 2 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0.08 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 19 0 0 0 4 4 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 344.32 Current children cumulated vsize (KiB) 9625004 [startup+341.901 s] /proc/loadavg: 2.11 2.07 2.01 3/213 2121 /proc/meminfo: memFree=30901984/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=344.72 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 20134 0 1 0 34460 12 0 0 20 0 19 0 283408275 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 27600 2287 9 0 2396937 0 [pid=2044/tid=2046] ppid=2042 vsize=9625004 CPUtime=338.53 cores=0,2,4,6 /proc/2044/task/2046/stat : 2046 (java) R 2042 2044 31312 0 -1 4202560 2643 0 1 0 33847 6 0 0 20 0 19 0 283408275 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232563411512 140232436526350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2047] ppid=2042 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/2044/task/2047/stat : 2047 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232407452200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2048] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2048/stat : 2048 (java) S 2042 2044 31312 0 -1 4202560 98 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232406399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2049] ppid=2042 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/2044/task/2049/stat : 2049 (java) S 2042 2044 31312 0 -1 4202560 91 0 0 0 22 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232405346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2050] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2050/stat : 2050 (java) S 2042 2044 31312 0 -1 4202560 103 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232404293800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2051] ppid=2042 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/2044/task/2051/stat : 2051 (java) S 2042 2044 31312 0 -1 4202560 106 0 0 0 24 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232403242024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2052] ppid=2042 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/2044/task/2052/stat : 2052 (java) S 2042 2044 31312 0 -1 4202560 59 0 0 0 20 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232402189224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2053] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2053/stat : 2053 (java) S 2042 2044 31312 0 -1 4202560 58 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232401136424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2054] ppid=2042 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 78 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=1.76 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 176 0 0 0 20 0 19 0 283408277 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2496 0 0 0 36 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 13082 0 0 0 124 2 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0.08 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 19 0 0 0 4 4 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 344.72 Current children cumulated vsize (KiB) 9625004 [startup+342.107 s] /proc/loadavg: 2.11 2.07 2.01 3/213 2121 /proc/meminfo: memFree=30901984/32873844 swapFree=7624/7624 [pid=2044] ppid=2042 vsize=9625004 CPUtime=344.93 cores=0,2,4,6 /proc/2044/stat : 2044 (java) S 2042 2044 31312 0 -1 4202496 20135 0 1 0 34481 12 0 0 20 0 19 0 283408275 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140735103781776 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 2406251 27600 2287 9 0 2396937 0 [pid=2044/tid=2046] ppid=2042 vsize=9625004 CPUtime=338.74 cores=0,2,4,6 /proc/2044/task/2046/stat : 2046 (java) R 2042 2044 31312 0 -1 4202560 2644 0 1 0 33868 6 0 0 20 0 19 0 283408275 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232563411392 140232436759187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2047] ppid=2042 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/2044/task/2047/stat : 2047 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232407452200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2048] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2048/stat : 2048 (java) S 2042 2044 31312 0 -1 4202560 98 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232406399400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2049] ppid=2042 vsize=9625004 CPUtime=0.22 cores=0,2,4,6 /proc/2044/task/2049/stat : 2049 (java) S 2042 2044 31312 0 -1 4202560 91 0 0 0 22 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232405346600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2050] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2050/stat : 2050 (java) S 2042 2044 31312 0 -1 4202560 103 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232404293800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2051] ppid=2042 vsize=9625004 CPUtime=0.24 cores=0,2,4,6 /proc/2044/task/2051/stat : 2051 (java) S 2042 2044 31312 0 -1 4202560 106 0 0 0 24 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232403242024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2052] ppid=2042 vsize=9625004 CPUtime=0.2 cores=0,2,4,6 /proc/2044/task/2052/stat : 2052 (java) S 2042 2044 31312 0 -1 4202560 59 0 0 0 20 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232402189224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2044/tid=2053] ppid=2042 vsize=9625004 CPUtime=0.21 cores=0,2,4,6 /proc/2044/task/2053/stat : 2053 (java) S 2042 2044 31312 0 -1 4202560 58 0 0 0 21 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232401136424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2054] ppid=2042 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/2044/task/2054/stat : 2054 (java) S 2042 2044 31312 0 -1 4202560 78 0 0 0 23 0 0 0 20 0 19 0 283408276 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232400083624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2055] ppid=2042 vsize=9625004 CPUtime=1.76 cores=0,2,4,6 /proc/2044/task/2055/stat : 2055 (java) S 2042 2044 31312 0 -1 4202560 60 0 0 0 176 0 0 0 20 0 19 0 283408277 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232387672552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2056] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2056/stat : 2056 (java) S 2042 2044 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232386618616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2057] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2057/stat : 2057 (java) S 2042 2044 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283408278 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232385565704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2058] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2058/stat : 2058 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232384514192 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2059] ppid=2042 vsize=9625004 CPUtime=0.36 cores=0,2,4,6 /proc/2044/task/2059/stat : 2059 (java) S 2042 2044 31312 0 -1 4202560 2496 0 0 0 36 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232383462328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2060] ppid=2042 vsize=9625004 CPUtime=1.26 cores=0,2,4,6 /proc/2044/task/2060/stat : 2060 (java) S 2042 2044 31312 0 -1 4202560 13082 0 0 0 124 2 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232382409528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2044/tid=2061] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2061/stat : 2061 (java) S 2042 2044 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232381356920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2044/tid=2062] ppid=2042 vsize=9625004 CPUtime=0.08 cores=0,2,4,6 /proc/2044/task/2062/stat : 2062 (java) S 2042 2044 31312 0 -1 4202560 19 0 0 0 4 4 0 0 20 0 19 0 283408280 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232380304328 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2044/tid=2063] ppid=2042 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/2044/task/2063/stat : 2063 (java) S 2042 2044 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283408307 9856004096 27600 33554432000 1073741824 1073778376 140735103790640 140232379249832 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 344.93 Current children cumulated vsize (KiB) 9625004 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2044 and gives # childrusage.ru_utime.tv_sec=344 # childrusage.ru_utime.tv_usec=39698 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=252961 # CPU time returned by wait4() is 344.293 # while last known CPU time is 344.93 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 342.189 CPU time (s): 344.93 CPU user time (s): 344.81 CPU system time (s): 0.12 CPU usage (%): 100.801 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 344.04 system time used= 0.252961 maximum resident set size= 110456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20152 page faults= 1 swaps= 0 block input operations= 0 block output operations= 400 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9375 involuntary context switches= 9648 runsolver used 0.698893 second user time and 1.65975 second system time The end
Begin job on node130 at 2012-05-28 04:40:27 IDJOB=3711192 IDBENCH=48250 IDSOLVER=2289 FILE ID=node130/3711192-1338172827 RUNJOBID= node130-1338158197-31328 PBS_JOBID= 14624537 Free space on /tmp= 71472 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_1.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711192-1338172827/watcher-3711192-1338172827 -o /tmp/evaluation-result-3711192-1338172827/solver-3711192-1338172827 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711192-1338172827.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76 RANDOM SEED=1205688995 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31157504 kB Buffers: 315764 kB Cached: 489156 kB SwapCached: 4508 kB Active: 769696 kB Inactive: 110560 kB Active(anon): 65300 kB Inactive(anon): 9016 kB Active(file): 704396 kB Inactive(file): 101544 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099916 kB Dirty: 896 kB Writeback: 0 kB AnonPages: 78352 kB Mapped: 19852 kB Shmem: 8 kB Slab: 694204 kB SReclaimable: 135872 kB SUnreclaim: 558332 kB KernelStack: 1592 kB PageTables: 4512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 697160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71472 MiB End job on node130 at 2012-05-28 04:46:09