Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | OPT | -7 | 406.881 | 405.66 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb |
| MD5SUM | 1eb933a10fcc575d2df25e98511c4b07 |
| 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 | -7 |
| Best CPU time to get the best result obtained on this benchmark | 406.881 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -7 |
| 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) | 2960 |
| Sum of products size (including duplicates) | 5920 |
| Number of different products | 1480 |
| Sum of products size | 2960 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085817-1465260780.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.22/0.29 c ... done. Wall clock time 0.18s. 0.22/0.29 c declared #vars 100 0.22/0.29 c internal #vars 1580 0.22/0.29 c #constraints 3112 0.22/0.29 c constraints type 0.22/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1480 0.22/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 0.22/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 0.22/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1480 0.22/0.29 c 3112 constraints processed. 0.22/0.29 c objective function length is 50 literals 0.71/0.41 c SATISFIABLE 0.71/0.41 c OPTIMIZING... 0.71/0.41 c Got one! Elapsed wall clock time (in seconds):0.298 0.71/0.41 o -3 0.71/0.49 c Got one! Elapsed wall clock time (in seconds):0.371 0.71/0.49 o -4 0.91/0.58 c Got one! Elapsed wall clock time (in seconds):0.469 0.91/0.58 o -5 1.28/0.83 c Got one! Elapsed wall clock time (in seconds):0.721 1.28/0.83 o -6 1.38/0.95 c cleaning 3430 clauses out of 6867 with flag 2789/6867 1.97/1.40 c cleaning 4718 clauses out of 9435 with flag 27320/12865 2.58/2.08 c cleaning 5853 clauses out of 11715 with flag 66486/19863 3.40/2.80 c cleaning 6931 clauses out of 13862 with flag 114870/27863 4.02/3.47 c cleaning 7965 clauses out of 15932 with flag 158836/36864 4.81/4.23 c cleaning 8978 clauses out of 17966 with flag 195226/46863 5.61/5.08 c cleaning 9989 clauses out of 19990 with flag 235445/57865 6.51/5.99 c cleaning 10998 clauses out of 21999 with flag 278124/69863 7.51/6.97 c cleaning 11999 clauses out of 24003 with flag 324249/82865 8.82/8.23 c cleaning 13002 clauses out of 26003 with flag 376229/96864 10.32/9.71 c cleaning 14000 clauses out of 27999 with flag 436169/111863 11.73/11.20 c cleaning 15001 clauses out of 30003 with flag 495442/127867 13.23/12.60 c cleaning 15997 clauses out of 32003 with flag 554445/144868 14.93/14.36 c cleaning 16999 clauses out of 34006 with flag 635702/162868 16.82/16.26 c cleaning 17997 clauses out of 36002 with flag 715783/181863 17.23/16.68 c Got one! Elapsed wall clock time (in seconds):16.57 17.23/16.68 o -7 17.72/17.16 c cleaning 14675 clauses out of 29363 with flag 19386/193221 18.23/17.64 c cleaning 10334 clauses out of 20686 with flag 49090/199220 18.62/18.08 c cleaning 8669 clauses out of 17351 with flag 76429/206219 19.13/18.58 c cleaning 8336 clauses out of 16684 with flag 107676/214221 19.83/19.22 c cleaning 8671 clauses out of 17348 with flag 146172/223221 20.43/19.82 c cleaning 9332 clauses out of 18675 with flag 181318/233219 21.13/20.51 c cleaning 10169 clauses out of 20343 with flag 217727/244219 21.93/21.38 c cleaning 11084 clauses out of 22174 with flag 265003/256219 22.82/22.28 c cleaning 12043 clauses out of 24090 with flag 309564/269219 23.83/23.24 c cleaning 13024 clauses out of 26049 with flag 355631/283221 24.93/24.37 c cleaning 14003 clauses out of 28023 with flag 410133/298219 26.22/25.62 c cleaning 15007 clauses out of 30022 with flag 464523/314221 27.63/27.05 c cleaning 15997 clauses out of 32013 with flag 526729/331219 29.13/28.57 c cleaning 17007 clauses out of 34017 with flag 589880/349220 30.93/30.34 c cleaning 18001 clauses out of 36009 with flag 666358/368219 32.74/32.14 c cleaning 19002 clauses out of 38009 with flag 740596/388220 34.54/33.99 c cleaning 20003 clauses out of 40006 with flag 816661/409219 36.74/36.18 c cleaning 20998 clauses out of 42003 with flag 905875/431219 38.94/38.39 c cleaning 22001 clauses out of 44006 with flag 995324/454220 41.35/40.73 c cleaning 22997 clauses out of 46005 with flag 1082356/478220 43.84/43.29 c cleaning 24005 clauses out of 48011 with flag 1180795/503223 46.74/46.12 c cleaning 25005 clauses out of 50012 with flag 1291481/529229 49.74/49.16 c cleaning 25995 clauses out of 51998 with flag 1402821/556220 52.94/52.30 c cleaning 26996 clauses out of 54002 with flag 1520743/584219 56.14/55.52 c cleaning 27999 clauses out of 56007 with flag 1629397/613220 59.74/59.15 c cleaning 28996 clauses out of 58006 with flag 1755621/643219 63.35/62.79 c cleaning 29997 clauses out of 60010 with flag 1870725/674219 67.44/66.80 c cleaning 31006 clauses out of 62016 with flag 1989368/706222 71.24/70.68 c cleaning 32002 clauses out of 64007 with flag 2105439/739219 75.75/75.15 c cleaning 32999 clauses out of 66005 with flag 2228404/773220 80.08/79.48 c cleaning 34001 clauses out of 68007 with flag 2345767/808221 84.68/84.02 c cleaning 34999 clauses out of 70004 with flag 2469450/844219 89.29/88.64 c cleaning 35999 clauses out of 72006 with flag 2595685/881220 94.20/93.52 c cleaning 37001 clauses out of 74008 with flag 2724252/919221 99.59/98.98 c cleaning 37997 clauses out of 76005 with flag 2863864/958219 105.09/104.47 c cleaning 38996 clauses out of 78010 with flag 2999659/998221 110.99/110.33 c cleaning 40004 clauses out of 80014 with flag 3136921/1039222 117.00/116.38 c cleaning 40997 clauses out of 82007 with flag 3277710/1081219 123.70/123.02 c cleaning 41999 clauses out of 84009 with flag 3432369/1124219 130.60/129.97 c cleaning 43004 clauses out of 86012 with flag 3585008/1168222 137.76/137.03 c cleaning 44001 clauses out of 88007 with flag 3734465/1213221 144.87/144.17 c cleaning 45001 clauses out of 90006 with flag 3889499/1259221 152.48/151.72 c cleaning 45994 clauses out of 92006 with flag 4050470/1306222 160.68/159.95 c cleaning 47002 clauses out of 94009 with flag 4214441/1354220 169.09/168.33 c cleaning 48000 clauses out of 96007 with flag 4386001/1403221 177.59/176.83 c cleaning 48999 clauses out of 98006 with flag 4546869/1453220 186.70/185.98 c cleaning 49984 clauses out of 100006 with flag 4713483/1504219 196.19/195.44 c cleaning 51012 clauses out of 102026 with flag 4886190/1556223 205.99/205.29 c cleaning 52001 clauses out of 104011 with flag 5068406/1609220 216.60/215.79 c cleaning 52999 clauses out of 106010 with flag 5250992/1663220 227.10/226.26 c cleaning 53999 clauses out of 108010 with flag 5440782/1718219 238.10/237.27 c cleaning 54997 clauses out of 110011 with flag 5631737/1774219 250.20/249.32 c cleaning 56002 clauses out of 112014 with flag 5830011/1831220 262.00/261.15 c cleaning 57002 clauses out of 114012 with flag 6028468/1889220 274.92/274.05 c cleaning 58003 clauses out of 116010 with flag 6235565/1948222 287.61/286.78 c cleaning 59000 clauses out of 118007 with flag 6438207/2008222 301.22/300.34 c cleaning 60001 clauses out of 120006 with flag 6646409/2069221 315.44/314.48 c cleaning 61000 clauses out of 122005 with flag 6864219/2131221 330.55/329.50 c cleaning 61995 clauses out of 124000 with flag 7081942/2194219 345.85/344.83 c cleaning 63003 clauses out of 126009 with flag 7312406/2258223 362.05/361.04 c cleaning 63996 clauses out of 127995 with flag 7532800/2323219 379.05/378.04 c cleaning 64993 clauses out of 129996 with flag 7749910/2389219 397.16/396.13 c cleaning 65992 clauses out of 131996 with flag 7963367/2456220 406.66/405.64 c starts : 10445 406.66/405.64 c conflicts : 2500127 406.66/405.64 c decisions : 4886892 406.66/405.64 c propagations : 89292781 406.66/405.64 c inspects : 7927102566 406.66/405.64 c shortcuts : 0 406.66/405.64 c learnt literals : 43 406.66/405.64 c learnt binary clauses : 141 406.66/405.64 c learnt ternary clauses : 30527 406.66/405.64 c learnt constraints : 2500083 406.66/405.64 c ignored constraints : 0 406.66/405.64 c root simplifications : 0 406.66/405.64 c removed literals (reason simplification) : 0 406.66/405.64 c reason swapping (by a shorter reason) : 0 406.66/405.64 c Calls to reduceDB : 78 406.66/405.64 c Number of update (reduction) of LBD : 796835 406.66/405.64 c Imported unit clauses : 0 406.66/405.64 c number of reductions to clauses (during analyze) : 0 406.66/405.64 c number of learned constraints concerned by reduction : 0 406.66/405.64 c number of learning phase by resolution : 0 406.66/405.64 c number of learning phase by cutting planes : 0 406.66/405.64 c speed (assignments/second) : 220289.43635390274 406.66/405.64 c non guided choices 0 406.66/405.64 c learnt constraints type 406.66/405.64 s OPTIMUM FOUND 406.66/405.64 c Found 5 solution(s) 406.66/405.64 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 406.66/405.64 c objective function=-7 406.66/405.64 c Total wall clock time (in seconds): 405.529
OK -7
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4085817-1465260780/watcher-4085817-1465260780 -o /tmp/evaluation-result-4085817-1465260780/solver-4085817-1465260780 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085817-1465260780.opb pid=6427 running on 4 cores: 1,3,5,7 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.09 2.12 2.15 4/194 6430 /proc/meminfo: memFree=30258944/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/6430/stat : 6430 (java) R 6427 6430 5680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 108012700 278528 30 33554432000 1073741824 1073778376 140735761381488 140734380818760 271778409959 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 68 33 25 9 0 25 0 [startup+0.100166 s] /proc/loadavg: 2.09 2.12 2.15 4/194 6430 /proc/meminfo: memFree=30258944/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 108012700 9787879424 6042 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2389619 6042 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200328 s] /proc/loadavg: 2.09 2.12 2.15 4/194 6430 /proc/meminfo: memFree=30258944/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 4593 0 1 0 21 1 0 0 20 0 18 0 108012700 9787879424 6688 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2389619 6688 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300344 s] /proc/loadavg: 2.09 2.12 2.15 4/194 6430 /proc/meminfo: memFree=30258944/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9558476 CPUtime=0.44 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 6053 0 1 0 43 1 0 0 20 0 18 0 108012700 9787879424 9266 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2389619 9266 2250 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558476 [startup+0.700261 s] /proc/loadavg: 2.09 2.12 2.15 4/194 6430 /proc/meminfo: memFree=30258944/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 9901 0 1 0 114 2 0 0 20 0 19 0 108012700 9856040960 11847 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 11847 2260 9 0 2396937 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 9625040 [startup+1.50075 s] /proc/loadavg: 2.09 2.12 2.15 3/213 6449 /proc/meminfo: memFree=30219020/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=2.07 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 10377 0 1 0 205 2 0 0 20 0 19 0 108012700 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 12402 2269 9 0 2396937 0 [pid=6430/tid=6432] ppid=6427 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/6430/task/6432/stat : 6432 (java) R 6427 6430 5680 0 -1 4202560 2420 0 1 0 145 1 0 0 20 0 19 0 108012701 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443070660304 140442897780759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6433] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6433/stat : 6433 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443032160552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6434] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6434/stat : 6434 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443031107752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.26 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3088 0 0 0 26 0 0 0 20 0 19 0 108012706 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 31 0 0 0 20 0 19 0 108012706 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 12402 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 9625040 [startup+3.10072 s] /proc/loadavg: 2.09 2.12 2.15 3/213 6449 /proc/meminfo: memFree=30214240/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=3.71 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 10382 0 1 0 369 2 0 0 20 0 19 0 108012700 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 13428 2270 9 0 2396937 0 [pid=6430/tid=6432] ppid=6427 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/6430/task/6432/stat : 6432 (java) R 6427 6430 5680 0 -1 4202560 2423 0 1 0 305 1 0 0 20 0 19 0 108012701 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443070669080 140442897753376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6433] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6433/stat : 6433 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443032160552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6434] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6434/stat : 6434 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443031107752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3090 0 0 0 29 0 0 0 20 0 19 0 108012706 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 32 0 0 0 20 0 19 0 108012706 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 13428 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.08 2.12 2.15 4/213 6449 /proc/meminfo: memFree=30199720/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=6.91 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 10392 0 1 0 689 2 0 0 20 0 19 0 108012700 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 17509 2271 9 0 2396937 0 [pid=6430/tid=6432] ppid=6427 vsize=9625040 CPUtime=6.27 cores=1,3,5,7 /proc/6430/task/6432/stat : 6432 (java) R 6427 6430 5680 0 -1 4202560 2432 0 1 0 625 2 0 0 20 0 19 0 108012701 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443070660272 140442897732671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6433] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6433/stat : 6433 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443032160552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6434] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6434/stat : 6434 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443031107752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108012702 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3090 0 0 0 29 0 0 0 20 0 19 0 108012706 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 32 0 0 0 20 0 19 0 108012706 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 17509 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.91 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 117 0 0 0 5 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 70 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 185 0 0 0 5 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 87 0 0 0 2 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3107 0 0 0 34 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 32 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0.14 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 24 0 0 0 6 8 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 404.26 Current children cumulated vsize (KiB) 9625040 [startup+404.801 s] /proc/loadavg: 2.04 2.07 2.11 3/213 6522 /proc/meminfo: memFree=30371888/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=405.86 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 11246 0 1 0 40565 21 0 0 20 0 19 0 108012700 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 67627 2285 9 0 2396937 0 [pid=6430/tid=6432] ppid=6427 vsize=9625040 CPUtime=404.66 cores=1,3,5,7 /proc/6430/task/6432/stat : 6432 (java) R 6427 6430 5680 0 -1 4202560 2488 0 1 0 40456 10 0 0 20 0 19 0 108012701 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443070660272 140442897841814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6433] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6433/stat : 6433 (java) S 6427 6430 5680 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443032160552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6434] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6434/stat : 6434 (java) S 6427 6430 5680 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443031107752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 117 0 0 0 5 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 70 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 185 0 0 0 5 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 87 0 0 0 2 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3107 0 0 0 34 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 32 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0.14 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 24 0 0 0 6 8 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 405.86 Current children cumulated vsize (KiB) 9625040 [startup+405.201 s] /proc/loadavg: 2.04 2.07 2.11 3/213 6522 /proc/meminfo: memFree=30371888/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=406.26 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 11246 0 1 0 40605 21 0 0 20 0 19 0 108012700 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 67627 2285 9 0 2396937 0 [pid=6430/tid=6432] ppid=6427 vsize=9625040 CPUtime=405.05 cores=1,3,5,7 /proc/6430/task/6432/stat : 6432 (java) R 6427 6430 5680 0 -1 4202560 2488 0 1 0 40495 10 0 0 20 0 19 0 108012701 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443070660272 140442897841864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6433] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6433/stat : 6433 (java) S 6427 6430 5680 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443032160552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6434] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6434/stat : 6434 (java) S 6427 6430 5680 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443031107752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 117 0 0 0 5 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 70 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 185 0 0 0 5 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 87 0 0 0 2 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3107 0 0 0 34 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 32 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0.14 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 24 0 0 0 6 8 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 406.26 Current children cumulated vsize (KiB) 9625040 [startup+405.601 s] /proc/loadavg: 2.04 2.07 2.11 3/213 6522 /proc/meminfo: memFree=30371888/32872528 swapFree=13072/1184284 [pid=6430] ppid=6427 vsize=9625040 CPUtime=406.66 cores=1,3,5,7 /proc/6430/stat : 6430 (java) S 6427 6430 5680 0 -1 4202496 11248 0 1 0 40645 21 0 0 20 0 19 0 108012700 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140735761372624 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6430/statm: 2406260 67627 2285 9 0 2396937 0 [pid=6430/tid=6432] ppid=6427 vsize=9625040 CPUtime=405.45 cores=1,3,5,7 /proc/6430/task/6432/stat : 6432 (java) R 6427 6430 5680 0 -1 4202560 2488 0 1 0 40535 10 0 0 20 0 19 0 108012701 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443070660272 140442897966900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=6430/tid=6433] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6433/stat : 6433 (java) S 6427 6430 5680 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443032160552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6434] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6434/stat : 6434 (java) S 6427 6430 5680 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443031107752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6435] ppid=6427 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/6430/task/6435/stat : 6435 (java) S 6427 6430 5680 0 -1 4202560 117 0 0 0 5 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443030055464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=6430/tid=6436] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6436/stat : 6436 (java) S 6427 6430 5680 0 -1 4202560 70 0 0 0 4 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443029002664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6437] ppid=6427 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/6430/task/6437/stat : 6437 (java) S 6427 6430 5680 0 -1 4202560 185 0 0 0 5 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443027950376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6438] ppid=6427 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/6430/task/6438/stat : 6438 (java) S 6427 6430 5680 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443026897576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6439] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6439/stat : 6439 (java) S 6427 6430 5680 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443025845288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6440] ppid=6427 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/6430/task/6440/stat : 6440 (java) S 6427 6430 5680 0 -1 4202560 87 0 0 0 2 2 0 0 20 0 19 0 108012702 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140443024792488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6441] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6441/stat : 6441 (java) S 6427 6430 5680 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 19 0 108012703 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442894055656 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6442] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6442/stat : 6442 (java) S 6427 6430 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442893001720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6443] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6443/stat : 6443 (java) S 6427 6430 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108012704 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442891949320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6444] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6444/stat : 6444 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442890897808 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6445] ppid=6427 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/6430/task/6445/stat : 6445 (java) S 6427 6430 5680 0 -1 4202560 3109 0 0 0 34 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442889845432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6446] ppid=6427 vsize=9625040 CPUtime=0.32 cores=1,3,5,7 /proc/6430/task/6446/stat : 6446 (java) S 6427 6430 5680 0 -1 4202560 3596 0 0 0 32 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442888792632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6447] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6447/stat : 6447 (java) S 6427 6430 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442887740536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=6430/tid=6448] ppid=6427 vsize=9625040 CPUtime=0.14 cores=1,3,5,7 /proc/6430/task/6448/stat : 6448 (java) S 6427 6430 5680 0 -1 4202560 24 0 0 0 6 8 0 0 20 0 19 0 108012706 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442886687944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=6430/tid=6449] ppid=6427 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/6430/task/6449/stat : 6449 (java) S 6427 6430 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108012730 9856040960 67627 33554432000 1073741824 1073778376 140735761381488 140442885632936 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 406.66 Current children cumulated vsize (KiB) 9625040 Child status: 30 Real time (s): 405.66 CPU time (s): 406.881 CPU user time (s): 406.529 CPU system time (s): 0.351946 CPU usage (%): 100.301 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 406.529 system time used= 0.351946 maximum resident set size= 270592 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11277 page faults= 1 swaps= 0 block input operations= 0 block output operations= 384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8956 involuntary context switches= 950 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.3258 second user time and 1.76073 second system time The end
Begin job on node115 at 2016-06-07 02:53:00 IDJOB=4085817 IDBENCH=48248 IDSOLVER=2546 FILE ID=node115/4085817-1465260780 RUNJOBID= node115-1465253623-5697 PBS_JOBID= 19843266 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085817-1465260780/watcher-4085817-1465260780 -o /tmp/evaluation-result-4085817-1465260780/solver-4085817-1465260780 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085817-1465260780.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED=1235660983 node115.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.174 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 : 5332.34 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.174 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 : 5332.56 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.174 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 : 5332.56 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.174 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 : 5332.57 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.174 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 : 5332.55 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.174 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 : 5332.57 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.174 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 : 5332.57 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.174 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30258944 kB Buffers: 34488 kB Cached: 101200 kB SwapCached: 2032 kB Active: 638840 kB Inactive: 83396 kB Active(anon): 585340 kB Inactive(anon): 3692 kB Active(file): 53500 kB Inactive(file): 79704 kB Unevictable: 1184284 kB Mlocked: 13072 kB SwapTotal: 67108856 kB SwapFree: 67098756 kB Dirty: 840 kB Writeback: 0 kB AnonPages: 1772188 kB Mapped: 16376 kB Shmem: 0 kB Slab: 571796 kB SReclaimable: 15540 kB SUnreclaim: 556256 kB KernelStack: 1584 kB PageTables: 7776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1922140 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1746944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node115 at 2016-06-07 02:59:46