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 | -6 | 767.29 | 765.921 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb |
| MD5SUM | 75c62437256ecfefd1c4252ede4b185e |
| 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 | 767.29 |
| 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) | 2928 |
| Sum of products size (including duplicates) | 5856 |
| Number of different products | 1464 |
| Sum of products size | 2928 |
0.06/0.32 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.06/0.32 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.32 c See www.sat4j.org for details. 0.06/0.32 c version PB16.v20160501 0.06/0.32 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.32 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.32 c java.vm.version 19.1-b02 0.06/0.32 c java.vm.vendor Sun Microsystems Inc. 0.06/0.32 c sun.arch.data.model 64 0.06/0.32 c java.version 1.6.0_24 0.06/0.32 c os.name Linux 0.06/0.32 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.32 c os.arch amd64 0.06/0.32 c Free memory 501472288 0.06/0.32 c Max memory 7480803328 0.06/0.32 c Total memory 504102912 0.06/0.32 c Number of processors 8 0.06/0.35 c Pseudo Boolean Optimization by upper bound 0.06/0.35 c --- Begin Solver configuration --- 0.06/0.35 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.06/0.35 c Learn all clauses as in MiniSAT 0.06/0.35 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.35 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.35 c No reason simplification 0.06/0.35 c Glucose 2.1 dynamic restart strategy 0.06/0.35 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.06/0.35 c timeout=2147483s 0.06/0.35 c DB Simplification allowed=false 0.06/0.35 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.06/0.35 c --- End Solver configuration --- 0.06/0.35 c solving HOME/instance-4106753-1466275999.opb 0.06/0.35 c reading problem ... 0.06/0.36 c objective function found 0.34/0.55 c ... done. Wall clock time 0.196s. 0.34/0.55 c declared #vars 100 0.34/0.55 c internal #vars 1564 0.34/0.55 c #constraints 3080 0.34/0.55 c constraints type 0.34/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1464 0.34/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 0.34/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 0.34/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1464 0.34/0.55 c 3080 constraints processed. 0.34/0.55 c objective function length is 50 literals 0.55/0.66 c SATISFIABLE 0.55/0.66 c OPTIMIZING... 0.55/0.66 c Got one! Elapsed wall clock time (in seconds):0.311 0.55/0.67 o -3 1.16/1.00 c Got one! Elapsed wall clock time (in seconds):0.649 1.16/1.00 o -4 1.16/1.02 c Got one! Elapsed wall clock time (in seconds):0.668 1.16/1.02 o -5 1.32/1.20 c cleaning 2802 clauses out of 5605 with flag 5387/5605 1.96/1.61 c cleaning 4400 clauses out of 8800 with flag 27516/11602 1.96/1.69 c Got one! Elapsed wall clock time (in seconds):1.335 1.96/1.69 o -6 2.36/2.03 c cleaning 4960 clauses out of 9920 with flag 11076/17122 3.14/2.44 c cleaning 5468 clauses out of 10957 with flag 28189/23119 3.64/2.88 c cleaning 6247 clauses out of 12496 with flag 49262/30126 4.25/3.47 c cleaning 7116 clauses out of 14242 with flag 73537/38119 4.84/4.09 c cleaning 8061 clauses out of 16126 with flag 99811/47119 5.65/4.88 c cleaning 9028 clauses out of 18066 with flag 131985/57120 6.56/5.71 c cleaning 10019 clauses out of 20038 with flag 169783/68120 7.56/6.78 c cleaning 11000 clauses out of 22018 with flag 213949/80119 8.76/7.98 c cleaning 12005 clauses out of 24018 with flag 260817/93119 9.97/9.11 c cleaning 13004 clauses out of 26015 with flag 307075/107121 11.27/10.46 c cleaning 14002 clauses out of 28009 with flag 363914/122119 12.67/11.80 c cleaning 15001 clauses out of 30007 with flag 416767/138119 14.27/13.40 c cleaning 15988 clauses out of 32006 with flag 475815/155119 15.87/15.09 c cleaning 17006 clauses out of 34018 with flag 539874/173119 17.78/16.93 c cleaning 18000 clauses out of 36013 with flag 614342/192120 19.68/18.88 c cleaning 19000 clauses out of 38013 with flag 691842/212120 21.88/21.05 c cleaning 20002 clauses out of 40012 with flag 772160/233119 24.17/23.32 c cleaning 20997 clauses out of 42010 with flag 855296/255119 26.77/25.94 c cleaning 21999 clauses out of 44013 with flag 940448/278119 29.48/28.65 c cleaning 23006 clauses out of 46016 with flag 1034126/302121 32.47/31.66 c cleaning 23987 clauses out of 48008 with flag 1132351/327119 35.67/34.84 c cleaning 25008 clauses out of 50021 with flag 1233200/353119 38.81/37.96 c cleaning 25995 clauses out of 52013 with flag 1338350/380119 42.31/41.43 c cleaning 27010 clauses out of 54019 with flag 1457074/408120 45.91/45.04 c cleaning 28004 clauses out of 56010 with flag 1584897/437121 49.42/48.51 c cleaning 28998 clauses out of 58006 with flag 1695035/467121 53.31/52.44 c cleaning 29996 clauses out of 60006 with flag 1803385/498119 57.31/56.43 c cleaning 31004 clauses out of 62012 with flag 1920315/530121 61.71/60.89 c cleaning 32003 clauses out of 64007 with flag 2043196/563120 67.02/66.16 c cleaning 32998 clauses out of 66003 with flag 2198522/597120 71.81/70.99 c cleaning 34000 clauses out of 68004 with flag 2324535/632119 76.82/75.97 c cleaning 34996 clauses out of 70004 with flag 2450625/668119 82.22/81.33 c cleaning 36002 clauses out of 72010 with flag 2583458/705121 87.82/86.96 c cleaning 37002 clauses out of 74006 with flag 2712604/743119 93.54/92.64 c cleaning 37998 clauses out of 76004 with flag 2851699/782119 99.44/98.52 c cleaning 39000 clauses out of 78008 with flag 2992516/822121 105.64/104.72 c cleaning 39997 clauses out of 80006 with flag 3133507/863119 112.05/111.13 c cleaning 40999 clauses out of 82009 with flag 3280591/905119 118.84/117.96 c cleaning 42003 clauses out of 84010 with flag 3431158/948119 126.04/125.13 c cleaning 42999 clauses out of 86007 with flag 3581846/992119 133.44/132.52 c cleaning 43998 clauses out of 88009 with flag 3741059/1037120 141.04/140.16 c cleaning 45000 clauses out of 90010 with flag 3902936/1083119 148.94/148.09 c cleaning 46001 clauses out of 92011 with flag 4061513/1130120 157.70/156.76 c cleaning 46993 clauses out of 94009 with flag 4230385/1178119 166.50/165.58 c cleaning 48001 clauses out of 96016 with flag 4405310/1227119 176.01/175.08 c cleaning 49004 clauses out of 98015 with flag 4591550/1277119 185.30/184.36 c cleaning 50005 clauses out of 100011 with flag 4769158/1328119 195.20/194.28 c cleaning 50998 clauses out of 102012 with flag 4944855/1380125 205.50/204.56 c cleaning 52003 clauses out of 104008 with flag 5133324/1433119 216.10/215.16 c cleaning 52999 clauses out of 106005 with flag 5318476/1487119 227.11/226.19 c cleaning 54000 clauses out of 108006 with flag 5506210/1542119 238.34/237.35 c cleaning 55002 clauses out of 110006 with flag 5693314/1598119 250.04/249.01 c cleaning 55997 clauses out of 112004 with flag 5893087/1655119 262.14/261.18 c cleaning 56996 clauses out of 114009 with flag 6099446/1713121 275.06/274.03 c cleaning 58000 clauses out of 116010 with flag 6305329/1772119 287.97/286.92 c cleaning 59001 clauses out of 118010 with flag 6516707/1832119 301.57/300.56 c cleaning 59999 clauses out of 120009 with flag 6728875/1893119 316.17/315.15 c cleaning 61003 clauses out of 122012 with flag 6955092/1955121 331.11/330.04 c cleaning 61998 clauses out of 124006 with flag 7181359/2018119 345.76/344.65 c cleaning 62997 clauses out of 126013 with flag 7409567/2082124 361.26/360.17 c cleaning 64001 clauses out of 128012 with flag 7646937/2147120 377.27/376.12 c cleaning 64999 clauses out of 130011 with flag 7882380/2213120 393.77/392.65 c cleaning 65999 clauses out of 132012 with flag 8126230/2280120 411.37/410.25 c cleaning 67002 clauses out of 134017 with flag 8372125/2348124 429.21/428.02 c cleaning 67995 clauses out of 136010 with flag 8628149/2417119 447.41/446.25 c cleaning 69000 clauses out of 138018 with flag 8879270/2487122 467.32/466.17 c cleaning 69997 clauses out of 140014 with flag 9147895/2558121 486.22/485.10 c cleaning 70995 clauses out of 142016 with flag 9412083/2630120 507.02/505.88 c cleaning 72004 clauses out of 144020 with flag 9678238/2703120 527.99/526.78 c cleaning 73001 clauses out of 146016 with flag 9943216/2777121 549.79/548.56 c cleaning 73998 clauses out of 148013 with flag 10217983/2852119 572.09/570.83 c cleaning 75005 clauses out of 150017 with flag 10500321/2928122 594.99/593.71 c cleaning 75997 clauses out of 152008 with flag 10774936/3005119 620.58/619.34 c cleaning 77002 clauses out of 154013 with flag 11069618/3083121 647.38/646.08 c cleaning 78000 clauses out of 156007 with flag 11364198/3162119 674.77/673.40 c cleaning 78997 clauses out of 158007 with flag 11663077/3242120 701.17/699.88 c cleaning 79998 clauses out of 160007 with flag 11966005/3323119 730.79/729.43 c cleaning 80998 clauses out of 162002 with flag 12268006/3405119 761.49/760.10 c cleaning 81989 clauses out of 163993 with flag 12559006/3488119 767.29/765.91 c starts : 16392 767.29/765.91 c conflicts : 3513853 767.29/765.91 c decisions : 7136371 767.29/765.91 c propagations : 128809687 767.29/765.91 c inspects : 14153744789 767.29/765.91 c shortcuts : 0 767.29/765.91 c learnt literals : 44 767.29/765.91 c learnt binary clauses : 132 767.29/765.91 c learnt ternary clauses : 34691 767.29/765.91 c learnt constraints : 3513808 767.29/765.91 c ignored constraints : 0 767.29/765.91 c root simplifications : 0 767.29/765.91 c removed literals (reason simplification) : 0 767.29/765.91 c reason swapping (by a shorter reason) : 0 767.29/765.91 c Calls to reduceDB : 81 767.29/765.91 c Number of update (reduction) of LBD : 1159756 767.29/765.91 c Imported unit clauses : 0 767.29/765.91 c number of reductions to clauses (during analyze) : 0 767.29/765.91 c number of learned constraints concerned by reduction : 0 767.29/765.91 c number of learning phase by resolution : 0 767.29/765.91 c number of learning phase by cutting planes : 0 767.29/765.91 c speed (assignments/second) : 168300.57554990822 767.29/765.91 c non guided choices 0 767.29/765.91 c learnt constraints type 767.29/765.91 s OPTIMUM FOUND 767.29/765.91 c Found 4 solution(s) 767.29/765.91 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 767.29/765.91 c objective function=-6 767.29/765.91 c Total wall clock time (in seconds): 765.559
OK -6
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-4106753-1466275999/watcher-4106753-1466275999 -o /tmp/evaluation-result-4106753-1466275999/solver-4106753-1466275999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466275999-22550 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106753-1466275999.opb pid=22571 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: 1.26 1.85 2.01 4/173 22574 /proc/meminfo: memFree=30587696/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/22574/stat : 22574 (java) D 22571 22574 22534 0 -1 4202496 157 0 1 0 0 0 0 0 20 0 1 0 29648854 278528 33 33554432000 1073741824 1073778376 140734559365120 140734559362296 271778409767 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/22574/statm: 68 33 25 9 0 25 0 [startup+0.100126 s] /proc/loadavg: 1.26 1.85 2.01 4/173 22574 /proc/meminfo: memFree=30587696/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/22574/stat : 22574 (java) D 22571 22574 22534 0 -1 4202496 1143 0 18 0 0 0 0 0 20 0 1 0 29648854 23793664 811 33554432000 1073741824 1073778376 140733415246832 140733415236824 140049625926112 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 6 0 0 /proc/22574/statm: 5809 811 605 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.200346 s] /proc/loadavg: 1.26 1.85 2.01 4/173 22574 /proc/meminfo: memFree=30587696/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9092432 CPUtime=0.02 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 3013 0 27 0 1 1 0 0 20 0 11 0 29648854 9310650368 3150 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2273108 3150 1644 9 0 2263809 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9092432 [startup+0.300314 s] /proc/loadavg: 1.26 1.85 2.01 4/173 22574 /proc/meminfo: memFree=30587696/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 3390 0 27 0 5 1 0 0 20 0 18 0 29648854 9787879424 4036 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2389619 4036 1788 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558476 [startup+0.700136 s] /proc/loadavg: 1.26 1.85 2.01 4/173 22574 /proc/meminfo: memFree=30587696/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 8465 0 27 0 79 3 0 0 20 0 19 0 29648854 9856040960 10063 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 10063 2258 9 0 2396937 0 Current children cumulated CPU time (s) 0.82 Current children cumulated vsize (KiB) 9625040 [startup+1.50074 s] /proc/loadavg: 1.48 1.89 2.02 9/212 22616 /proc/meminfo: memFree=30300980/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=1.85 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 8536 0 27 0 182 3 0 0 20 0 19 0 29648854 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 11152 2270 9 0 2396937 0 [pid=22574/tid=22583] ppid=22571 vsize=9625040 CPUtime=1.22 cores=0,2,4,6 /proc/22574/task/22583/stat : 22583 (java) R 22571 22574 22534 0 -1 4202560 2459 0 6 0 120 2 0 0 20 0 19 0 29648865 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049621171656 140049560928169 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=22574/tid=22584] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22584/stat : 22584 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049559902504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22585] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22585/stat : 22585 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049558849704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22586] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22586/stat : 22586 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049557797416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22587] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22587/stat : 22587 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049556744616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22589] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22589/stat : 22589 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049460706088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22590] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22590/stat : 22590 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049459653288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22591] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22591/stat : 22591 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049458601000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22593] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22593/stat : 22593 (java) S 22571 22574 22534 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049457548200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22601] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22601/stat : 22601 (java) S 22571 22574 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29648873 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049445349608 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.25 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) R 22571 22574 22534 0 -1 4202560 1855 0 0 0 25 0 0 0 20 0 19 0 29648881 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049441139384 140049627325204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.33 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) R 22571 22574 22534 0 -1 4202560 2971 0 0 0 33 0 0 0 20 0 19 0 29648881 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049440086584 140049627016542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 11152 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 1.48 1.89 2.02 5/213 22617 /proc/meminfo: memFree=30185368/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=3.94 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 16660 0 27 0 390 4 0 0 20 0 19 0 29648854 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 17961 2270 9 0 2396937 0 [pid=22574/tid=22583] ppid=22571 vsize=9625040 CPUtime=2.82 cores=0,2,4,6 /proc/22574/task/22583/stat : 22583 (java) R 22571 22574 22534 0 -1 4202560 2464 0 6 0 280 2 0 0 20 0 19 0 29648865 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049621172744 140049561488986 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=22574/tid=22584] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22584/stat : 22584 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049559902504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22585] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22585/stat : 22585 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049558849704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22586] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22586/stat : 22586 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049557797416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22587] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22587/stat : 22587 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049556744616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22589] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22589/stat : 22589 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049460706088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22590] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22590/stat : 22590 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049459653288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22591] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22591/stat : 22591 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049458601000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22593] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22593/stat : 22593 (java) S 22571 22574 22534 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049457548200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22601] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22601/stat : 22601 (java) S 22571 22574 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29648873 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049445349608 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) S 22571 22574 22534 0 -1 4202560 9966 0 0 0 70 1 0 0 20 0 19 0 29648881 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049441139384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) S 22571 22574 22534 0 -1 4202560 2979 0 0 0 37 0 0 0 20 0 19 0 29648881 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049440086584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 17961 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 9625040 [startup+6.30081 s] /proc/loadavg: 1.48 1.89 2.02 4/213 22617 /proc/meminfo: memFree=30159560/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=7.15 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 16669 0 27 0 710 5 0 0 20 0 19 0 29648854 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 21504 2271 9 0 2396937 0 [pid=22574/tid=22583] ppid=22571 vsize=9625040 CPUtime=6.01 cores=0,2,4,6 /proc/22574/task/22583/stat : 22583 (java) R 22571 22574 22534 0 -1 4202560 2472 0 6 0 599 2 0 0 20 0 19 0 29648865 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049621172648 140049561425797 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 [pid=22574/tid=22584] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22584/stat : 22584 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049559902504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22585] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22585/stat : 22585 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049558849704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22586] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22586/stat : 22586 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049557797416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22587] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22587/stat : 22587 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049556744616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22589] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22589/stat : 22589 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049460706088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22590] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22590/stat : 22590 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049459653288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22591] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22591/stat : 22591 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049458601000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22593] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22593/stat : 22593 (java) S 22571 22574 22534 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29648870 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049457548200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22601] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22601/stat : 22601 (java) S 22571 22574 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29648873 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049445349608 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) S 22571 22574 22534 0 -1 4202560 9966 0 0 0 70 2 0 0 20 0 19 0 29648881 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049441139384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) S 22571 22574 22534 0 -1 4202560 2979 0 0 0 37 0 0 0 20 0 19 0 29648881 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049440086584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 21504 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.15 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.86 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) S 22571 22574 22534 0 -1 4202560 9990 0 0 0 84 2 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049441139384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) S 22571 22574 22534 0 -1 4202560 2979 0 0 0 37 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049440086584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 46 0 0 0 13 15 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 766.19 Current children cumulated vsize (KiB) 9625040 [startup+765.601 s] /proc/loadavg: 2.10 2.10 2.04 3/213 22658 /proc/meminfo: memFree=29429384/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=767 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 17109 0 27 0 76674 26 0 0 20 0 19 0 29648854 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 63972 2285 9 0 2396937 0 [pid=22574/tid=22583] ppid=22571 vsize=9625040 CPUtime=763.18 cores=0,2,4,6 /proc/22574/task/22583/stat : 22583 (java) R 22571 22574 22534 0 -1 4202560 2535 0 6 0 76304 14 0 0 20 0 19 0 29648865 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049621163808 140049561343039 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 [pid=22574/tid=22584] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22584/stat : 22584 (java) S 22571 22574 22534 0 -1 4202560 32 0 0 0 4 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049559902504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22585] ppid=22571 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/22574/task/22585/stat : 22585 (java) S 22571 22574 22534 0 -1 4202560 36 0 0 0 2 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049558849704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22586] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22586/stat : 22586 (java) S 22571 22574 22534 0 -1 4202560 44 0 0 0 5 0 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049557797416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22587] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22587/stat : 22587 (java) S 22571 22574 22534 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049556744616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22589] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22589/stat : 22589 (java) S 22571 22574 22534 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049460706088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22590] ppid=22571 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/22574/task/22590/stat : 22590 (java) S 22571 22574 22534 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049459653288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22591] ppid=22571 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/22574/task/22591/stat : 22591 (java) S 22571 22574 22534 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049458601000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22593] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22593/stat : 22593 (java) S 22571 22574 22534 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049457548200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22601] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22601/stat : 22601 (java) S 22571 22574 22534 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 19 0 29648873 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049445349608 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.86 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) S 22571 22574 22534 0 -1 4202560 9990 0 0 0 84 2 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049441139384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) S 22571 22574 22534 0 -1 4202560 2979 0 0 0 37 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049440086584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 46 0 0 0 13 15 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 767 Current children cumulated vsize (KiB) 9625040 [startup+765.801 s] /proc/loadavg: 2.10 2.10 2.04 3/213 22658 /proc/meminfo: memFree=29429384/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=767.19 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 17111 0 27 0 76693 26 0 0 20 0 19 0 29648854 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 63972 2285 9 0 2396937 0 [pid=22574/tid=22583] ppid=22571 vsize=9625040 CPUtime=763.36 cores=0,2,4,6 /proc/22574/task/22583/stat : 22583 (java) R 22571 22574 22534 0 -1 4202560 2535 0 6 0 76322 14 0 0 20 0 19 0 29648865 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049621172864 140049561130946 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=22574/tid=22584] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22584/stat : 22584 (java) S 22571 22574 22534 0 -1 4202560 32 0 0 0 4 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049559902504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22585] ppid=22571 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/22574/task/22585/stat : 22585 (java) S 22571 22574 22534 0 -1 4202560 36 0 0 0 2 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049558849704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22586] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22586/stat : 22586 (java) S 22571 22574 22534 0 -1 4202560 44 0 0 0 5 0 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049557797416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22587] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22587/stat : 22587 (java) S 22571 22574 22534 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049556744616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22589] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22589/stat : 22589 (java) S 22571 22574 22534 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049460706088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22590] ppid=22571 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/22574/task/22590/stat : 22590 (java) S 22571 22574 22534 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049459653288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22591] ppid=22571 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/22574/task/22591/stat : 22591 (java) S 22571 22574 22534 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049458601000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22593] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22593/stat : 22593 (java) S 22571 22574 22534 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049457548200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22601] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22601/stat : 22601 (java) S 22571 22574 22534 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 19 0 29648873 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049445349608 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.86 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) S 22571 22574 22534 0 -1 4202560 9992 0 0 0 84 2 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049441139384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) S 22571 22574 22534 0 -1 4202560 2979 0 0 0 37 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049440086584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 46 0 0 0 13 15 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 767.19 Current children cumulated vsize (KiB) 9625040 [startup+765.901 s] /proc/loadavg: 2.10 2.10 2.04 3/213 22658 /proc/meminfo: memFree=29429384/32872528 swapFree=1103996/1183712 [pid=22574] ppid=22571 vsize=9625040 CPUtime=767.29 cores=0,2,4,6 /proc/22574/stat : 22574 (java) S 22571 22574 22534 0 -1 4202496 17111 0 27 0 76703 26 0 0 20 0 19 0 29648854 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140733415237968 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/22574/statm: 2406260 63972 2285 9 0 2396937 0 [pid=22574/tid=22583] ppid=22571 vsize=9625040 CPUtime=763.46 cores=0,2,4,6 /proc/22574/task/22583/stat : 22583 (java) R 22571 22574 22534 0 -1 4202560 2535 0 6 0 76332 14 0 0 20 0 19 0 29648865 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049621172864 140049561626688 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=22574/tid=22584] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22584/stat : 22584 (java) S 22571 22574 22534 0 -1 4202560 32 0 0 0 4 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049559902504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22585] ppid=22571 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/22574/task/22585/stat : 22585 (java) S 22571 22574 22534 0 -1 4202560 36 0 0 0 2 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049558849704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22586] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22586/stat : 22586 (java) S 22571 22574 22534 0 -1 4202560 44 0 0 0 5 0 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049557797416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22574/tid=22587] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22587/stat : 22587 (java) S 22571 22574 22534 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049556744616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22589] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22589/stat : 22589 (java) S 22571 22574 22534 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049460706088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22590] ppid=22571 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/22574/task/22590/stat : 22590 (java) S 22571 22574 22534 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049459653288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22591] ppid=22571 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/22574/task/22591/stat : 22591 (java) S 22571 22574 22534 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049458601000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22593] ppid=22571 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/22574/task/22593/stat : 22593 (java) S 22571 22574 22534 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 29648870 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049457548200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22601] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22601/stat : 22601 (java) S 22571 22574 22534 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 19 0 29648873 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049445349608 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22602] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22602/stat : 22602 (java) S 22571 22574 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049444295672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22604] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22604/stat : 22604 (java) S 22571 22574 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29648875 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049443243272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22608] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22608/stat : 22608 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049442191760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22610] ppid=22571 vsize=9625040 CPUtime=0.86 cores=0,2,4,6 /proc/22574/task/22610/stat : 22610 (java) S 22571 22574 22534 0 -1 4202560 9992 0 0 0 84 2 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049441139384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22574/tid=22612] ppid=22571 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/22574/task/22612/stat : 22612 (java) S 22571 22574 22534 0 -1 4202560 2979 0 0 0 37 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049440086584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22614] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22614/stat : 22614 (java) S 22571 22574 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049439034488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22574/tid=22615] ppid=22571 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/22574/task/22615/stat : 22615 (java) S 22571 22574 22534 0 -1 4202560 46 0 0 0 13 15 0 0 20 0 19 0 29648881 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049437981896 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22574/tid=22616] ppid=22571 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/22574/task/22616/stat : 22616 (java) S 22571 22574 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29648910 9856040960 63972 33554432000 1073741824 1073778376 140733415246832 140049436926888 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 767.29 Current children cumulated vsize (KiB) 9625040 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22574 and gives # childrusage.ru_utime.tv_sec=765 # childrusage.ru_utime.tv_usec=104686 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=523920 # CPU time returned by wait4() is 765.629 # while last known CPU time is 767.29 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 765.921 CPU time (s): 767.29 CPU user time (s): 767.03 CPU system time (s): 0.26 CPU usage (%): 100.179 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 765.105 system time used= 0.52392 maximum resident set size= 255944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17133 page faults= 27 swaps= 0 block input operations= 17200 block output operations= 664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16946 involuntary context switches= 2906 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.81827 second user time and 7.69583 second system time The end
Begin job on node115 at 2016-06-18 20:53:19 IDJOB=4106753 IDBENCH=48232 IDSOLVER=2546 FILE ID=node115/4106753-1466275999 RUNJOBID= node115-1466275999-22550 PBS_JOBID= 19918252 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_5.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106753-1466275999/watcher-4106753-1466275999 -o /tmp/evaluation-result-4106753-1466275999/solver-4106753-1466275999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466275999-22550 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106753-1466275999.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED=1223231284 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 : 2667.103 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 : 5334.20 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 : 2667.103 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.55 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 : 2667.103 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.55 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 : 2667.103 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.55 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 : 2667.103 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 : 2667.103 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.55 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 : 2667.103 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.55 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 : 2667.103 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: 30588820 kB Buffers: 161476 kB Cached: 189240 kB SwapCached: 2472 kB Active: 83964 kB Inactive: 270588 kB Active(anon): 4396 kB Inactive(anon): 2168 kB Active(file): 79568 kB Inactive(file): 268420 kB Unevictable: 1183712 kB Mlocked: 1103996 kB SwapTotal: 67108856 kB SwapFree: 67099632 kB Dirty: 1552 kB Writeback: 0 kB AnonPages: 1186388 kB Mapped: 8028 kB Shmem: 0 kB Slab: 612196 kB SReclaimable: 56528 kB SUnreclaim: 555668 kB KernelStack: 1336 kB PageTables: 6284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1279412 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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-18 21:06:05