Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | OPTIMUM | 2903.23 | 2906.17 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 2579890085d501026900faecb1210e44 |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.004456 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 220 |
| Total number of constraints | 42 |
| Number of soft constraints | 42 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 11 |
| Top cost | 2167 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 2166 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.15/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.15/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.15/0.11 c See www.sat4j.org for details. 0.15/0.12 c version CUSTOM.v20240707 0.15/0.14 c java.runtime.name OpenJDK Runtime Environment 0.15/0.14 c java.vm.name OpenJDK 64-Bit Server VM 0.15/0.14 c java.vm.version 22.0.1+8-16 0.15/0.14 c java.vm.vendor Oracle Corporation 0.15/0.14 c sun.arch.data.model 64 0.15/0.14 c java.version 22.0.1 0.15/0.14 c os.name Linux 0.15/0.14 c os.version 4.18.0-301.1.el8.x86_64 0.15/0.14 c os.arch amd64 0.15/0.14 c Free memory 2113181440 0.15/0.14 c Max memory 16282288128 0.15/0.14 c Total memory 2122317824 0.15/0.14 c Number of processors 2 0.15/0.21 --- Begin Solver configuration --- 0.15/0.21 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.15/0.21 Learn all clauses as in MiniSAT 0.15/0.21 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.21 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.15/0.21 No reason simplification 0.15/0.21 Glucose 2.1 dynamic restart strategy 0.15/0.21 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.15/0.21 timeout=2147483s 0.15/0.21 DB Simplification allowed=false 0.15/0.21 Listener: none 0.15/0.21 --- End Solver configuration --- 0.15/0.21 c Pseudo Boolean Optimization by upper bound 0.15/0.21 c --- Begin Solver configuration --- 0.15/0.21 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.15/0.21 c Learn all clauses as in MiniSAT 0.15/0.21 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.15/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.15/0.21 c No reason simplification 0.15/0.21 c Glucose 2.1 dynamic restart strategy 0.15/0.21 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.15/0.21 c timeout=2147483s 0.15/0.21 c DB Simplification allowed=false 0.15/0.21 c Listener: none 0.15/0.21 c --- End Solver configuration --- 0.15/0.21 c solving HOME/instance-4455951-1721717818.wbo 0.15/0.21 c reading problem ... 0.32/0.24 c ... done. Wall clock time 0.036s. 0.32/0.24 c declared #vars 220 0.32/0.24 c internal #vars 262 0.32/0.24 c #constraints 43 0.32/0.24 c constraints type 0.32/0.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20 0.32/0.24 c org.sat4j.specs.Constr$1 => 1 0.32/0.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 22 0.32/0.24 c 43 constraints processed. 0.32/0.26 c objective function length is 42 literals 0.52/0.36 c SATISFIABLE 0.52/0.36 c OPTIMIZING... 0.52/0.37 c Got one! Elapsed wall clock time (in seconds):0.159 0.52/0.37 o 108 0.69/0.45 c Got one! Elapsed wall clock time (in seconds):0.251 0.69/0.45 o 51 0.89/0.60 c Got one! Elapsed wall clock time (in seconds):0.396 0.89/0.60 o 42 1.66/0.92 c Got one! Elapsed wall clock time (in seconds):0.711 1.66/0.92 o 25 1.83/1.08 c cleaning 3778 clauses out of 7560 with flag 7015/7560 2.01/1.16 c Got one! Elapsed wall clock time (in seconds):0.959 2.01/1.16 o 11 2.78/1.85 c cleaning 4782 clauses out of 9565 with flag 33018/13343 3.14/2.08 c Got one! Elapsed wall clock time (in seconds):1.872 3.14/2.08 o 9 3.40/2.29 c cleaning 5118 clauses out of 10254 with flag 18079/18814 4.12/2.97 c cleaning 5567 clauses out of 11138 with flag 61309/24816 4.71/3.58 c cleaning 6284 clauses out of 12569 with flag 115790/31814 6.05/4.64 c cleaning 7140 clauses out of 14285 with flag 177249/39814 7.94/6.54 c cleaning 8072 clauses out of 16145 with flag 253311/48814 9.45/8.06 c cleaning 9035 clauses out of 18075 with flag 334975/58816 10.35/8.98 c cleaning 10020 clauses out of 20041 with flag 413354/69817 11.55/10.19 c cleaning 11002 clauses out of 22018 with flag 503576/81814 13.36/11.90 c cleaning 12000 clauses out of 24019 with flag 619129/94817 15.15/13.78 c cleaning 12996 clauses out of 26016 with flag 733801/108814 17.24/15.85 c cleaning 14004 clauses out of 28021 with flag 847269/123815 19.52/18.10 c cleaning 15001 clauses out of 30016 with flag 962663/139814 22.07/20.56 c cleaning 16006 clauses out of 32017 with flag 1094788/156816 24.76/23.24 c cleaning 16996 clauses out of 34011 with flag 1239476/174816 27.96/26.42 c cleaning 18002 clauses out of 36013 with flag 1390234/193814 30.56/29.04 c cleaning 19003 clauses out of 38011 with flag 1555949/213814 33.66/32.18 c cleaning 20000 clauses out of 40009 with flag 1727701/234815 38.04/36.51 c cleaning 20995 clauses out of 42008 with flag 1919398/256814 41.56/40.03 c cleaning 21999 clauses out of 44013 with flag 2101047/279814 45.55/44.02 c cleaning 22990 clauses out of 46015 with flag 2288505/303815 51.25/49.72 c cleaning 24010 clauses out of 48027 with flag 2499404/328817 55.14/53.69 c cleaning 24998 clauses out of 50014 with flag 2706044/354814 59.73/58.23 c cleaning 26003 clauses out of 52016 with flag 2913155/381814 66.42/64.93 c cleaning 27000 clauses out of 54016 with flag 3140888/409817 72.10/70.60 c cleaning 27979 clauses out of 56013 with flag 3399756/438814 81.38/79.92 c cleaning 29017 clauses out of 58035 with flag 3652422/468815 89.09/87.63 c cleaning 30001 clauses out of 60018 with flag 3914398/499815 95.18/93.76 c cleaning 30979 clauses out of 62016 with flag 4169078/531814 103.07/101.63 c cleaning 31996 clauses out of 64040 with flag 4424782/564817 108.95/107.58 c cleaning 33015 clauses out of 66041 with flag 4690173/598814 116.15/114.78 c cleaning 34007 clauses out of 68028 with flag 4970540/633816 124.28/122.83 c cleaning 34990 clauses out of 70019 with flag 5270591/669814 135.59/134.19 c cleaning 36008 clauses out of 72030 with flag 5581921/706815 147.04/145.65 c cleaning 37002 clauses out of 74022 with flag 5896643/744815 156.82/155.48 c cleaning 38004 clauses out of 76020 with flag 6190189/783815 165.19/163.72 c cleaning 38988 clauses out of 78019 with flag 6508791/823818 178.28/176.83 c cleaning 40005 clauses out of 80031 with flag 6850359/864818 186.96/185.55 c cleaning 41012 clauses out of 82024 with flag 7202959/906816 201.44/200.01 c cleaning 42003 clauses out of 84011 with flag 7576949/949815 216.03/214.65 c cleaning 43001 clauses out of 86008 with flag 7967248/993815 227.70/226.37 c cleaning 43990 clauses out of 88007 with flag 8387541/1038815 239.68/238.39 c cleaning 44999 clauses out of 90016 with flag 8789596/1084814 256.64/255.35 c cleaning 45990 clauses out of 92018 with flag 9219744/1131815 275.23/273.98 c cleaning 46989 clauses out of 94027 with flag 9702578/1179814 292.10/290.90 c cleaning 47999 clauses out of 96038 with flag 10195610/1228814 309.17/308.00 c cleaning 49007 clauses out of 98039 with flag 10657851/1278814 325.96/324.75 c cleaning 50012 clauses out of 100032 with flag 11082041/1329814 346.02/344.83 c cleaning 50990 clauses out of 102022 with flag 11547464/1381816 360.89/359.78 c cleaning 52011 clauses out of 104030 with flag 12096452/1434814 378.61/377.45 c cleaning 53003 clauses out of 106021 with flag 12530354/1488816 391.02/389.89 c cleaning 54000 clauses out of 108019 with flag 13023495/1543817 407.20/406.11 c cleaning 54999 clauses out of 110016 with flag 13517023/1599814 431.04/429.97 c cleaning 55992 clauses out of 112018 with flag 14030486/1656815 472.94/471.87 c cleaning 57004 clauses out of 114026 with flag 14543900/1714815 504.89/503.85 c cleaning 57997 clauses out of 116021 with flag 15083492/1773814 522.71/521.60 c cleaning 59009 clauses out of 118029 with flag 15626051/1833819 540.58/539.52 c cleaning 59998 clauses out of 120019 with flag 16158535/1894818 563.43/562.45 c cleaning 61006 clauses out of 122018 with flag 16747746/1956815 587.84/586.81 c cleaning 61989 clauses out of 124011 with flag 17322682/2019814 615.30/614.33 c cleaning 63005 clauses out of 126022 with flag 17924275/2083814 640.25/639.33 c cleaning 63992 clauses out of 128018 with flag 18521141/2148815 676.13/675.25 c cleaning 65007 clauses out of 130025 with flag 19129144/2214814 710.76/709.94 c cleaning 65981 clauses out of 132018 with flag 19783338/2281814 744.62/743.83 c cleaning 66994 clauses out of 134038 with flag 20532711/2349815 768.17/767.41 c cleaning 68004 clauses out of 136044 with flag 21286322/2418815 795.14/794.48 c cleaning 69004 clauses out of 138039 with flag 21957178/2488814 834.07/833.49 c cleaning 70016 clauses out of 140035 with flag 22626050/2559814 871.91/871.38 c cleaning 70995 clauses out of 142019 with flag 23438545/2631814 897.63/897.09 c cleaning 71996 clauses out of 144026 with flag 24206641/2704816 923.27/922.79 c cleaning 73005 clauses out of 146028 with flag 24880346/2778814 952.17/951.68 c cleaning 74002 clauses out of 148025 with flag 25563782/2853816 996.61/996.14 c cleaning 75003 clauses out of 150024 with flag 26343472/2929817 1033.11/1032.69 c cleaning 76005 clauses out of 152018 with flag 27088980/3006814 1077.14/1076.70 c cleaning 76998 clauses out of 154015 with flag 27816791/3084816 1112.08/1111.26 c cleaning 77999 clauses out of 156019 with flag 28598919/3163818 1149.62/1148.87 c cleaning 79002 clauses out of 158017 with flag 29324281/3243815 1192.45/1191.73 c cleaning 79993 clauses out of 160015 with flag 30125541/3324815 1237.84/1237.12 c cleaning 81005 clauses out of 162022 with flag 30885832/3406815 1269.26/1268.63 c cleaning 82001 clauses out of 164017 with flag 31629942/3489815 1307.59/1307.06 c cleaning 83003 clauses out of 166017 with flag 32453578/3573816 1343.31/1341.82 c cleaning 84002 clauses out of 168011 with flag 33286004/3658814 1403.61/1401.71 c cleaning 84995 clauses out of 170009 with flag 34132190/3744814 1487.86/1486.05 c cleaning 85998 clauses out of 172015 with flag 34979903/3831815 1564.61/1562.97 c cleaning 86995 clauses out of 174016 with flag 35875342/3919814 1628.60/1627.08 c cleaning 88003 clauses out of 176025 with flag 36729724/4008818 1689.76/1688.26 c cleaning 89008 clauses out of 178019 with flag 37604490/4098815 1776.41/1775.07 c cleaning 89996 clauses out of 180010 with flag 38524998/4189814 1855.02/1854.22 c cleaning 91001 clauses out of 182016 with flag 39480961/4281816 1941.94/1941.92 c cleaning 91997 clauses out of 184014 with flag 40403552/4374815 2010.08/2010.67 c cleaning 93005 clauses out of 186017 with flag 41373407/4468815 2101.25/2102.62 c cleaning 93994 clauses out of 188013 with flag 42390405/4563816 2181.14/2183.15 c cleaning 95007 clauses out of 190019 with flag 43491586/4659816 2273.44/2275.54 c cleaning 96000 clauses out of 192010 with flag 44603140/4756814 2361.67/2363.96 c cleaning 97000 clauses out of 194010 with flag 45755995/4854814 2462.33/2464.73 c cleaning 97989 clauses out of 196011 with flag 46963397/4953815 2562.83/2565.43 c cleaning 99007 clauses out of 198022 with flag 48175462/5053815 2648.14/2650.89 c cleaning 99999 clauses out of 200015 with flag 49376144/5154815 2758.87/2761.78 c cleaning 101003 clauses out of 202015 with flag 50673118/5256815 2846.50/2849.59 c cleaning 102004 clauses out of 204013 with flag 52061660/5359816 2903.15/2906.11 c starts : 24330 2903.15/2906.14 c conflicts : 5443857 2903.15/2906.14 c decisions : 7283007 2903.15/2906.14 c propagations : 76343995 2903.15/2906.14 c inspects : 34909937543 2903.15/2906.14 c shortcuts : 0 2903.15/2906.14 c learnt literals : 9 2903.15/2906.14 c learnt binary clauses : 7 2903.15/2906.14 c learnt ternary clauses : 18 2903.15/2906.14 c learnt constraints : 5443847 2903.15/2906.14 c ignored constraints : 0 2903.15/2906.14 c root simplifications : 0 2903.15/2906.14 c removed literals (reason simplification) : 0 2903.15/2906.14 c reason swapping (by a shorter reason) : 0 2903.15/2906.14 c Calls to reduceDB : 101 2903.15/2906.14 c Number of update (reduction) of LBD : 2748696 2903.15/2906.14 c Imported unit clauses : 0 2903.15/2906.14 c No decision after first conflict : false 2903.15/2906.14 c number of reductions to clauses (during analyze) : 0 2903.15/2906.14 c number of learned constraints concerned by reduction : 0 2903.15/2906.14 c number of learning phase by resolution : 0 2903.15/2906.14 c number of learning phase by cutting planes : 0 2903.15/2906.14 c number of rounding to 1 operations : 0 2903.15/2906.14 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2903.15/2906.14 c number of reductions of the coefficients by power 2 : 0 2903.15/2906.14 c number of right shift for reduction by power 2 : 0 2903.15/2906.14 c number of reductions of the coefficients by GCD over coefficients : 0 2903.15/2906.14 c number of ending skipping : 0 2903.15/2906.14 c number of internal skipping : 0 2903.15/2906.14 c number of derivation steps : 0 2903.15/2906.14 c number of skipped derivation steps : 0 2903.15/2906.14 c number of remaining unassigned : 0 2903.15/2906.14 c number of remaining assigned : 0 2903.15/2906.14 c number of falsified literals weakened from reason : 0 2903.15/2906.14 c number of falsified literals weakened from conflict : 0 2903.15/2906.14 c time for arithmetic operations : 0 2903.15/2906.14 c minimum degree of deleted constraints : null 2903.15/2906.14 c maximum degree of deleted constraints : null 2903.15/2906.14 c number of deleted constraints : 0 2903.15/2906.14 c speed (assignments/second) : 26272.23723201329 2903.15/2906.14 c non guided choices : 8344 2903.15/2906.14 s OPTIMUM FOUND 2903.15/2906.14 c Found 6 solution(s) 2903.15/2906.14 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 2903.15/2906.14 c objective function=9 2903.15/2906.14 c Total wall clock time (in seconds): 2905.941
OK 9
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61568 MiB free)
memory of node 1: 64510 MiB (61590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455951-1721717818/watcher-4455951-1721717818 -o /tmp/evaluation-result-4455951-1721717818/solver-4455951-1721717818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721717814-78918 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4455951-1721717818.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79374, runsolver pid=79371
[startup+0.103029 s]*
/proc/loadavg: 1.97 2.01 2.06 12/326 79393
/proc/meminfo: memFree=126029580/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=18975048 memory=56912 CPUtime=0.15 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 6636 0 0 0 12 3 0 0 20 0 18 0 7771561 19430449152 14228 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4743762 14228 5754 1 0 550929 0
[pid=79374/tid=79376] ppid=79371 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 5545 0 0 0 7 2 0 0 20 0 18 0 7771561 19430449152 14228 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771566 19430449152 14228 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=18975048 memory=13852958324539081 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7771566 19430449152 14228 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56912 KiB
[startup+0.208787 s]*
/proc/loadavg: 1.97 2.01 2.06 14/327 79394
/proc/meminfo: memFree=126017652/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=18975048 memory=66256 CPUtime=0.32 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 7406 0 0 0 29 3 0 0 20 0 18 0 7771561 19430449152 16564 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4743762 16564 5759 1 0 551570 0
[pid=79374/tid=79376] ppid=79371 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 1077936192 5891 0 0 0 16 2 0 0 20 0 18 0 7771561 19430449152 16564 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=18975048 memory=673 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771566 19430449152 16564 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=18975048 memory=15535211114926437 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7771566 19430449152 16564 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66256 KiB
[startup+0.314883 s]*
/proc/loadavg: 1.97 2.01 2.06 13/328 79395
/proc/meminfo: memFree=126009224/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19041984 memory=70348 CPUtime=0.52 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 8263 0 0 0 48 4 0 0 20 0 19 0 7771561 19498991616 17587 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4760496 17587 5866 1 0 552251 0
[pid=79374/tid=79376] ppid=79371 vsize=19041984 memory=-6000919502737859432 CPUtime=0.28 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 6025 0 0 0 25 3 0 0 20 0 19 0 7771561 19498991616 17652 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19041984 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771566 19498991616 17652 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19041984 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771566 19498991616 17652 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19041984 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771587 19498991616 17652 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041984 KiB
Current children cumulated memory: 70348 KiB
[startup+0.700881 s]
/proc/loadavg: 1.97 2.01 2.06 9/328 79395
/proc/meminfo: memFree=125995344/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19041612 memory=80276 CPUtime=1.25 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 11122 0 0 0 120 5 0 0 20 0 19 0 7771561 19498610688 20069 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4760403 20069 5882 1 0 554058 0
[pid=79374/tid=79376] ppid=79371 vsize=19041612 memory=12412 CPUtime=0.64 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 6053 0 0 0 61 3 0 0 20 0 19 0 7771561 19498610688 20069 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19041612 memory=12412 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 20069 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 20069 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19041612 memory=1904 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771587 19498610688 20069 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 80276 KiB
[startup+1.50088 s]
/proc/loadavg: 1.97 2.01 2.06 9/328 79395
/proc/meminfo: memFree=125968788/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19041612 memory=89476 CPUtime=2.48 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 16296 0 0 0 242 6 0 0 20 0 19 0 7771561 19498610688 22369 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4760403 22369 5882 1 0 554675 0
[pid=79374/tid=79376] ppid=79371 vsize=19041612 memory=12412 CPUtime=1.43 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 7193 0 0 0 140 3 0 0 20 0 19 0 7771561 19498610688 22369 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 22369 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 22369 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771587 19498610688 22369 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89476 KiB
[startup+3.10588 s]
/proc/loadavg: 1.97 2.01 2.06 6/327 79461
/proc/meminfo: memFree=126041648/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19041612 memory=100540 CPUtime=4.32 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 17351 0 0 0 425 7 0 0 20 0 19 0 7771561 19498610688 25135 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4760403 25135 5882 1 0 554835 0
[pid=79374/tid=79376] ppid=79371 vsize=19041612 memory=0 CPUtime=3.02 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 7589 0 0 0 299 3 0 0 20 0 19 0 7771561 19498610688 25135 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 25135 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19041612 memory=89476 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 25135 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19041612 memory=12412 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771587 19498610688 25135 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100540 KiB
[startup+6.30045 s]
/proc/loadavg: 2.21 2.06 2.07 5/328 79462
/proc/meminfo: memFree=125793012/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19041612 memory=105604 CPUtime=7.74 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 17486 0 0 0 767 7 0 0 20 0 19 0 7771561 19498610688 26401 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4760403 26401 5882 1 0 554836 0
[pid=79374/tid=79376] ppid=79371 vsize=19041612 memory=12412 CPUtime=6.19 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 7637 0 0 0 616 3 0 0 20 0 19 0 7771561 19498610688 26401 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 26401 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19041612 memory=-7163974055829550171 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 26401 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19041612 memory=11908 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771587 19498610688 26401 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 7.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105604 KiB
[startup+12.7004 s]
/proc/loadavg: 2.76 2.17 2.11 5/326 79595
/proc/meminfo: memFree=126010528/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19041612 memory=132388 CPUtime=14.15 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 19665 0 0 0 1406 9 0 0 20 0 19 0 7771561 19498610688 33097 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4760403 33097 5890 1 0 554852 0
[pid=79374/tid=79376] ppid=79371 vsize=19041612 memory=128260 CPUtime=12.57 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 8868 0 0 0 1253 4 0 0 20 0 19 0 7771561 19498610688 33097 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19041612 memory=124160 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 33097 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19041612 memory=113836 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7771566 19498610688 33097 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19041612 memory=16092 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771587 19498610688 33097 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 132388 KiB
[startup+25.5005 s]
/proc/loadavg: 3.11 2.28 2.15 5/329 79600
/proc/meminfo: memFree=125150924/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=179840 CPUtime=27.06 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 25348 0 0 0 2695 11 0 0 20 0 20 0 7771561 19566772224 44960 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 44960 5890 1 0 555141 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=128260 CPUtime=25.3 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 10007 0 0 0 2525 5 0 0 20 0 20 0 7771561 19566772224 44960 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=16092 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 44960 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=89476 CPUtime=0 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 44960 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=11908 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 44960 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179840 KiB
[startup+51.1138 s]
/proc/loadavg: 3.84 2.52 2.23 5/329 79604
/proc/meminfo: memFree=123086600/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=192272 CPUtime=52.66 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 29504 0 0 0 5253 13 0 0 20 0 20 0 7771561 19566772224 48068 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 48068 5890 1 0 555141 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=179852 CPUtime=50.82 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 11964 0 0 0 5077 5 0 0 20 0 20 0 7771561 19566772224 48068 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=179852 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/loadavg: 4.24 4.22 4.10 5/321 80915
/proc/meminfo: memFree=96231748/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2864.26 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 108592 0 0 0 286229 197 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=1322104 CPUtime=2853.07 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 46796 0 0 0 285297 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=21536 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=1322104 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3836 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=1322132 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2864.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2892.8 s]
/proc/loadavg: 4.23 4.21 4.10 5/321 80920
/proc/meminfo: memFree=96231488/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2889.83 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 108819 0 0 0 288784 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=1322136 CPUtime=2878.61 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 46973 0 0 0 287851 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=1322136 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=26300 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3836 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=1322152 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2889.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2899.2 s]
/proc/loadavg: 4.22 4.21 4.10 5/319 80922
/proc/meminfo: memFree=96231372/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2896.22 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 108851 0 0 0 289423 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=31916 CPUtime=2885 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 47004 0 0 0 288490 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=1322152 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=1322152 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3836 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=11908 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2896.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2902.4 s]
/proc/loadavg: 4.20 4.21 4.10 5/319 80922
/proc/meminfo: memFree=96231436/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2899.41 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 108984 0 0 0 289742 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2888.19 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 47056 0 0 0 288809 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=11908 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=31916 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3909 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=12412 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2899.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2904 s]*
/proc/loadavg: 4.20 4.21 4.10 5/319 80922
/proc/meminfo: memFree=96231380/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2901.02 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 108986 0 0 0 289903 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=-6000919494147793768 CPUtime=2889.8 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 47056 0 0 0 288970 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=4715995180523220636 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=5136 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3909 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=7854232 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2901.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2904.8 s]
/proc/loadavg: 4.20 4.21 4.10 5/319 80922
/proc/meminfo: memFree=96231380/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2901.81 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 109121 0 0 0 289982 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=-6000919502737859432 CPUtime=2890.58 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 47129 0 0 0 289048 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=12412 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=2164 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3909 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=1904 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2901.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2905.6 s]
/proc/loadavg: 4.20 4.21 4.10 5/319 80922
/proc/meminfo: memFree=96231436/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2902.64 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 109165 0 0 0 290065 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=11908 CPUtime=2891.38 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 47147 0 0 0 289128 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=1322136 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=5572 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3909 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=1322152 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2902.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2906 s]*
/proc/loadavg: 4.18 4.20 4.10 5/319 80922
/proc/meminfo: memFree=96231428/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19108176 memory=1322152 CPUtime=2903.05 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 109165 0 0 0 290106 199 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4777044 330538 5936 1 0 562100 0
[pid=79374/tid=79376] ppid=79371 vsize=19108176 memory=-6000919494147793768 CPUtime=2891.8 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) R 79371 79374 78906 0 -1 4194368 47147 0 0 0 289170 10 0 0 20 0 20 0 7771561 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19108176 memory=3500 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19108176 memory=2160 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3909 0 0 0 0 1 0 0 20 0 20 0 7771566 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79395] ppid=79371 vsize=19108176 memory=32580 CPUtime=0 cores=1,3
/proc/79374/task/79395/stat : 79395 (Timer-0) S 79371 79374 78906 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771587 19566772224 330538 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2903.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322152 KiB
[startup+2906.11 s]
/proc/loadavg: 4.18 4.20 4.10 5/319 80922
/proc/meminfo: memFree=96231428/131655788 swapFree=131071996/131071996
[pid=79374] ppid=79371 vsize=19241304 memory=1322396 CPUtime=2903.15 cores=1,3
/proc/79374/stat : 79374 (java) S 79371 79374 78906 0 -1 1077936128 110724 0 0 0 290116 199 0 0 20 0 20 0 7771561 19703095296 330599 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
/proc/79374/statm: 4810326 330599 5935 1 0 562686 0
[pid=79374/tid=79376] ppid=79371 vsize=19241304 memory=1322136 CPUtime=2891.88 cores=1,3
/proc/79374/task/79376/stat : 79376 (java) S 79371 79374 78906 0 -1 1077936192 48422 0 0 0 289178 10 0 0 20 0 20 0 7771561 19703095296 330599 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79386] ppid=79371 vsize=19241304 memory=1322136 CPUtime=0 cores=1,3
/proc/79374/task/79386/stat : 79386 (Finalizer) S 79371 79374 78906 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771566 19703095296 330599 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
[pid=79374/tid=79393] ppid=79371 vsize=19241304 memory=11908 CPUtime=0.01 cores=1,3
/proc/79374/task/79393/stat : 79393 (Common-Cleaner) S 79371 79374 78906 0 -1 1077936192 3909 0 0 0 0 1 0 0 20 0 20 0 7771566 19703095296 330599 134679101440 93944200224768 93944200228464 140725013198288 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944200236280 93944200237072 93944230686720 140725013201926 140725013202016 140725013202016 140725013209032 0
Current children cumulated CPU time: 2903.15 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1322396 KiB
Child status: 30
Real time (s): 2906.17
CPU time (s): 2903.23
CPU user time (s): 2901.22
CPU system time (s): 2.01331
CPU usage (%): 99.8987
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1322396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2901.22
system time used= 2.01331
maximum resident set size= 1323776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111280
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84626
involuntary context switches= 6152
# summary of solver processes directly reported to runsolver:
# pid: 79374
# total CPU time (s): 2903.23
# total CPU user time (s): 2901.22
# total CPU system time (s): 2.01331
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4218 second user time and 30.1686 second system time
The end
Begin job on nodeC012 at 2024-07-23 08:56:58 IDJOB=4455951 IDBENCH=143130 IDSOLVER=3037 FILE ID=nodeC012/4455951-1721717818 RUNJOBID= nodeC012-1721717814-78918 SLURM_JOB_ID= 7770388 Free space on /tmp= 723768 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455951-1721717818/watcher-4455951-1721717818 -o /tmp/evaluation-result-4455951-1721717818/solver-4455951-1721717818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721717814-78918 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4455951-1721717818.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2579890085d501026900faecb1210e44 RANDOM SEED=2124043386 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3587.740 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1895.527 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.740 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2095.038 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2394.332 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.735 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2494.096 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.47 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.734 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126125680 kB MemAvailable: 129458200 kB Buffers: 135304 kB Cached: 3991052 kB SwapCached: 0 kB Active: 873224 kB Inactive: 4093876 kB Active(anon): 1440 kB Inactive(anon): 868792 kB Active(file): 871784 kB Inactive(file): 3225084 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 9544 kB Writeback: 0 kB AnonPages: 840836 kB Mapped: 119552 kB Shmem: 29512 kB KReclaimable: 151364 kB Slab: 246648 kB SReclaimable: 151364 kB SUnreclaim: 95284 kB KernelStack: 4928 kB PageTables: 11264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7311600 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16832 kB HardwareCorrupted: 0 kB AnonHugePages: 378880 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 271176 kB DirectMap2M: 22702080 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723772 MiB End job on nodeC012 at 2024-07-23 09:45:25