Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 | OPT | 140 | 9.58836 | 3.08746 |
| Name | Tpp/Tpp-zinc-s1/ Tpp-4-5-30-1.xml |
| MD5SUM | 1a3f146023047dfa4a3d56734d0c92f1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 140 |
| Best CPU time to get the best result obtained on this benchmark | 0.315281 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 652 |
| Number of domains | 52 |
| Minimum domain size | 3 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":8,"count":1},{"size":10,"count":2},{"size":11,"count":4},{"size":12,"count":13},{"size":13,"count":5},{"size":14,"count":3},{"size":15,"count":2},{"size":19,"count":30},{"size":20,"count":20}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":50},{"degree":21,"count":30},{"degree":32,"count":19},{"degree":33,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 20 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":650},{"arity":20,"count":1}] |
| Number of extensional constraints | 50 |
| Number of intensional constraints | 601 |
| Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":601},{"type":"circuit","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394165-1568330740.xml" -tl '2400s' -p 4 0.15/0.18 c Choco e747e1e 0.15/0.18 c [HOME/instance-4394165-1568330740.xml, -tl, 2400s, -p, 4] 0.15/0.22 c 4 solvers in parallel 0.35/0.28 c parse instance... 4.34/1.51 c solve instance... 5.10/1.76 o 602 5.10/1.78 o 307 5.10/1.79 o 306 5.10/1.79 o 301 5.10/1.79 o 298 5.48/1.80 o 296 5.48/1.80 o 293 5.48/1.81 o 291 5.48/1.86 o 243 5.48/1.86 o 241 5.48/1.86 o 240 5.48/1.86 o 239 5.48/1.87 o 238 5.48/1.87 o 237 5.48/1.88 o 236 5.48/1.88 o 235 5.48/1.88 o 234 5.48/1.88 o 233 5.48/1.89 o 232 5.83/1.90 o 231 5.83/1.90 o 230 5.83/1.91 o 229 5.83/1.91 o 228 5.83/1.92 o 218 5.83/1.92 o 217 5.83/1.93 o 216 5.83/1.93 o 215 5.83/1.93 o 214 5.83/1.93 o 213 5.83/1.93 o 212 5.83/1.93 o 211 5.83/1.93 o 210 5.83/1.95 o 209 5.83/1.95 o 208 5.83/1.96 o 207 5.83/1.96 o 206 5.83/1.96 o 205 5.83/1.97 o 204 5.83/1.97 o 203 5.83/1.98 o 202 5.83/1.98 o 201 5.83/1.99 o 200 5.83/1.99 o 199 5.83/1.99 o 198 6.17/2.02 o 197 6.17/2.02 o 196 6.17/2.03 o 195 6.17/2.03 o 194 6.17/2.03 o 193 6.17/2.03 o 192 6.17/2.03 o 191 6.17/2.03 o 190 6.17/2.04 o 189 6.17/2.08 o 188 6.17/2.08 o 187 6.17/2.09 o 186 6.49/2.11 o 185 6.49/2.12 o 184 6.49/2.12 o 183 6.49/2.15 o 182 6.49/2.17 o 181 6.49/2.17 o 180 6.66/2.20 o 179 6.66/2.22 o 178 6.66/2.22 o 177 6.66/2.25 o 176 6.66/2.27 o 175 6.89/2.30 o 174 6.89/2.30 o 172 6.89/2.33 o 171 6.89/2.34 o 170 6.89/2.34 o 168 6.89/2.34 o 167 6.89/2.36 o 166 6.89/2.36 o 165 6.89/2.36 o 164 6.89/2.37 o 163 6.89/2.37 o 162 6.89/2.39 o 161 7.22/2.41 o 160 7.22/2.42 o 159 7.22/2.42 o 158 7.22/2.42 o 157 7.22/2.44 o 156 7.22/2.46 o 155 7.22/2.47 o 154 7.22/2.47 o 153 7.22/2.47 o 152 7.56/2.51 o 151 7.56/2.51 o 150 7.56/2.51 o 149 7.56/2.52 o 148 7.56/2.54 o 147 7.56/2.54 o 146 7.56/2.54 o 145 7.56/2.54 o 144 7.56/2.57 o 143 7.56/2.57 o 142 7.56/2.59 o 141 7.56/2.59 o 140 9.40/3.04 s OPTIMUM FOUND 9.40/3.04 v <instantiation> 9.40/3.04 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list> 9.40/3.04 v <values>0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 9 11 13 13 13 18 9 11 11 10 13 18 18 11 11 15 13 10 10 11 9 18 13 11 14 15 10 13 14 14 4 8 1 1 5 5 1 4 5 1 2 1 3 1 2 1 5 2 2 5 4 1 1 1 7 6 8 1 2 1 </values> 9.40/3.04 v </instantiation>
OK 140
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (7704 MiB free)
memory of node 1: 16384 MiB (9585 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394165-1568330740/watcher-4394165-1568330740 -o /tmp/evaluation-result-4394165-1568330740/solver-4394165-1568330740 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 848515999 HOME/instance-4394165-1568330740.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23617, runsolver pid=23614
[startup+0.108489 s]*
/proc/loadavg: 8.77 8.46 6.67 8/234 23633
/proc/meminfo: memFree=17687144/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15144768 memory=29888 CPUtime=0.15 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 5880 0 0 0 14 1 0 0 20 0 15 0 409014135 15508242432 7472 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3786192 7472 3199 1 0 3748377 0
[pid=23619/tid=23620] ppid=23617 vsize=15144768 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) R 23617 23617 18186 0 -1 4202560 3749 0 0 0 9 1 0 0 20 0 15 0 409014135 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831604374496 139831592381246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15144768 memory=139988806411904 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15144768 memory=139988806411904 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014137 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014138 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831067276192 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014138 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) S 23617 23617 18186 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831064119792 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) S 23617 23617 18186 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831063067248 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15144768 memory=139988806411904 CPUtime=0.03 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) R 23617 23617 18186 0 -1 4202560 348 0 0 0 3 0 0 0 20 0 15 0 409014141 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831062014704 139831578618787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15144768 memory=139988806411904 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 7472 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31336 KiB
[startup+0.213042 s]*
/proc/loadavg: 8.77 8.46 6.67 6/234 23633
/proc/meminfo: memFree=17675148/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15144768 memory=41076 CPUtime=0.35 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 9472 0 0 0 32 3 0 0 20 0 15 0 409014135 15508242432 10269 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3786192 10269 3304 1 0 3748377 0
[pid=23619/tid=23620] ppid=23617 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) R 23617 23617 18186 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 15 0 409014135 15508242432 10269 33554432000 4194304 4196468 140723376081424 139831604379104 139831600166045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 10269 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15144768 memory=3688924775521461920 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 10269 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014136 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15144768 memory=139988806411904 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409014137 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014138 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831067276192 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014138 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) S 23617 23617 18186 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 409014141 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831064119792 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) S 23617 23617 18186 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 409014141 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831063067248 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15144768 memory=139988806411904 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) S 23617 23617 18186 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 409014141 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014141 15508242432 10331 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42524 KiB
[startup+0.310693 s]*
/proc/loadavg: 8.77 8.46 6.67 8/234 23633
/proc/meminfo: memFree=17667132/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15149024 memory=50056 CPUtime=0.53 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 10895 0 0 0 50 3 0 0 20 0 15 0 409014135 15512600576 12514 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3787256 12514 3355 1 0 3748377 0
[pid=23619/tid=23620] ppid=23617 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) R 23617 23617 18186 0 -1 4202560 7830 0 0 0 27 2 0 0 20 0 15 0 409014135 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831604380944 139831584224606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014136 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409014137 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014138 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831067276192 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014138 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) S 23617 23617 18186 0 -1 1077944384 580 0 0 0 4 0 0 0 20 0 15 0 409014141 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831064119792 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) S 23617 23617 18186 0 -1 1077944384 350 0 0 0 5 0 0 0 20 0 15 0 409014141 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831063067248 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) S 23617 23617 18186 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 409014141 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014141 15512600576 12520 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51504 KiB
[startup+0.700897 s]
/proc/loadavg: 8.77 8.46 6.67 9/234 23633
/proc/meminfo: memFree=17650052/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15151148 memory=84788 CPUtime=1.75 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 15287 0 0 0 169 6 0 0 20 0 15 0 409014135 15514775552 21197 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3787787 21197 3453 1 0 3748889 0
[pid=23619/tid=23620] ppid=23617 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) R 23617 23617 18186 0 -1 4202560 8999 0 0 0 64 4 0 0 20 0 15 0 409014135 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831604381456 139831203215215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014136 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409014136 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409014137 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409014138 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831067276192 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409014138 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15151148 memory=1720 CPUtime=0.32 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) R 23617 23617 18186 0 -1 4202560 1334 0 0 0 31 1 0 0 20 0 15 0 409014141 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831064108592 139831580494860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15151148 memory=10604 CPUtime=0.31 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) R 23617 23617 18186 0 -1 4202560 1334 0 0 0 31 0 0 0 20 0 15 0 409014141 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831063060288 139831583644502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15151148 memory=3360 CPUtime=0.42 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) S 23617 23617 18186 0 -1 1077944384 2313 0 0 0 41 1 0 0 20 0 15 0 409014141 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409014141 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409014141 15514775552 21197 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 86236 KiB
[startup+1.50092 s]
/proc/loadavg: 8.77 8.46 6.67 8/234 23633
/proc/meminfo: memFree=17584400/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 19 0 409014136 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15419452 memory=1436 CPUtime=0.01 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 19 0 409014136 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15419452 memory=580 CPUtime=0.01 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 409014136 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15419452 memory=1720 CPUtime=0.02 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 19 0 409014136 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15419452 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 19 0 409014137 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15419452 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409014138 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831067276192 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15419452 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 409014138 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15419452 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15419452 memory=5964 CPUtime=1.16 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) R 23617 23617 18186 0 -1 1077944384 4258 0 0 0 115 1 0 0 20 0 19 0 409014141 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831064106624 139831600154325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15419452 memory=1060 CPUtime=1.16 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) S 23617 23617 18186 0 -1 1077944384 3489 0 0 0 116 0 0 0 20 0 19 0 409014141 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831063054560 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15419452 memory=2828 CPUtime=0.62 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) R 23617 23617 18186 0 -1 1077944384 3407 0 0 0 61 1 0 0 20 0 19 0 409014141 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15419452 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15419452 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409014141 15789518848 54120 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 217928 KiB
[startup+2.40087 s]
/proc/loadavg: 8.63 8.43 6.67 9/238 23814
/proc/meminfo: memFree=17348040/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15620172 memory=408928 CPUtime=7.22 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 32203 0 0 0 695 27 0 0 20 0 19 0 409014135 15995056128 102232 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3905043 102232 3527 1 0 3866145 0
[pid=23619/tid=23620] ppid=23617 vsize=15620172 memory=1967567 CPUtime=1.51 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) S 23617 23617 18186 0 -1 1077944384 11698 0 0 0 145 6 0 0 20 0 19 0 409014135 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831604384896 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15620172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 312 0 0 0 5 3 0 0 20 0 19 0 409014136 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15620172 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 176 0 0 0 4 3 0 0 20 0 19 0 409014136 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15620172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 215 0 0 0 5 3 0 0 20 0 19 0 409014136 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15620172 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 423 0 0 0 4 3 0 0 20 0 19 0 409014136 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15620172 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 19 0 409014137 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15620172 memory=279977375336264 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409014138 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831067276256 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15620172 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 409014138 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15620172 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15620172 memory=-7666414585839465563 CPUtime=1.63 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) S 23617 23617 18186 0 -1 1077944384 4624 0 0 0 162 1 0 0 20 0 19 0 409014141 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831064119792 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15620172 memory=-6520478321162704286 CPUtime=1.6 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) R 23617 23617 18186 0 -1 4202560 3624 0 0 0 160 0 0 0 20 0 19 0 409014141 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831063067544 139831583555135 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15620172 memory=-7521736447810188379 CPUtime=0.79 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) S 23617 23617 18186 0 -1 1077944384 3778 0 0 0 78 1 0 0 20 0 19 0 409014141 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15620172 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15620172 memory=-6944672133998927705 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 102232 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 410376 KiB
[startup+2.80887 s]
/proc/loadavg: 8.63 8.43 6.67 9/238 23814
/proc/meminfo: memFree=17348040/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15620172 memory=491600 CPUtime=8.6 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 33844 0 0 0 832 28 0 0 20 0 19 0 409014135 15995056128 122900 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3905043 122900 3528 1 0 3866145 0
[pid=23619/tid=23620] ppid=23617 vsize=15620172 memory=7235147594880805952 CPUtime=1.51 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) S 23617 23617 18186 0 -1 1077944384 11698 0 0 0 145 6 0 0 20 0 19 0 409014135 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831604384896 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15620172 memory=5794279418035917157 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 312 0 0 0 5 3 0 0 20 0 19 0 409014136 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15620172 memory=7379518977417963345 CPUtime=0.07 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 176 0 0 0 4 3 0 0 20 0 19 0 409014136 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15620172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 215 0 0 0 5 3 0 0 20 0 19 0 409014136 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15620172 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 423 0 0 0 4 3 0 0 20 0 19 0 409014136 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15620172 memory=387332 CPUtime=0.01 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 19 0 409014137 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409014138 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831067276256 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 409014138 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15620172 memory=375 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15620172 memory=4654 CPUtime=1.85 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) R 23617 23617 18186 0 -1 4202560 4654 0 0 0 184 1 0 0 20 0 19 0 409014141 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831064106224 139831585055254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15620172 memory=27869 CPUtime=1.83 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) R 23617 23617 18186 0 -1 4202560 3704 0 0 0 183 0 0 0 20 0 19 0 409014141 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831063059736 139831583494524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15620172 memory=279977375954400 CPUtime=0.83 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) S 23617 23617 18186 0 -1 1077944384 3865 0 0 0 82 1 0 0 20 0 19 0 409014141 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15620172 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15620172 memory=15535219654526552 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 122900 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 8.6 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 493048 KiB
[startup+3.00087 s]*
/proc/loadavg: 8.63 8.43 6.67 11/237 24038
/proc/meminfo: memFree=17218020/32770624 swapFree=66959212/67108860
[pid=23617] ppid=23614 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23617/stat : 23617 (xcsp3-exec) S 23614 23617 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409014135 115843072 362 33554432000 4194304 5098028 140728693597248 140728693595352 139977889051260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34291712 140728693601147 140728693601389 140728693601389 140728693604298 0
/proc/23617/statm: 28282 362 304 221 0 87 0
[pid=23619] ppid=23617 vsize=15620172 memory=498132 CPUtime=9.4 cores=1,3,5,7
/proc/23619/stat : 23619 (java) S 23617 23617 18186 0 -1 1077944320 34508 0 0 0 911 29 0 0 20 0 19 0 409014135 15995056128 124533 33554432000 4194304 4196468 140723376081424 140723376063968 139831600144119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
/proc/23619/statm: 3905043 124533 3531 1 0 3866145 0
[pid=23619/tid=23620] ppid=23617 vsize=15620172 memory=4861225955784228495 CPUtime=1.51 cores=1,3,5,7
/proc/23619/task/23620/stat : 23620 (java) S 23617 23617 18186 0 -1 1077944384 11698 0 0 0 145 6 0 0 20 0 19 0 409014135 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831604384896 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23621] ppid=23617 vsize=15620172 memory=-3689451258167578675 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23621/stat : 23621 (java) S 23617 23617 18186 0 -1 1077944384 312 0 0 0 5 3 0 0 20 0 19 0 409014136 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831528184592 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23622] ppid=23617 vsize=15620172 memory=139988806411904 CPUtime=0.07 cores=1,3,5,7
/proc/23619/task/23622/stat : 23622 (java) S 23617 23617 18186 0 -1 1077944384 176 0 0 0 4 3 0 0 20 0 19 0 409014136 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831527132048 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23623] ppid=23617 vsize=15620172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23619/task/23623/stat : 23623 (java) S 23617 23617 18186 0 -1 1077944384 215 0 0 0 5 3 0 0 20 0 19 0 409014136 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831526079504 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23624] ppid=23617 vsize=15620172 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23619/task/23624/stat : 23624 (java) S 23617 23617 18186 0 -1 1077944384 423 0 0 0 4 3 0 0 20 0 19 0 409014136 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831525026960 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23625] ppid=23617 vsize=15620172 memory=139988806411904 CPUtime=0.01 cores=1,3,5,7
/proc/23619/task/23625/stat : 23625 (java) S 23617 23617 18186 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 19 0 409014137 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831068329968 139831600155266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23626] ppid=23617 vsize=15620172 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23626/stat : 23626 (java) S 23617 23617 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409014138 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831067276256 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23627] ppid=23617 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23627/stat : 23627 (java) S 23617 23617 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 409014138 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831066223600 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23628] ppid=23617 vsize=15620172 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23628/stat : 23628 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831065172176 139831600162715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23629] ppid=23617 vsize=15620172 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/23619/task/23629/stat : 23629 (java) R 23617 23617 18186 0 -1 4202560 5046 0 0 0 193 1 0 0 20 0 19 0 409014141 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831064105816 139831581666909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23630] ppid=23617 vsize=15620172 memory=-1 CPUtime=1.93 cores=1,3,5,7
/proc/23619/task/23630/stat : 23630 (java) R 23617 23617 18186 0 -1 4202560 3966 0 0 0 193 0 0 0 20 0 19 0 409014141 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831063053128 139831577995568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23631] ppid=23617 vsize=15620172 memory=139988806411904 CPUtime=0.84 cores=1,3,5,7
/proc/23619/task/23631/stat : 23631 (java) S 23617 23617 18186 0 -1 1077944384 3873 0 0 0 83 1 0 0 20 0 19 0 409014141 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831062014704 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23632] ppid=23617 vsize=15620172 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23632/stat : 23632 (java) S 23617 23617 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831060962400 139831600154325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=23633] ppid=23617 vsize=15620172 memory=139988806411904 CPUtime=0 cores=1,3,5,7
/proc/23619/task/23633/stat : 23633 (java) S 23617 23617 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409014141 15995056128 124533 33554432000 4194304 4196468 140723376081424 139831059908912 139831600155266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=24035] ppid=23617 vsize=15620172 memory=-1 CPUtime=0.2 cores=1,3,5,7
/proc/23619/task/24035/stat : 24035 (java) R 23617 23617 18186 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 19 0 409014394 15995056128 124533 33554432000 4194304 4196468 140723376081424 139830581232616 139831207176346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=24036] ppid=23617 vsize=15620172 memory=139988806411904 CPUtime=0.36 cores=1,3,5,7
/proc/23619/task/24036/stat : 24036 (java) R 23617 23617 18186 0 -1 4202560 19 0 0 0 36 0 0 0 20 0 19 0 409014395 15995056128 124533 33554432000 4194304 4196468 140723376081424 139830137536824 139831207912609 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=24037] ppid=23617 vsize=15620172 memory=-1 CPUtime=0.4 cores=1,3,5,7
/proc/23619/task/24037/stat : 24037 (java) R 23617 23617 18186 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 19 0 409014395 15995056128 124533 33554432000 4194304 4196468 140723376081424 139830585443496 139831206920512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
[pid=23619/tid=24038] ppid=23617 vsize=15620172 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/23619/task/24038/stat : 24038 (java) R 23617 23617 18186 0 -1 4202560 19 0 0 0 22 0 0 0 20 0 19 0 409014395 15995056128 124533 33554432000 4194304 4196468 140723376081424 139830583337320 139831207176000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33181696 140723376088047 140723376088218 140723376088218 140723376091087 0
Current children cumulated CPU time: 9.4 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 499580 KiB
Child status: 0
Real time (s): 3.08746
CPU time (s): 9.58836
CPU user time (s): 9.28915
CPU system time (s): 0.299212
CPU usage (%): 310.558
Max. virtual memory (cumulated for all children) (KiB): 15733300
Max. memory (cumulated for all children) (KiB): 499580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.28915
system time used= 0.299212
maximum resident set size= 504248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4464
involuntary context switches= 212
# summary of solver processes directly reported to runsolver:
# pid: 23617
# total CPU time (s): 9.58836
# total CPU user time (s): 9.28915
# total CPU system time (s): 0.299212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037113 second user time and 0.090601 second system time
The end
Begin job on node124 at 2019-09-13 01:25:00 IDJOB=4394165 IDBENCH=126828 IDSOLVER=2842 FILE ID=node124/4394165-1568330740 RUNJOBID= node124-1568329129-18218 PBS_JOBID= 21701157 Free space on /tmp= 55340 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394165-1568330740/watcher-4394165-1568330740 -o /tmp/evaluation-result-4394165-1568330740/solver-4394165-1568330740 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 848515999 HOME/instance-4394165-1568330740.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a3f146023047dfa4a3d56734d0c92f1 RANDOM SEED=848515999 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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: 32770624 kB MemFree: 17704732 kB MemAvailable: 29583100 kB Buffers: 158968 kB Cached: 11882828 kB SwapCached: 45868 kB Active: 3222908 kB Inactive: 11098736 kB Active(anon): 2235260 kB Inactive(anon): 85948 kB Active(file): 987648 kB Inactive(file): 11012788 kB Unevictable: 108768 kB Mlocked: 108768 kB SwapTotal: 67108860 kB SwapFree: 66959212 kB Dirty: 26528 kB Writeback: 0 kB AnonPages: 2362112 kB Mapped: 56172 kB Shmem: 32744 kB Slab: 335852 kB SReclaimable: 306392 kB SUnreclaim: 29460 kB KernelStack: 4080 kB PageTables: 9908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3351480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2242560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55316 MiB End job on node124 at 2019-09-13 01:25:03