Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 165 | 22.3869 | 4.85139 |
Name | Tpp/Tpp-zinc-s1/ Tpp-5-5-30-1.xml |
MD5SUM | af05408dbf994167098c19a92e91e627 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 165 |
Best CPU time to get the best result obtained on this benchmark | 0.692329 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 807 |
Number of domains | 57 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":5},{"size":11,"count":1},{"size":12,"count":2},{"size":13,"count":8},{"size":14,"count":6},{"size":15,"count":9},{"size":16,"count":4},{"size":24,"count":30},{"size":25,"count":25}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":55},{"degree":26,"count":30},{"degree":32,"count":24},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":805},{"arity":25,"count":1}] |
Number of extensional constraints | 55 |
Number of intensional constraints | 751 |
Distribution of constraint types | [{"type":"extension","count":55},{"type":"intension","count":751},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400136-1568710765.xml" -tl '2016s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4400136-1568710765.xml, -tl, 2016s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 8.01/2.69 c solve instance... 9.14/2.84 o 384 9.88/2.97 o 298 10.56/3.02 o 274 10.56/3.03 o 269 10.56/3.03 o 267 10.56/3.04 o 265 10.56/3.06 o 264 10.56/3.07 o 256 10.56/3.08 o 255 10.56/3.08 o 254 10.56/3.09 o 252 10.56/3.09 o 251 11.14/3.15 o 250 11.14/3.18 o 249 11.14/3.19 o 248 11.67/3.20 o 245 11.67/3.20 o 244 11.67/3.21 o 243 11.67/3.21 o 242 11.67/3.24 o 241 11.67/3.24 o 240 11.67/3.25 o 238 11.67/3.28 o 236 11.67/3.28 o 235 11.67/3.29 o 234 12.20/3.31 o 233 12.20/3.32 o 232 12.20/3.32 o 231 12.20/3.33 o 230 12.20/3.33 o 229 12.20/3.36 o 228 12.20/3.36 o 227 12.20/3.36 o 227 12.20/3.37 o 226 12.20/3.39 o 225 12.20/3.39 o 224 12.60/3.41 o 223 12.60/3.42 o 219 12.60/3.42 o 217 12.60/3.44 o 216 12.60/3.45 o 215 12.60/3.48 o 214 12.60/3.48 o 213 12.60/3.49 o 212 12.60/3.49 o 210 12.96/3.50 o 209 12.96/3.51 o 208 12.96/3.53 o 202 12.96/3.54 o 201 12.96/3.54 o 200 12.96/3.54 o 196 12.96/3.56 o 187 12.96/3.57 o 186 12.96/3.60 o 185 13.45/3.61 o 183 13.45/3.63 o 182 13.45/3.64 o 181 13.45/3.64 o 180 13.45/3.66 o 179 13.45/3.69 o 178 13.45/3.69 o 177 13.96/3.73 o 176 13.96/3.74 o 174 13.96/3.76 o 172 13.96/3.76 o 171 13.96/3.77 o 170 13.96/3.79 o 168 14.33/3.81 o 166 14.33/3.82 o 165 22.19/4.82 s OPTIMUM FOUND 22.19/4.82 v <instantiation> 22.19/4.82 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] s[20] s[21] s[22] s[23] s[24] 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] d[20] d[21] d[22] d[23] d[24] 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> 22.19/4.82 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 14 19 15 16 17 13 24 20 21 22 18 23 0 0 0 0 0 0 0 0 0 0 0 0 0 13 1 0 0 0 1 9 0 0 0 8 18 18 19 14 18 13 18 14 23 14 13 14 14 13 23 13 14 23 13 18 13 19 19 23 19 23 14 13 14 18 18 4 1 5 1 1 5 7 11 8 1 2 1 4 1 6 5 5 6 4 4 1 7 2 2 6 2 4 1 2 6 </values> 22.19/4.82 v </instantiation>
OK 165
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: 16375 MiB (14415 MiB free) memory of node 1: 16384 MiB (15447 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400136-1568710765/watcher-4400136-1568710765 -o /tmp/evaluation-result-4400136-1568710765/solver-4400136-1568710765 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1661339443 HOME/instance-4400136-1568710765.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25512, runsolver pid=25509 [startup+0.100167 s]* /proc/loadavg: 6.17 7.65 8.04 3/211 25533 /proc/meminfo: memFree=30562200/32770688 swapFree=66961212/67108860 [pid=25512] ppid=25509 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25512/stat : 25512 (xcsp3-exec) S 25509 25512 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447018166 115843072 362 33554432000 4194304 5098028 140723781517552 140723781515656 140094910554748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16449536 140723781522299 140723781522542 140723781522542 140723781525450 0 /proc/25512/statm: 28282 362 304 221 0 87 0 [pid=25514] ppid=25512 vsize=28227396 memory=30088 CPUtime=0.12 cores=0-7 /proc/25514/stat : 25514 (java) S 25512 25512 18670 0 -1 1077944320 5473 0 0 0 11 1 0 0 20 0 20 0 447018167 28904853504 7522 33554432000 4194304 4196468 140724270787568 140724270770112 139777114373879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 /proc/25514/statm: 7056849 7522 3119 1 0 7019032 0 [pid=25514/tid=25515] ppid=25512 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/25514/task/25515/stat : 25515 (java) R 25512 25512 18670 0 -1 4202560 3388 0 0 0 8 1 0 0 20 0 20 0 447018167 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777118603296 139777114395805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25516] ppid=25512 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25514/task/25516/stat : 25516 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777034226576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25517] ppid=25512 vsize=28227396 memory=140071856604800 CPUtime=0 cores=0-7 /proc/25514/task/25517/stat : 25517 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777033173776 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25518] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25518/stat : 25518 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777032121488 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25519] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25519/stat : 25519 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777031068688 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25520] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25520/stat : 25520 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777030015376 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25521] ppid=25512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25514/task/25521/stat : 25521 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777028962576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25522] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25522/stat : 25522 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139777027910288 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25523] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25523/stat : 25523 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 7522 33554432000 4194304 4196468 140724270787568 139776658364944 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25524] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25524/stat : 25524 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018170 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775444277872 139777114385026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25525] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25525/stat : 25525 (java) S 25512 25512 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018170 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775443223840 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25526] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25526/stat : 25526 (java) S 25512 25512 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018170 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775442171504 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25527] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25527/stat : 25527 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775441119824 139777114392475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25528] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25528/stat : 25528 (java) S 25512 25512 18670 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775440066672 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25529] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25529/stat : 25529 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775439013872 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25530] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25530/stat : 25530 (java) S 25512 25512 18670 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775437961584 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25531] ppid=25512 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25514/task/25531/stat : 25531 (java) S 25512 25512 18670 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 447018173 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775436908784 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25532] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25532/stat : 25532 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775435856736 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25533] ppid=25512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25514/task/25533/stat : 25533 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018174 28904853504 7522 33554432000 4194304 4196468 140724270787568 139775434804016 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31536 KiB [startup+0.211429 s]* /proc/loadavg: 6.17 7.65 8.04 3/211 25533 /proc/meminfo: memFree=30548728/32770688 swapFree=66961212/67108860 [pid=25512] ppid=25509 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25512/stat : 25512 (xcsp3-exec) S 25509 25512 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447018166 115843072 362 33554432000 4194304 5098028 140723781517552 140723781515656 140094910554748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16449536 140723781522299 140723781522542 140723781522542 140723781525450 0 /proc/25512/statm: 28282 362 304 221 0 87 0 [pid=25514] ppid=25512 vsize=28227396 memory=41344 CPUtime=0.33 cores=0-7 /proc/25514/stat : 25514 (java) S 25512 25512 18670 0 -1 1077944320 9012 0 0 0 30 3 0 0 20 0 20 0 447018167 28904853504 10336 33554432000 4194304 4196468 140724270787568 140724270770112 139777114373879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 /proc/25514/statm: 7056849 10336 3298 1 0 7019032 0 [pid=25514/tid=25515] ppid=25512 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25514/task/25515/stat : 25515 (java) R 25512 25512 18670 0 -1 4202560 6182 0 0 0 18 2 0 0 20 0 20 0 447018167 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777118610320 139777114385814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25516] ppid=25512 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/25514/task/25516/stat : 25516 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777034226576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25517] ppid=25512 vsize=28227396 memory=140071859907068 CPUtime=0 cores=0-7 /proc/25514/task/25517/stat : 25517 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777033173776 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25518] ppid=25512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25514/task/25518/stat : 25518 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777032121488 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25519] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25519/stat : 25519 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777031068688 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25520] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25520/stat : 25520 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777030015376 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25521] ppid=25512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25514/task/25521/stat : 25521 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777028962576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25522] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25522/stat : 25522 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139777027910288 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25523] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25523/stat : 25523 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28904853504 10336 33554432000 4194304 4196468 140724270787568 139776658364944 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25524] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25524/stat : 25524 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018170 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775444277872 139777114385026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25525] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25525/stat : 25525 (java) S 25512 25512 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018170 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775443223840 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25526] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25526/stat : 25526 (java) S 25512 25512 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018170 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775442171504 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25527] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25527/stat : 25527 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775441119824 139777114392475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25528] ppid=25512 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25514/task/25528/stat : 25528 (java) S 25512 25512 18670 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 447018173 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775440066672 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25529] ppid=25512 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25514/task/25529/stat : 25529 (java) S 25512 25512 18670 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 447018173 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775439013872 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25530] ppid=25512 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/25514/task/25530/stat : 25530 (java) S 25512 25512 18670 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 447018173 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775437961584 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25531] ppid=25512 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/25514/task/25531/stat : 25531 (java) R 25512 25512 18670 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 20 0 447018173 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775436908784 139777114385814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25532] ppid=25512 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25532/stat : 25532 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018173 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775435856736 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25533] ppid=25512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25514/task/25533/stat : 25533 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018174 28904853504 10336 33554432000 4194304 4196468 140724270787568 139775434804016 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42792 KiB [startup+0.31122 s]* /proc/loadavg: 6.17 7.65 8.04 2/211 25533 /proc/meminfo: memFree=30544136/32770688 swapFree=66961212/67108860 [pid=25512] ppid=25509 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25512/stat : 25512 (xcsp3-exec) S 25509 25512 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447018166 115843072 362 33554432000 4194304 5098028 140723781517552 140723781515656 140094910554748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16449536 140723781522299 140723781522542 140723781522542 140723781525450 0 /proc/25512/statm: 28282 362 304 221 0 87 0 [pid=25514] ppid=25512 vsize=28231652 memory=46728 CPUtime=0.52 cores=0-7 /proc/25514/stat : 25514 (java) S 25512 25512 18670 0 -1 1077944320 10092 0 0 0 48 4 0 0 20 0 20 0 447018167 28909211648 11682 33554432000 4194304 4196468 140724270787568 140724270770112 139777114373879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 /proc/25514/statm: 7057913 11682 3320 1 0 7019032 0 [pid=25514/tid=25515] ppid=25512 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/25514/task/25515/stat : 25515 (java) R 25512 25512 18670 0 -1 4202560 7116 0 0 0 27 3 0 0 20 0 20 0 447018167 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777118595392 139777098454366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25516] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25516/stat : 25516 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777034226576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25517] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25517/stat : 25517 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777033173776 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25518] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25518/stat : 25518 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777032121488 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25519] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25519/stat : 25519 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777031068688 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25520] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25520/stat : 25520 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777030015376 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25521] ppid=25512 vsize=28231652 memory=140071701408431 CPUtime=0 cores=0-7 /proc/25514/task/25521/stat : 25521 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777028962576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25522] ppid=25512 vsize=28231652 memory=140071701410736 CPUtime=0 cores=0-7 /proc/25514/task/25522/stat : 25522 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139777027910288 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25523] ppid=25512 vsize=28231652 memory=140071701413040 CPUtime=0 cores=0-7 /proc/25514/task/25523/stat : 25523 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28909211648 11747 33554432000 4194304 4196468 140724270787568 139776658364944 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25524] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25524/stat : 25524 (java) S 25512 25512 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447018170 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775444277872 139777114385026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25525] ppid=25512 vsize=28231652 memory=280143402839952 CPUtime=0 cores=0-7 /proc/25514/task/25525/stat : 25525 (java) S 25512 25512 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018170 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775443223840 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25526] ppid=25512 vsize=28231652 memory=280143402837648 CPUtime=0 cores=0-7 /proc/25514/task/25526/stat : 25526 (java) S 25512 25512 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018170 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775442171504 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25527] ppid=25512 vsize=28231652 memory=280143402844560 CPUtime=0 cores=0-7 /proc/25514/task/25527/stat : 25527 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018173 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775441119824 139777114392475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25528] ppid=25512 vsize=28231652 memory=280143402785808 CPUtime=0.01 cores=0-7 /proc/25514/task/25528/stat : 25528 (java) S 25512 25512 18670 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 447018173 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775440066672 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25529] ppid=25512 vsize=28231652 memory=280143402858384 CPUtime=0.03 cores=0-7 /proc/25514/task/25529/stat : 25529 (java) S 25512 25512 18670 0 -1 1077944384 156 0 0 0 3 0 0 0 20 0 20 0 447018173 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775439013872 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25530] ppid=25512 vsize=28231652 memory=280143402865296 CPUtime=0.02 cores=0-7 /proc/25514/task/25530/stat : 25530 (java) S 25512 25512 18670 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 447018173 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775437961584 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25531] ppid=25512 vsize=28231652 memory=280143402862992 CPUtime=0.12 cores=0-7 /proc/25514/task/25531/stat : 25531 (java) S 25512 25512 18670 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 447018173 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775436908784 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25532] ppid=25512 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25532/stat : 25532 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018173 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775435856736 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25533] ppid=25512 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25514/task/25533/stat : 25533 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018174 28909211648 11747 33554432000 4194304 4196468 140724270787568 139775434804016 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48176 KiB [startup+0.701039 s] /proc/loadavg: 6.17 7.65 8.04 5/211 25533 /proc/meminfo: memFree=30532480/32770688 swapFree=66961212/67108860 [pid=25512] ppid=25509 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25512/stat : 25512 (xcsp3-exec) S 25509 25512 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447018166 115843072 362 33554432000 4194304 5098028 140723781517552 140723781515656 140094910554748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16449536 140723781522299 140723781522542 140723781522542 140723781525450 0 /proc/25512/statm: 28282 362 304 221 0 87 0 [pid=25514] ppid=25512 vsize=28233776 memory=84112 CPUtime=1.76 cores=0-7 /proc/25514/stat : 25514 (java) S 25512 25512 18670 0 -1 1077944320 15630 0 0 0 170 6 0 0 20 0 20 0 447018167 28911386624 21028 33554432000 4194304 4196468 140724270787568 140724270770112 139777114373879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 /proc/25514/statm: 7058444 21028 3444 1 0 7019544 0 [pid=25514/tid=25515] ppid=25512 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/25514/task/25515/stat : 25515 (java) R 25512 25512 18670 0 -1 4202560 8527 0 0 0 63 4 0 0 20 0 20 0 447018167 28911386624 21028 33554432000 4194304 4196468 140724270787568 139777118609456 139776707664674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25516] ppid=25512 vsize=28233776 memory=140071701619568 CPUtime=0 cores=0-7 /proc/25514/task/25516/stat : 25516 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28911386624 21028 33554432000 4194304 4196468 140724270787568 139777034226576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25517] ppid=25512 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25517/stat : 25517 (java) S 25512 25512 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018168 28911386624 21028 33554432000 4194304 4196468 140724270787568 139777033173776 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25518] ppid=25512 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/25514/task/25518/stat : 25518 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018168 28911386624 21028 33554432000 4194304 4196468 140724270787568 139777032121488 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 ################ # More data... # ################ [pid=25514/tid=25531] ppid=25512 vsize=28834900 memory=7811898622431287145 CPUtime=1.05 cores=0-7 /proc/25514/task/25531/stat : 25531 (java) S 25512 25512 18670 0 -1 1077944384 5993 0 0 0 102 3 0 0 20 0 28 0 447018173 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775436908592 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25532] ppid=25512 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25532/stat : 25532 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018173 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775435856736 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25533] ppid=25512 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/25514/task/25533/stat : 25533 (java) S 25512 25512 18670 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447018174 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775434804016 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26088] ppid=25512 vsize=28834900 memory=0 CPUtime=0.15 cores=0-7 /proc/25514/task/26088/stat : 26088 (java) R 25512 25512 18670 0 -1 1077944384 20 0 0 0 15 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775422434144 139777114384085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26089] ppid=25512 vsize=28834900 memory=0 CPUtime=0.1 cores=0-7 /proc/25514/task/26089/stat : 26089 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775423491856 139776716157337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26090] ppid=25512 vsize=28834900 memory=0 CPUtime=0.16 cores=0-7 /proc/25514/task/26090/stat : 26090 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 16 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775348562008 139776717012288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26091] ppid=25512 vsize=28834900 memory=0 CPUtime=0.18 cores=0-7 /proc/25514/task/26091/stat : 26091 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775420330912 139776717011358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26093] ppid=25512 vsize=28834900 memory=140071701528479 CPUtime=0.17 cores=0-7 /proc/25514/task/26093/stat : 26093 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775418228224 139776717021770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26094] ppid=25512 vsize=28834900 memory=140071701528511 CPUtime=0.18 cores=0-7 /proc/25514/task/26094/stat : 26094 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 18 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775421386488 139776716157425 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26095] ppid=25512 vsize=28834900 memory=23076 CPUtime=0.16 cores=0-7 /proc/25514/task/26095/stat : 26095 (java) S 25512 25512 18670 0 -1 1077944384 17 0 0 0 16 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775417170992 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26096] ppid=25512 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/25514/task/26096/stat : 26096 (java) S 25512 25512 18670 0 -1 1077944384 17 0 0 0 7 0 0 0 20 0 28 0 447018549 29526937600 212362 33554432000 4194304 4196468 140724270787568 139775347507008 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 Current children cumulated CPU time: 15.93 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 850896 KiB [startup+4.40156 s] /proc/loadavg: 5.92 7.58 8.01 13/219 26096 /proc/meminfo: memFree=29740024/32770688 swapFree=66961212/67108860 [pid=25512] ppid=25509 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25512/stat : 25512 (xcsp3-exec) S 25509 25512 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447018166 115843072 362 33554432000 4194304 5098028 140723781517552 140723781515656 140094910554748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16449536 140723781522299 140723781522542 140723781522542 140723781525450 0 /proc/25512/statm: 28282 362 304 221 0 87 0 [pid=25514] ppid=25512 vsize=28834900 memory=851764 CPUtime=18.99 cores=0-7 /proc/25514/stat : 25514 (java) S 25512 25512 18670 0 -1 1077944320 48729 0 0 0 1806 93 0 0 20 0 28 0 447018167 29526937600 212941 33554432000 4194304 4196468 140724270787568 140724270770112 139777114373879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 /proc/25514/statm: 7208725 212941 3534 1 0 7169825 0 [pid=25514/tid=25515] ppid=25512 vsize=28834900 memory=7014191949887203435 CPUtime=2.25 cores=0-7 /proc/25514/task/25515/stat : 25515 (java) S 25512 25512 18670 0 -1 1077944384 11053 0 0 0 218 7 0 0 20 0 28 0 447018167 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777118614656 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25516] ppid=25512 vsize=28834900 memory=6083332172765815383 CPUtime=0.21 cores=0-7 /proc/25514/task/25516/stat : 25516 (java) S 25512 25512 18670 0 -1 1077944384 242 0 0 0 13 8 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777034226576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25517] ppid=25512 vsize=28834900 memory=1056 CPUtime=0.21 cores=0-7 /proc/25514/task/25517/stat : 25517 (java) S 25512 25512 18670 0 -1 1077944384 335 0 0 0 13 8 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777033173776 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25518] ppid=25512 vsize=28834900 memory=788 CPUtime=0.2 cores=0-7 /proc/25514/task/25518/stat : 25518 (java) S 25512 25512 18670 0 -1 1077944384 247 0 0 0 13 7 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777032121488 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25519] ppid=25512 vsize=28834900 memory=1708 CPUtime=0.2 cores=0-7 /proc/25514/task/25519/stat : 25519 (java) S 25512 25512 18670 0 -1 1077944384 553 0 0 0 13 7 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777031068688 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25520] ppid=25512 vsize=28834900 memory=1280 CPUtime=0.24 cores=0-7 /proc/25514/task/25520/stat : 25520 (java) S 25512 25512 18670 0 -1 1077944384 288 0 0 0 15 9 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777030015376 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25521] ppid=25512 vsize=28834900 memory=6028 CPUtime=0.22 cores=0-7 /proc/25514/task/25521/stat : 25521 (java) S 25512 25512 18670 0 -1 1077944384 328 0 0 0 15 7 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777028962576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25522] ppid=25512 vsize=28834900 memory=780 CPUtime=0.23 cores=0-7 /proc/25514/task/25522/stat : 25522 (java) S 25512 25512 18670 0 -1 1077944384 284 0 0 0 14 9 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139777027910288 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25523] ppid=25512 vsize=28834900 memory=3988 CPUtime=0.21 cores=0-7 /proc/25514/task/25523/stat : 25523 (java) S 25512 25512 18670 0 -1 1077944384 236 0 0 0 14 7 0 0 20 0 28 0 447018168 29526937600 212941 33554432000 4194304 4196468 140724270787568 139776658364944 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25524] ppid=25512 vsize=28834900 memory=1088 CPUtime=0.01 cores=0-7 /proc/25514/task/25524/stat : 25524 (java) S 25512 25512 18670 0 -1 1077944384 763 0 0 0 1 0 0 0 20 0 28 0 447018170 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775444277872 139777114385026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25525] ppid=25512 vsize=28834900 memory=2832 CPUtime=0 cores=0-7 /proc/25514/task/25525/stat : 25525 (java) S 25512 25512 18670 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 447018170 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775443223904 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25526] ppid=25512 vsize=28834900 memory=1564 CPUtime=0 cores=0-7 /proc/25514/task/25526/stat : 25526 (java) S 25512 25512 18670 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 447018170 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775442171520 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25527] ppid=25512 vsize=28834900 memory=8560 CPUtime=0 cores=0-7 /proc/25514/task/25527/stat : 25527 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447018173 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775441119824 139777114392475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25528] ppid=25512 vsize=28834900 memory=14008 CPUtime=2.42 cores=0-7 /proc/25514/task/25528/stat : 25528 (java) R 25512 25512 18670 0 -1 4202560 5801 0 0 0 241 1 0 0 20 0 28 0 447018173 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775440057536 139777094034240 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25529] ppid=25512 vsize=28834900 memory=23120 CPUtime=2.44 cores=0-7 /proc/25514/task/25529/stat : 25529 (java) R 25512 25512 18670 0 -1 4202560 5450 0 0 0 243 1 0 0 20 0 28 0 447018173 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775439013848 139777094217483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25530] ppid=25512 vsize=28834900 memory=280143403580128 CPUtime=2.75 cores=0-7 /proc/25514/task/25530/stat : 25530 (java) R 25512 25512 18670 0 -1 4202560 5964 0 0 0 274 1 0 0 20 0 28 0 447018173 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775437947600 139777099303349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25531] ppid=25512 vsize=28834900 memory=2120 CPUtime=1.09 cores=0-7 /proc/25514/task/25531/stat : 25531 (java) S 25512 25512 18670 0 -1 1077944384 6056 0 0 0 106 3 0 0 20 0 28 0 447018173 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775436908784 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25532] ppid=25512 vsize=28834900 memory=496 CPUtime=0 cores=0-7 /proc/25514/task/25532/stat : 25532 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018173 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775435856736 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25533] ppid=25512 vsize=28834900 memory=6360846566568 CPUtime=0 cores=0-7 /proc/25514/task/25533/stat : 25533 (java) S 25512 25512 18670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 447018174 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775434804016 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26088] ppid=25512 vsize=28834900 memory=140076151572095 CPUtime=0.49 cores=0-7 /proc/25514/task/26088/stat : 26088 (java) R 25512 25512 18670 0 -1 4202560 20 0 0 0 49 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775422434776 139776716157425 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26089] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.47 cores=0-7 /proc/25514/task/26089/stat : 26089 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775423488368 139776716157310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26090] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.52 cores=0-7 /proc/25514/task/26090/stat : 26090 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 52 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775348558744 139776716156977 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26091] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.4 cores=0-7 /proc/25514/task/26091/stat : 26091 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775420329344 139776716158903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26093] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.36 cores=0-7 /proc/25514/task/26093/stat : 26093 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 36 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775418224792 139776717010541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26094] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.39 cores=0-7 /proc/25514/task/26094/stat : 26094 (java) R 25512 25512 18670 0 -1 4202560 18 0 0 0 39 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775421384552 139776716157425 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26095] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.48 cores=0-7 /proc/25514/task/26095/stat : 26095 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 48 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775417172344 139776716157256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26096] ppid=25512 vsize=28834900 memory=7956005031678667109 CPUtime=0.24 cores=0-7 /proc/25514/task/26096/stat : 26096 (java) R 25512 25512 18670 0 -1 4202560 17 0 0 0 24 0 0 0 20 0 28 0 447018549 29526937600 212941 33554432000 4194304 4196468 140724270787568 139775347507720 139776716157425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 Current children cumulated CPU time: 18.99 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 853212 KiB [startup+4.80156 s] /proc/loadavg: 5.92 7.58 8.01 13/219 26096 /proc/meminfo: memFree=29740024/32770688 swapFree=66961212/67108860 [pid=25512] ppid=25509 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25512/stat : 25512 (xcsp3-exec) S 25509 25512 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447018166 115843072 362 33554432000 4194304 5098028 140723781517552 140723781515656 140094910554748 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16449536 140723781522299 140723781522542 140723781522542 140723781525450 0 /proc/25512/statm: 28282 362 304 221 0 87 0 [pid=25514] ppid=25512 vsize=28834900 memory=852104 CPUtime=22.19 cores=0-7 /proc/25514/stat : 25514 (java) S 25512 25512 18670 0 -1 1077944320 48936 0 0 0 2122 97 0 0 20 0 28 0 447018167 29526937600 213026 33554432000 4194304 4196468 140724270787568 140724270770112 139777114373879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 /proc/25514/statm: 7208725 213026 3536 1 0 7169825 0 [pid=25514/tid=25515] ppid=25512 vsize=28834900 memory=0 CPUtime=2.25 cores=0-7 /proc/25514/task/25515/stat : 25515 (java) S 25512 25512 18670 0 -1 1077944384 11053 0 0 0 218 7 0 0 20 0 28 0 447018167 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777118614656 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25516] ppid=25512 vsize=28834900 memory=0 CPUtime=0.21 cores=0-7 /proc/25514/task/25516/stat : 25516 (java) S 25512 25512 18670 0 -1 1077944384 242 0 0 0 13 8 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777034226576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25517] ppid=25512 vsize=28834900 memory=6791534058613427641 CPUtime=0.21 cores=0-7 /proc/25514/task/25517/stat : 25517 (java) S 25512 25512 18670 0 -1 1077944384 335 0 0 0 13 8 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777033173776 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25518] ppid=25512 vsize=28834900 memory=-2892745056948402235 CPUtime=0.2 cores=0-7 /proc/25514/task/25518/stat : 25518 (java) S 25512 25512 18670 0 -1 1077944384 247 0 0 0 13 7 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777032121488 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25519] ppid=25512 vsize=28834900 memory=-2672971630408907303 CPUtime=0.2 cores=0-7 /proc/25514/task/25519/stat : 25519 (java) S 25512 25512 18670 0 -1 1077944384 553 0 0 0 13 7 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777031068688 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25520] ppid=25512 vsize=28834900 memory=-7022074515825631275 CPUtime=0.24 cores=0-7 /proc/25514/task/25520/stat : 25520 (java) S 25512 25512 18670 0 -1 1077944384 288 0 0 0 15 9 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777030015376 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25521] ppid=25512 vsize=28834900 memory=-7022074515825631275 CPUtime=0.22 cores=0-7 /proc/25514/task/25521/stat : 25521 (java) S 25512 25512 18670 0 -1 1077944384 328 0 0 0 15 7 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777028962576 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25522] ppid=25512 vsize=28834900 memory=7976406965554101975 CPUtime=0.23 cores=0-7 /proc/25514/task/25522/stat : 25522 (java) S 25512 25512 18670 0 -1 1077944384 284 0 0 0 14 9 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139777027910288 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25523] ppid=25512 vsize=28834900 memory=0 CPUtime=0.21 cores=0-7 /proc/25514/task/25523/stat : 25523 (java) S 25512 25512 18670 0 -1 1077944384 236 0 0 0 14 7 0 0 20 0 28 0 447018168 29526937600 213026 33554432000 4194304 4196468 140724270787568 139776658364944 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25524] ppid=25512 vsize=28834900 memory=280143403201504 CPUtime=0.01 cores=0-7 /proc/25514/task/25524/stat : 25524 (java) S 25512 25512 18670 0 -1 1077944384 763 0 0 0 1 0 0 0 20 0 28 0 447018170 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775444277872 139777114385026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25525] ppid=25512 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/25514/task/25525/stat : 25525 (java) S 25512 25512 18670 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 447018170 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775443223904 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25526] ppid=25512 vsize=28834900 memory=848484 CPUtime=0 cores=0-7 /proc/25514/task/25526/stat : 25526 (java) S 25512 25512 18670 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 447018170 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775442171520 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25527] ppid=25512 vsize=28834900 memory=219498598680480 CPUtime=0 cores=0-7 /proc/25514/task/25527/stat : 25527 (java) S 25512 25512 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447018173 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775441119824 139777114392475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25528] ppid=25512 vsize=28834900 memory=0 CPUtime=2.71 cores=0-7 /proc/25514/task/25528/stat : 25528 (java) S 25512 25512 18670 0 -1 1077944384 5822 0 0 0 270 1 0 0 20 0 28 0 447018173 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775440066672 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25529] ppid=25512 vsize=28834900 memory=288230574492221466 CPUtime=2.7 cores=0-7 /proc/25514/task/25529/stat : 25529 (java) R 25512 25512 18670 0 -1 4202560 5471 0 0 0 269 1 0 0 20 0 28 0 447018173 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775439002560 139777094036096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25530] ppid=25512 vsize=28834900 memory=288230596050944315 CPUtime=3.02 cores=0-7 /proc/25514/task/25530/stat : 25530 (java) R 25512 25512 18670 0 -1 4202560 6005 0 0 0 300 2 0 0 20 0 28 0 447018173 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775437943152 139777097859821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25531] ppid=25512 vsize=28834900 memory=14698491322567293 CPUtime=1.1 cores=0-7 /proc/25514/task/25531/stat : 25531 (java) S 25512 25512 18670 0 -1 1077944384 6065 0 0 0 107 3 0 0 20 0 28 0 447018173 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775436908784 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25532] ppid=25512 vsize=28834900 memory=280143403521952 CPUtime=0 cores=0-7 /proc/25514/task/25532/stat : 25532 (java) S 25512 25512 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018173 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775435856736 139777114384085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=25533] ppid=25512 vsize=28834900 memory=280143403522144 CPUtime=0 cores=0-7 /proc/25514/task/25533/stat : 25533 (java) S 25512 25512 18670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 447018174 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775434804016 139777114385026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26088] ppid=25512 vsize=28834900 memory=280143403432128 CPUtime=0.87 cores=0-7 /proc/25514/task/26088/stat : 26088 (java) R 25512 25512 18670 0 -1 4202560 47 0 0 0 86 1 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775422435064 139776714370624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26089] ppid=25512 vsize=28834900 memory=280143403432320 CPUtime=0.81 cores=0-7 /proc/25514/task/26089/stat : 26089 (java) R 25512 25512 18670 0 -1 4202560 35 0 0 0 81 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775423488152 139776717510584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26090] ppid=25512 vsize=28834900 memory=280143403432512 CPUtime=0.83 cores=0-7 /proc/25514/task/26090/stat : 26090 (java) R 25512 25512 18670 0 -1 4202560 27 0 0 0 83 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775348558984 139776716157208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26091] ppid=25512 vsize=28834900 memory=1448 CPUtime=0.61 cores=0-7 /proc/25514/task/26091/stat : 26091 (java) R 25512 25512 18670 0 -1 4202560 42 0 0 0 61 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775420329088 139776717150379 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26093] ppid=25512 vsize=28834900 memory=851740 CPUtime=0.66 cores=0-7 /proc/25514/task/26093/stat : 26093 (java) R 25512 25512 18670 0 -1 4202560 27 0 0 0 66 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775418225224 139776714370624 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26094] ppid=25512 vsize=28834900 memory=280143403433088 CPUtime=0.71 cores=0-7 /proc/25514/task/26094/stat : 26094 (java) R 25512 25512 18670 0 -1 1077944384 25 0 0 0 71 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775421382848 139777114384085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26095] ppid=25512 vsize=28834900 memory=280143403433280 CPUtime=0.78 cores=0-7 /proc/25514/task/26095/stat : 26095 (java) R 25512 25512 18670 0 -1 4202560 26 0 0 0 78 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775417171512 139776717010275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 [pid=25514/tid=26096] ppid=25512 vsize=28834900 memory=280143403433472 CPUtime=0.44 cores=0-7 /proc/25514/task/26096/stat : 26096 (java) R 25512 25512 18670 0 -1 4202560 26 0 0 0 44 0 0 0 20 0 28 0 447018549 29526937600 213026 33554432000 4194304 4196468 140724270787568 139775347507096 139776717150852 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23527424 140724270789616 140724270789787 140724270789787 140724270792655 0 Current children cumulated CPU time: 22.19 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 853552 KiB Child status: 0 Real time (s): 4.85139 CPU time (s): 22.3869 CPU user time (s): 21.4018 CPU system time (s): 0.985068 CPU usage (%): 461.453 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 853552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.4018 system time used= 0.985068 maximum resident set size= 852880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49534 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8916 involuntary context switches= 444 # summary of solver processes directly reported to runsolver: # pid: 25512 # total CPU time (s): 22.3869 # total CPU user time (s): 21.4018 # total CPU system time (s): 0.985068 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.059514 second user time and 0.107339 second system time The end
Begin job on node116 at 2019-09-17 10:58:44 IDJOB=4400136 IDBENCH=126837 IDSOLVER=2855 FILE ID=node116/4400136-1568710765 RUNJOBID= node116-1568700981-18697 PBS_JOBID= 21703912 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-5-5-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400136-1568710765/watcher-4400136-1568710765 -o /tmp/evaluation-result-4400136-1568710765/solver-4400136-1568710765 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1661339443 HOME/instance-4400136-1568710765.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= af05408dbf994167098c19a92e91e627 RANDOM SEED=1661339443 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30579768 kB MemAvailable: 31845700 kB Buffers: 153132 kB Cached: 1407364 kB SwapCached: 46584 kB Active: 1027380 kB Inactive: 583736 kB Active(anon): 4600 kB Inactive(anon): 94964 kB Active(file): 1022780 kB Inactive(file): 488772 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961212 kB Dirty: 26736 kB Writeback: 0 kB AnonPages: 115024 kB Mapped: 47876 kB Shmem: 40296 kB Slab: 169332 kB SReclaimable: 140428 kB SUnreclaim: 28904 kB KernelStack: 3440 kB PageTables: 5384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506424 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61208 MiB End job on node116 at 2019-09-17 10:58:49