Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 147 | 13.7421 | 3.0306 |
Name | Tpp/Tpp-zinc-s1/ Tpp-7-3-30-1.xml |
MD5SUM | 0f4bef4b37e838bc5603a3a9d9caf103 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 147 |
Best CPU time to get the best result obtained on this benchmark | 0.359541 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 102 |
Number of constraints | 683 |
Number of domains | 53 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":4},{"size":4,"count":13},{"size":5,"count":3},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":4},{"size":12,"count":9},{"size":13,"count":8},{"size":14,"count":3},{"size":15,"count":3},{"size":16,"count":1},{"size":20,"count":30},{"size":21,"count":21}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":51},{"degree":22,"count":30},{"degree":32,"count":20},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":681},{"arity":21,"count":1}] |
Number of extensional constraints | 51 |
Number of intensional constraints | 631 |
Distribution of constraint types | [{"type":"extension","count":51},{"type":"intension","count":631},{"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-4399869-1568705099.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399869-1568705099.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 7.08/2.03 c solve instance... 9.15/2.33 o 256 9.15/2.35 o 242 9.15/2.39 o 241 9.82/2.45 o 240 9.82/2.47 o 215 9.82/2.48 o 214 9.82/2.49 o 212 9.82/2.49 o 211 9.82/2.49 o 210 10.48/2.50 o 185 10.48/2.50 o 170 10.48/2.51 o 169 10.48/2.53 o 168 10.48/2.54 o 166 10.48/2.55 o 165 10.48/2.56 o 164 10.48/2.59 o 163 11.17/2.64 o 162 11.17/2.65 o 161 11.17/2.65 o 160 11.17/2.66 o 159 11.17/2.70 o 158 11.47/2.70 o 157 11.47/2.71 o 156 11.47/2.71 o 155 11.47/2.71 o 154 11.47/2.73 o 149 11.47/2.76 o 148 11.47/2.77 o 147 13.62/3.01 s OPTIMUM FOUND 13.62/3.01 v <instantiation> 13.62/3.01 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] 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] 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> 13.62/3.01 v <values>0 1 2 3 4 5 6 7 8 9 11 12 13 20 14 15 16 10 17 18 19 0 0 0 0 0 0 0 0 0 0 7 1 1 18 0 0 0 16 10 1 4 13 13 12 18 19 11 19 10 13 18 18 11 11 13 17 10 10 19 12 18 13 11 19 17 17 13 19 17 13 10 1 1 1 5 4 4 3 1 2 1 3 1 2 6 2 2 2 1 9 1 1 1 7 4 7 1 2 2 4 8 </values> 13.62/3.01 v </instantiation>
OK 147
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 (10672 MiB free) memory of node 1: 16384 MiB (15479 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399869-1568705099/watcher-4399869-1568705099 -o /tmp/evaluation-result-4399869-1568705099/solver-4399869-1568705099 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1339870542 HOME/instance-4399869-1568705099.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 solver pid=24406, runsolver pid=24403 Current StackSize limit: 8192 KiB [startup+0.100117 s]* /proc/loadavg: 8.32 8.35 8.28 2/211 24427 /proc/meminfo: memFree=26761416/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28227396 memory=29660 CPUtime=0.12 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 5891 0 0 0 11 1 0 0 20 0 20 0 446748533 28904853504 7415 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7056849 7415 3118 1 0 7019032 0 [pid=24408/tid=24409] ppid=24406 vsize=28227396 memory=7969290448259686807 CPUtime=0.09 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) R 24406 24406 21699 0 -1 4202560 3801 0 0 0 8 1 0 0 20 0 20 0 446748533 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701473757856 139701469543830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28227396 memory=732369903518141413 CPUtime=0 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28227396 memory=139765180688000 CPUtime=0 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24413] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24413/stat : 24413 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701418994448 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24414] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24414/stat : 24414 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701417941648 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24415] ppid=24406 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24408/task/24415/stat : 24415 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701416888848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24416] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24416/stat : 24416 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701415836048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24417] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24417/stat : 24417 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 7415 33554432000 4194304 4196468 140730289822800 139701414783248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24418] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24418/stat : 24418 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748535 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699598031728 139701469543042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24419] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24419/stat : 24419 (java) S 24406 24406 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446748536 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699596977696 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24420] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24420/stat : 24420 (java) S 24406 24406 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446748536 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699595924848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24421] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24421/stat : 24421 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699594873168 139701469550491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24422] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24422/stat : 24422 (java) S 24406 24406 21699 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699593820528 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24423] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24423/stat : 24423 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699592767728 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24424] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24424/stat : 24424 (java) S 24406 24406 21699 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699591714928 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24425] ppid=24406 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24408/task/24425/stat : 24425 (java) R 24406 24406 21699 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 446748538 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699590662128 139701461769022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24426] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748539 28904853504 7415 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31112 KiB [startup+0.210545 s]* /proc/loadavg: 8.32 8.35 8.28 3/211 24427 /proc/meminfo: memFree=26748268/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28227396 memory=40956 CPUtime=0.33 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 9496 0 0 0 30 3 0 0 20 0 20 0 446748533 28904853504 10239 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7056849 10239 3296 1 0 7019032 0 [pid=24408/tid=24409] ppid=24406 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) R 24406 24406 21699 0 -1 4202560 6666 0 0 0 18 2 0 0 20 0 20 0 446748533 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701473761616 139701448609368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28227396 memory=732369903518141413 CPUtime=0 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28227396 memory=139765180688000 CPUtime=0 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24413] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24413/stat : 24413 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701418994448 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24414] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24414/stat : 24414 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701417941648 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24415] ppid=24406 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24408/task/24415/stat : 24415 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701416888848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24416] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24416/stat : 24416 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701415836048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24417] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24417/stat : 24417 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748534 28904853504 10239 33554432000 4194304 4196468 140730289822800 139701414783248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24418] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24418/stat : 24418 (java) S 24406 24406 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446748535 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699598031728 139701469543042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24419] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24419/stat : 24419 (java) S 24406 24406 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446748536 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699596977696 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24420] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24420/stat : 24420 (java) S 24406 24406 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446748536 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699595924848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24421] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24421/stat : 24421 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699594873168 139701469550491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24422] ppid=24406 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24408/task/24422/stat : 24422 (java) S 24406 24406 21699 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 446748538 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699593820528 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24423] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24423/stat : 24423 (java) S 24406 24406 21699 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699592767728 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24424] ppid=24406 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24408/task/24424/stat : 24424 (java) S 24406 24406 21699 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 446748538 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699591714928 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24425] ppid=24406 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/24408/task/24425/stat : 24425 (java) R 24406 24406 21699 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 20 0 446748538 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699590662128 139701461769022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24426] ppid=24406 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748538 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748539 28904853504 10239 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42408 KiB [startup+0.310331 s]* /proc/loadavg: 8.32 8.35 8.28 3/211 24427 /proc/meminfo: memFree=26727540/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28231652 memory=49748 CPUtime=0.51 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 10837 0 0 0 47 4 0 0 20 0 20 0 446748533 28909211648 12437 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7057913 12437 3355 1 0 7019032 0 [pid=24408/tid=24409] ppid=24406 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) R 24406 24406 21699 0 -1 4202560 7823 0 0 0 27 3 0 0 20 0 20 0 446748533 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701473765680 139701453612382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24413] ppid=24406 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24413/stat : 24413 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701418994448 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24414] ppid=24406 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/24408/task/24414/stat : 24414 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701417941648 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24415] ppid=24406 vsize=28231652 memory=139765081011119 CPUtime=0 cores=0-7 /proc/24408/task/24415/stat : 24415 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701416888848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24416] ppid=24406 vsize=28231652 memory=139765081013424 CPUtime=0 cores=0-7 /proc/24408/task/24416/stat : 24416 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701415836048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24417] ppid=24406 vsize=28231652 memory=139765081015728 CPUtime=0 cores=0-7 /proc/24408/task/24417/stat : 24417 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748534 28909211648 12437 33554432000 4194304 4196468 140730289822800 139701414783248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24418] ppid=24406 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24418/stat : 24418 (java) S 24406 24406 21699 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446748535 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699598031728 139701469543042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24419] ppid=24406 vsize=28231652 memory=279530162038416 CPUtime=0 cores=0-7 /proc/24408/task/24419/stat : 24419 (java) S 24406 24406 21699 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446748536 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699596977696 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24420] ppid=24406 vsize=28231652 memory=279530162045328 CPUtime=0 cores=0-7 /proc/24408/task/24420/stat : 24420 (java) S 24406 24406 21699 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446748536 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699595924848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24421] ppid=24406 vsize=28231652 memory=279530161986480 CPUtime=0 cores=0-7 /proc/24408/task/24421/stat : 24421 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748538 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699594873168 139701469550491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24422] ppid=24406 vsize=28231652 memory=279530162059152 CPUtime=0.02 cores=0-7 /proc/24408/task/24422/stat : 24422 (java) S 24406 24406 21699 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 20 0 446748538 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699593820528 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24423] ppid=24406 vsize=28231652 memory=279530162066064 CPUtime=0.01 cores=0-7 /proc/24408/task/24423/stat : 24423 (java) S 24406 24406 21699 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 446748538 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699592767728 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24424] ppid=24406 vsize=28231652 memory=279530162063760 CPUtime=0.03 cores=0-7 /proc/24408/task/24424/stat : 24424 (java) S 24406 24406 21699 0 -1 1077944384 361 0 0 0 3 0 0 0 20 0 20 0 446748538 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699591714928 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24425] ppid=24406 vsize=28231652 memory=279530162079920 CPUtime=0.12 cores=0-7 /proc/24408/task/24425/stat : 24425 (java) S 24406 24406 21699 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 446748538 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699590662128 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24426] ppid=24406 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748538 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748539 28909211648 12437 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51200 KiB [startup+0.71006 s] /proc/loadavg: 8.32 8.35 8.28 6/211 24427 /proc/meminfo: memFree=26706460/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28233776 memory=91584 CPUtime=1.93 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 16151 0 0 0 186 7 0 0 20 0 20 0 446748533 28911386624 22896 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7058444 22896 3456 1 0 7019544 0 [pid=24408/tid=24409] ppid=24406 vsize=28233776 memory=3979269165998689855 CPUtime=0.68 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) R 24406 24406 21699 0 -1 4202560 8696 0 0 0 64 4 0 0 20 0 20 0 446748533 28911386624 22896 33554432000 4194304 4196468 140730289822800 139701473769280 139701079252926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28911386624 22896 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446748534 28911386624 22896 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446748534 28911386624 22896 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 ################ # More data... # ################ /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748538 28913483776 71445 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28235824 memory=1088 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446748539 28913483776 71445 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 28348952 KiB Current children cumulated memory: 287232 KiB [startup+2.50101 s] /proc/loadavg: 8.32 8.35 8.28 13/219 24435 /proc/meminfo: memFree=26464104/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28769364 memory=444780 CPUtime=10.48 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 32299 0 0 0 1005 43 0 0 20 0 25 0 446748533 29459828736 111195 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7192341 111195 3511 1 0 7153441 0 [pid=24408/tid=24409] ppid=24406 vsize=28769364 memory=286360 CPUtime=1.96 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) S 24406 24406 21699 0 -1 1077944384 10121 0 0 0 190 6 0 0 20 0 25 0 446748533 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701473772672 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28769364 memory=2244 CPUtime=0.08 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 102 0 0 0 5 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28769364 memory=4639904302751567952 CPUtime=0.1 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 150 0 0 0 7 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28769364 memory=7883944108235712103 CPUtime=0.09 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 61 0 0 0 6 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24413] ppid=24406 vsize=28769364 memory=7595978702018602576 CPUtime=0.09 cores=0-7 /proc/24408/task/24413/stat : 24413 (java) S 24406 24406 21699 0 -1 1077944384 110 0 0 0 6 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701418994448 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24414] ppid=24406 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/24408/task/24414/stat : 24414 (java) S 24406 24406 21699 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701417941648 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24415] ppid=24406 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/24408/task/24415/stat : 24415 (java) S 24406 24406 21699 0 -1 1077944384 126 0 0 0 6 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701416888848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24416] ppid=24406 vsize=28769364 memory=139765081213040 CPUtime=0.07 cores=0-7 /proc/24408/task/24416/stat : 24416 (java) S 24406 24406 21699 0 -1 1077944384 69 0 0 0 5 2 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701415836048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24417] ppid=24406 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/24408/task/24417/stat : 24417 (java) S 24406 24406 21699 0 -1 1077944384 116 0 0 0 5 3 0 0 20 0 25 0 446748534 29459828736 111195 33554432000 4194304 4196468 140730289822800 139701414783248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24418] ppid=24406 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24418/stat : 24418 (java) S 24406 24406 21699 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 25 0 446748535 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699598031728 139701469543042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24419] ppid=24406 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24419/stat : 24419 (java) S 24406 24406 21699 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 25 0 446748536 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699596977760 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24420] ppid=24406 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24408/task/24420/stat : 24420 (java) S 24406 24406 21699 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 25 0 446748536 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699595924864 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24421] ppid=24406 vsize=28769364 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/24408/task/24421/stat : 24421 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 446748538 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699594873168 139701469550491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24422] ppid=24406 vsize=28769364 memory=13847469322668657 CPUtime=1.74 cores=0-7 /proc/24408/task/24422/stat : 24422 (java) R 24406 24406 21699 0 -1 4202560 5485 0 0 0 172 2 0 0 20 0 26 0 446748538 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699593812176 139701453017845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24423] ppid=24406 vsize=28769364 memory=0 CPUtime=1.61 cores=0-7 /proc/24408/task/24423/stat : 24423 (java) R 24406 24406 21699 0 -1 4202560 3655 0 0 0 160 1 0 0 20 0 26 0 446748538 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699592758560 139701448792280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24424] ppid=24406 vsize=28769352 memory=0 CPUtime=1.78 cores=0-7 /proc/24408/task/24424/stat : 24424 (java) R 24406 24406 21699 0 -1 4202560 4962 0 0 0 177 1 0 0 20 0 26 0 446748538 29459816448 111195 33554432000 4194304 4196468 140730289822800 139699591701648 139701454411478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24425] ppid=24406 vsize=28769364 memory=0 CPUtime=0.77 cores=0-7 /proc/24408/task/24425/stat : 24425 (java) S 24406 24406 21699 0 -1 1077944384 4019 0 0 0 76 1 0 0 20 0 26 0 446748538 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699590662128 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24426] ppid=24406 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 446748538 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 446748539 29459828736 111195 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 10.48 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 446232 KiB [startup+2.90101 s] /proc/loadavg: 8.32 8.35 8.28 13/219 24435 /proc/meminfo: memFree=26464104/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28769364 memory=457160 CPUtime=12.81 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 36784 0 0 0 1236 45 0 0 20 0 28 0 446748533 29459828736 114290 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7192341 114290 3530 1 0 7153441 0 [pid=24408/tid=24409] ppid=24406 vsize=28769364 memory=209860692066012 CPUtime=1.98 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) S 24406 24406 21699 0 -1 1077944384 10121 0 0 0 192 6 0 0 20 0 28 0 446748533 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701473772672 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 102 0 0 0 5 3 0 0 20 0 28 0 446748534 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 150 0 0 0 7 3 0 0 20 0 28 0 446748534 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 61 0 0 0 6 3 0 0 20 0 28 0 446748534 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24413] ppid=24406 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/24408/task/24413/stat : 24413 (java) S 24406 24406 21699 0 -1 1077944384 110 0 0 0 6 3 0 0 20 0 28 0 446748534 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701418994448 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24414] ppid=24406 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7 /proc/24408/task/24414/stat : 24414 (java) S 24406 24406 21699 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 28 0 446748534 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701417941648 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24415] ppid=24406 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/24408/task/24415/stat : 24415 (java) S 24406 24406 21699 0 -1 1077944384 126 0 0 0 6 3 0 0 20 0 28 0 446748534 29459828736 114290 33554432000 4194304 4196468 140730289822800 139701416888848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24416] ppid=24406 vsize=28769364 memory=8171899632953614944 CPUtime=0.07 cores=0-7 /proc/24408/task/24416/stat : 24416 (java) S 24406 24406 21699 0 -1 1077944384 69 0 0 0 5 2 0 0 20 0 28 0 446748534 29459828736 114295 33554432000 4194304 4196468 140730289822800 139701415836048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24417] ppid=24406 vsize=28769364 memory=7885636184369751384 CPUtime=0.08 cores=0-7 /proc/24408/task/24417/stat : 24417 (java) S 24406 24406 21699 0 -1 1077944384 116 0 0 0 5 3 0 0 20 0 28 0 446748534 29459828736 114295 33554432000 4194304 4196468 140730289822800 139701414783248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24418] ppid=24406 vsize=28769364 memory=7373665001440127637 CPUtime=0.01 cores=0-7 /proc/24408/task/24418/stat : 24418 (java) S 24406 24406 21699 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 28 0 446748535 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699598031728 139701469543042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24419] ppid=24406 vsize=28769364 memory=7373665001440127637 CPUtime=0 cores=0-7 /proc/24408/task/24419/stat : 24419 (java) S 24406 24406 21699 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446748536 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699596977760 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24420] ppid=24406 vsize=28769364 memory=7524225706946093163 CPUtime=0 cores=0-7 /proc/24408/task/24420/stat : 24420 (java) S 24406 24406 21699 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 446748536 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699595924864 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24421] ppid=24406 vsize=28769364 memory=7525629689140045144 CPUtime=0 cores=0-7 /proc/24408/task/24421/stat : 24421 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446748538 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699594873168 139701469550491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24422] ppid=24406 vsize=28769364 memory=7373663901928499861 CPUtime=2.01 cores=0-7 /proc/24408/task/24422/stat : 24422 (java) R 24406 24406 21699 0 -1 4202560 5716 0 0 0 199 2 0 0 20 0 28 0 446748538 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699593807376 139701450167805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24423] ppid=24406 vsize=28769364 memory=7373665001440127637 CPUtime=1.91 cores=0-7 /proc/24408/task/24423/stat : 24423 (java) R 24406 24406 21699 0 -1 4202560 4256 0 0 0 189 2 0 0 20 0 28 0 446748538 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699592753792 139701452995504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24424] ppid=24406 vsize=28769364 memory=7373663901928499861 CPUtime=2.01 cores=0-7 /proc/24408/task/24424/stat : 24424 (java) R 24406 24406 21699 0 -1 4202560 5050 0 0 0 200 1 0 0 20 0 28 0 446748538 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699591696336 139701451076572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24425] ppid=24406 vsize=28769364 memory=7373663901928499861 CPUtime=0.84 cores=0-7 /proc/24408/task/24425/stat : 24425 (java) R 24406 24406 21699 0 -1 4202560 4285 0 0 0 83 1 0 0 20 0 28 0 446748538 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699590662128 139701453855232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24426] ppid=24406 vsize=28769364 memory=7373665001440127637 CPUtime=0 cores=0-7 /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446748538 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28769364 memory=7373665001440127637 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446748539 29459828736 114295 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 12.81 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 458612 KiB [startup+3.0054 s] /proc/loadavg: 8.32 8.35 8.28 13/219 24435 /proc/meminfo: memFree=26464104/32770624 swapFree=66941544/67108860 [pid=24406] ppid=24403 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24406/stat : 24406 (xcsp3-exec) S 24403 24406 21699 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446748532 115843072 363 33554432000 4194304 5098028 140729914732208 140729914730312 139939831976572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36663296 140729914733429 140729914733673 140729914733673 140729914736586 0 /proc/24406/statm: 28282 363 305 221 0 87 0 [pid=24408] ppid=24406 vsize=28769364 memory=457316 CPUtime=13.62 cores=0-7 /proc/24408/stat : 24408 (java) S 24406 24406 21699 0 -1 1077944320 38010 0 0 0 1317 45 0 0 20 0 28 0 446748533 29459828736 114329 33554432000 4194304 4196468 140730289822800 140730289805344 139701469531895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 /proc/24408/statm: 7192341 114329 3532 1 0 7153441 0 [pid=24408/tid=24409] ppid=24406 vsize=28769364 memory=667680 CPUtime=1.98 cores=0-7 /proc/24408/task/24409/stat : 24409 (java) S 24406 24406 21699 0 -1 1077944384 10121 0 0 0 192 6 0 0 20 0 28 0 446748533 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701473772672 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24410] ppid=24406 vsize=28769364 memory=445516 CPUtime=0.08 cores=0-7 /proc/24408/task/24410/stat : 24410 (java) S 24406 24406 21699 0 -1 1077944384 102 0 0 0 5 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701422152848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24411] ppid=24406 vsize=28769364 memory=296864 CPUtime=0.1 cores=0-7 /proc/24408/task/24411/stat : 24411 (java) S 24406 24406 21699 0 -1 1077944384 150 0 0 0 7 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701421100048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24412] ppid=24406 vsize=28769364 memory=56 CPUtime=0.09 cores=0-7 /proc/24408/task/24412/stat : 24412 (java) S 24406 24406 21699 0 -1 1077944384 61 0 0 0 6 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701420047248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24413] ppid=24406 vsize=28769364 memory=5790086053191909267 CPUtime=0.09 cores=0-7 /proc/24408/task/24413/stat : 24413 (java) S 24406 24406 21699 0 -1 1077944384 110 0 0 0 6 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701418994448 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24414] ppid=24406 vsize=28769364 memory=-3472574944341025154 CPUtime=0.1 cores=0-7 /proc/24408/task/24414/stat : 24414 (java) S 24406 24406 21699 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701417941648 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24415] ppid=24406 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/24408/task/24415/stat : 24415 (java) S 24406 24406 21699 0 -1 1077944384 126 0 0 0 6 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701416888848 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24416] ppid=24406 vsize=28769364 memory=321 CPUtime=0.07 cores=0-7 /proc/24408/task/24416/stat : 24416 (java) S 24406 24406 21699 0 -1 1077944384 69 0 0 0 5 2 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701415836048 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24417] ppid=24406 vsize=28769364 memory=97 CPUtime=0.08 cores=0-7 /proc/24408/task/24417/stat : 24417 (java) S 24406 24406 21699 0 -1 1077944384 116 0 0 0 5 3 0 0 20 0 28 0 446748534 29459828736 114329 33554432000 4194304 4196468 140730289822800 139701414783248 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24418] ppid=24406 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/24408/task/24418/stat : 24418 (java) S 24406 24406 21699 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 28 0 446748535 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699598031728 139701469543042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24419] ppid=24406 vsize=28769364 memory=8028676333680759155 CPUtime=0 cores=0-7 /proc/24408/task/24419/stat : 24419 (java) S 24406 24406 21699 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446748536 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699596977760 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24420] ppid=24406 vsize=28769364 memory=8475934422797934688 CPUtime=0 cores=0-7 /proc/24408/task/24420/stat : 24420 (java) S 24406 24406 21699 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 446748536 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699595924864 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24421] ppid=24406 vsize=28769364 memory=8475934422144292502 CPUtime=0 cores=0-7 /proc/24408/task/24421/stat : 24421 (java) S 24406 24406 21699 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446748538 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699594873168 139701469550491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24422] ppid=24406 vsize=28769364 memory=1414298054980309879 CPUtime=2.09 cores=0-7 /proc/24408/task/24422/stat : 24422 (java) R 24406 24406 21699 0 -1 4202560 5891 0 0 0 207 2 0 0 20 0 28 0 446748538 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699593819200 139701454657334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24423] ppid=24406 vsize=28769364 memory=288230574492221466 CPUtime=1.97 cores=0-7 /proc/24408/task/24423/stat : 24423 (java) R 24406 24406 21699 0 -1 1077944384 4417 0 0 0 195 2 0 0 20 0 28 0 446748538 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699592753728 139701469542101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24424] ppid=24406 vsize=28769364 memory=288230583166042426 CPUtime=2.05 cores=0-7 /proc/24408/task/24424/stat : 24424 (java) S 24406 24406 21699 0 -1 1077944384 5094 0 0 0 204 1 0 0 20 0 28 0 446748538 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699591714928 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24425] ppid=24406 vsize=28769364 memory=13847469322668657 CPUtime=0.86 cores=0-7 /proc/24408/task/24425/stat : 24425 (java) S 24406 24406 21699 0 -1 1077944384 4984 0 0 0 85 1 0 0 20 0 28 0 446748538 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699590662128 139701469543042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24426] ppid=24406 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24426/stat : 24426 (java) S 24406 24406 21699 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446748538 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699589610592 139701469542101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 [pid=24408/tid=24427] ppid=24406 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/24408/task/24427/stat : 24427 (java) R 24406 24406 21699 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 446748539 29459828736 114329 33554432000 4194304 4196468 140730289822800 139699588557872 139701469543042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38162432 140730289824746 140730289824918 140730289824918 140730289827791 0 Current children cumulated CPU time: 13.62 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 458768 KiB Child status: 0 Real time (s): 3.0306 CPU time (s): 13.7421 CPU user time (s): 13.2709 CPU system time (s): 0.471118 CPU usage (%): 453.443 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 458768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.2709 system time used= 0.471118 maximum resident set size= 457832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39104 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= 5377 involuntary context switches= 180 # summary of solver processes directly reported to runsolver: # pid: 24406 # total CPU time (s): 13.7421 # total CPU user time (s): 13.2709 # total CPU system time (s): 0.471118 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.04203 second user time and 0.071451 second system time The end
Begin job on node149 at 2019-09-17 09:24:21 IDJOB=4399869 IDBENCH=126822 IDSOLVER=2854 FILE ID=node149/4399869-1568705099 RUNJOBID= node149-1568700680-21726 PBS_JOBID= 21703901 Free space on /tmp= 61420 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-7-3-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-4399869-1568705099/watcher-4399869-1568705099 -o /tmp/evaluation-result-4399869-1568705099/solver-4399869-1568705099 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568700680-21726 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1339870542 HOME/instance-4399869-1568705099.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0f4bef4b37e838bc5603a3a9d9caf103 RANDOM SEED=1339870542 node149.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.81 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.81 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.81 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.81 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: 26779512 kB MemAvailable: 31840864 kB Buffers: 111636 kB Cached: 5251684 kB SwapCached: 61056 kB Active: 2425188 kB Inactive: 3001000 kB Active(anon): 5208 kB Inactive(anon): 106212 kB Active(file): 2419980 kB Inactive(file): 2894788 kB Unevictable: 111208 kB Mlocked: 111208 kB SwapTotal: 67108860 kB SwapFree: 66941544 kB Dirty: 26184 kB Writeback: 0 kB AnonPages: 128192 kB Mapped: 48348 kB Shmem: 40000 kB Slab: 154060 kB SReclaimable: 124840 kB SUnreclaim: 29220 kB KernelStack: 3712 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506384 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-17 09:24:24