Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 23.2731 | 5.07691 |
Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-001-a4_X2.xml |
MD5SUM | b8ea00653452363d0c81f6ef3102e485 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.830237 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 228 |
Number of domains | 5 |
Minimum domain size | 1 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}] |
Minimum variable degree | 1 |
Maximum variable degree | 208 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
Number of extensional constraints | 228 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":228}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393484-1568439712.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393484-1568439712.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 12.47/3.65 c solve instance... 22.87/5.05 s SATISFIABLE 22.87/5.05 v <instantiation> 22.87/5.05 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 22.87/5.05 v <values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160 </values> 22.87/5.05 v </instantiation>
OK
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 (11757 MiB free) memory of node 1: 16384 MiB (14444 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393484-1568439712/watcher-4393484-1568439712 -o /tmp/evaluation-result-4393484-1568439712/solver-4393484-1568439712 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 151555909 HOME/instance-4393484-1568439712.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=23139, runsolver pid=23136 Current StackSize limit: 8192 KiB [startup+0.100159 s]* /proc/loadavg: 6.32 7.79 7.82 2/212 23160 /proc/meminfo: memFree=26814416/32770624 swapFree=66957016/67108860 [pid=23139] ppid=23136 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23139/stat : 23139 (xcsp3-exec) S 23136 23139 23095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419885021 115843072 364 33554432000 4194304 5098028 140727292868432 140727292866536 140066367070844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26005504 140727292875638 140727292875881 140727292875881 140727292878794 0 /proc/23139/statm: 28282 364 305 221 0 87 0 [pid=23141] ppid=23139 vsize=28227388 memory=29188 CPUtime=0.12 cores=0-7 /proc/23141/stat : 23141 (java) S 23139 23139 23095 0 -1 1077944320 5682 0 0 0 11 1 0 0 20 0 20 0 419885021 28904845312 7297 33554432000 4194304 4196468 140724275840688 140724275823232 139872872300279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 /proc/23141/statm: 7056847 7297 3137 1 0 7019032 0 [pid=23141/tid=23142] ppid=23139 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23141/task/23142/stat : 23142 (java) R 23139 23139 23095 0 -1 4202560 3591 0 0 0 8 1 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872876526880 139872872312214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23143] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23143/stat : 23143 (java) S 23139 23139 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872792152592 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23144] ppid=23139 vsize=28227388 memory=140025351091840 CPUtime=0 cores=0-7 /proc/23141/task/23144/stat : 23144 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872422714000 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23145] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23145/stat : 23145 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872421660944 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23146] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23146/stat : 23146 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872420608400 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23147] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23147/stat : 23147 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872419556368 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23148] ppid=23139 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23148/stat : 23148 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872418503824 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23149] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23149/stat : 23149 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872417450768 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23150] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23150/stat : 23150 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 7297 33554432000 4194304 4196468 140724275840688 139872416398224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23151] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23151/stat : 23151 (java) S 23139 23139 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419885024 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871537797360 139872872311426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23152] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23152/stat : 23152 (java) S 23139 23139 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419885024 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871536743584 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23153] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23153/stat : 23153 (java) S 23139 23139 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419885025 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871535690480 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23154] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23154/stat : 23154 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871534639056 139872872318875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23155] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23155/stat : 23155 (java) S 23139 23139 23095 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871533587184 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23156] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23156/stat : 23156 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871532534640 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23157] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23157/stat : 23157 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871531481584 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23158] ppid=23139 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/23141/task/23158/stat : 23158 (java) R 23139 23139 23095 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 419885027 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871530429040 139872864537406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23159] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23159/stat : 23159 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871529376224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23160] ppid=23139 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23160/stat : 23160 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885028 28904845312 7297 33554432000 4194304 4196468 140724275840688 139871528323760 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30644 KiB [startup+0.210566 s]* /proc/loadavg: 6.32 7.79 7.82 2/212 23160 /proc/meminfo: memFree=26800468/32770624 swapFree=66957016/67108860 [pid=23139] ppid=23136 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23139/stat : 23139 (xcsp3-exec) S 23136 23139 23095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419885021 115843072 364 33554432000 4194304 5098028 140727292868432 140727292866536 140066367070844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26005504 140727292875638 140727292875881 140727292875881 140727292878794 0 /proc/23139/statm: 28282 364 305 221 0 87 0 [pid=23141] ppid=23139 vsize=28227388 memory=40748 CPUtime=0.34 cores=0-7 /proc/23141/stat : 23141 (java) S 23139 23139 23095 0 -1 1077944320 9495 0 0 0 31 3 0 0 20 0 20 0 419885021 28904845312 10187 33554432000 4194304 4196468 140724275840688 140724275823232 139872872300279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 /proc/23141/statm: 7056847 10187 3251 1 0 7019032 0 [pid=23141/tid=23142] ppid=23139 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23141/task/23142/stat : 23142 (java) R 23139 23139 23095 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872876531520 139872872312214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23143] ppid=23139 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/23141/task/23143/stat : 23143 (java) S 23139 23139 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872792152592 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23144] ppid=23139 vsize=28227388 memory=140025354250153 CPUtime=0 cores=0-7 /proc/23141/task/23144/stat : 23144 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872422714000 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23145] ppid=23139 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23145/stat : 23145 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872421660944 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23146] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23146/stat : 23146 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872420608400 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23147] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23147/stat : 23147 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872419556368 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23148] ppid=23139 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23148/stat : 23148 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872418503824 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23149] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23149/stat : 23149 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872417450768 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23150] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23150/stat : 23150 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419885022 28904845312 10187 33554432000 4194304 4196468 140724275840688 139872416398224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23151] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23151/stat : 23151 (java) S 23139 23139 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419885024 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871537797360 139872872311426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23152] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23152/stat : 23152 (java) S 23139 23139 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419885024 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871536743584 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23153] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23153/stat : 23153 (java) S 23139 23139 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419885025 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871535690480 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23154] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23154/stat : 23154 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871534639056 139872872318875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23155] ppid=23139 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/23141/task/23155/stat : 23155 (java) R 23139 23139 23095 0 -1 1077944384 725 0 0 0 2 0 0 0 20 0 20 0 419885027 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871533587184 139872872311426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23156] ppid=23139 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/23141/task/23156/stat : 23156 (java) S 23139 23139 23095 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 419885027 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871532534640 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23157] ppid=23139 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23157/stat : 23157 (java) S 23139 23139 23095 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871531481584 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23158] ppid=23139 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/23141/task/23158/stat : 23158 (java) S 23139 23139 23095 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 20 0 419885027 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871530429040 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23159] ppid=23139 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23159/stat : 23159 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419885027 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871529376224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23160] ppid=23139 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23160/stat : 23160 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885028 28904845312 10187 33554432000 4194304 4196468 140724275840688 139871528323760 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42204 KiB [startup+0.310448 s]* /proc/loadavg: 6.32 7.79 7.82 5/212 23160 /proc/meminfo: memFree=26792464/32770624 swapFree=66957016/67108860 [pid=23139] ppid=23136 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23139/stat : 23139 (xcsp3-exec) S 23136 23139 23095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419885021 115843072 364 33554432000 4194304 5098028 140727292868432 140727292866536 140066367070844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26005504 140727292875638 140727292875881 140727292875881 140727292878794 0 /proc/23139/statm: 28282 364 305 221 0 87 0 [pid=23141] ppid=23139 vsize=28231644 memory=50164 CPUtime=0.51 cores=0-7 /proc/23141/stat : 23141 (java) S 23139 23139 23095 0 -1 1077944320 10869 0 0 0 47 4 0 0 20 0 20 0 419885021 28909203456 12541 33554432000 4194304 4196468 140724275840688 140724275823232 139872872300279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 /proc/23141/statm: 7057911 12541 3350 1 0 7019032 0 [pid=23141/tid=23142] ppid=23139 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/23141/task/23142/stat : 23142 (java) R 23139 23139 23095 0 -1 4202560 7761 0 0 0 27 3 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872876531392 139872856380766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23143] ppid=23139 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23143/stat : 23143 (java) S 23139 23139 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872792152592 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23144] ppid=23139 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23144/stat : 23144 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872422714000 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23145] ppid=23139 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23145/stat : 23145 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872421660944 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23146] ppid=23139 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23146/stat : 23146 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872420608400 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23147] ppid=23139 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/23141/task/23147/stat : 23147 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872419556368 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23148] ppid=23139 vsize=28231644 memory=140025194967983 CPUtime=0 cores=0-7 /proc/23141/task/23148/stat : 23148 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872418503824 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23149] ppid=23139 vsize=28231644 memory=140025194970288 CPUtime=0 cores=0-7 /proc/23141/task/23149/stat : 23149 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872417450768 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23150] ppid=23139 vsize=28231644 memory=140025194972592 CPUtime=0 cores=0-7 /proc/23141/task/23150/stat : 23150 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419885022 28909203456 12541 33554432000 4194304 4196468 140724275840688 139872416398224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23151] ppid=23139 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23151/stat : 23151 (java) S 23139 23139 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419885024 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871537797360 139872872311426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23152] ppid=23139 vsize=28231644 memory=280050389952144 CPUtime=0 cores=0-7 /proc/23141/task/23152/stat : 23152 (java) S 23139 23139 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419885024 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871536743584 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23153] ppid=23139 vsize=28231644 memory=280050389959056 CPUtime=0 cores=0-7 /proc/23141/task/23153/stat : 23153 (java) S 23139 23139 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419885025 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871535690480 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23154] ppid=23139 vsize=28231644 memory=280050389900336 CPUtime=0 cores=0-7 /proc/23141/task/23154/stat : 23154 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885027 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871534639056 139872872318875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23155] ppid=23139 vsize=28231644 memory=280050389972880 CPUtime=0.03 cores=0-7 /proc/23141/task/23155/stat : 23155 (java) S 23139 23139 23095 0 -1 1077944384 739 0 0 0 3 0 0 0 20 0 20 0 419885027 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871533587184 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23156] ppid=23139 vsize=28231644 memory=280050389979792 CPUtime=0.01 cores=0-7 /proc/23141/task/23156/stat : 23156 (java) S 23139 23139 23095 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 419885027 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871532534640 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23157] ppid=23139 vsize=28231644 memory=280050389977488 CPUtime=0.02 cores=0-7 /proc/23141/task/23157/stat : 23157 (java) R 23139 23139 23095 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 20 0 419885027 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871531481584 139872851993375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23158] ppid=23139 vsize=28231644 memory=280050389993648 CPUtime=0.12 cores=0-7 /proc/23141/task/23158/stat : 23158 (java) S 23139 23139 23095 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 20 0 419885027 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871530429040 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23159] ppid=23139 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23159/stat : 23159 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419885027 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871529376224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23160] ppid=23139 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/23141/task/23160/stat : 23160 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885028 28909203456 12541 33554432000 4194304 4196468 140724275840688 139871528323760 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51620 KiB [startup+0.701059 s] /proc/loadavg: 6.32 7.79 7.82 6/212 23160 /proc/meminfo: memFree=26766056/32770624 swapFree=66957016/67108860 [pid=23139] ppid=23136 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23139/stat : 23139 (xcsp3-exec) S 23136 23139 23095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419885021 115843072 364 33554432000 4194304 5098028 140727292868432 140727292866536 140066367070844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26005504 140727292875638 140727292875881 140727292875881 140727292878794 0 /proc/23139/statm: 28282 364 305 221 0 87 0 [pid=23141] ppid=23139 vsize=28233768 memory=154992 CPUtime=1.9 cores=0-7 /proc/23141/stat : 23141 (java) S 23139 23139 23095 0 -1 1077944320 15694 0 0 0 183 7 0 0 20 0 20 0 419885021 28911378432 38748 33554432000 4194304 4196468 140724275840688 140724275823232 139872872300279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 /proc/23141/statm: 7058442 38748 3447 1 0 7019544 0 [pid=23141/tid=23142] ppid=23139 vsize=28233768 memory=280050390351536 CPUtime=0.67 cores=0-7 /proc/23141/task/23142/stat : 23142 (java) R 23139 23139 23095 0 -1 4202560 8627 0 0 0 63 4 0 0 20 0 20 0 419885022 28911378432 38748 33554432000 4194304 4196468 140724275840688 139872876517264 139872475812227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23143] ppid=23139 vsize=28233768 memory=140025195176816 CPUtime=0 cores=0-7 /proc/23141/task/23143/stat : 23143 (java) S 23139 23139 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419885022 28911378432 38748 33554432000 4194304 4196468 140724275840688 139872792152592 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23144] ppid=23139 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23144/stat : 23144 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28911378432 38748 33554432000 4194304 4196468 140724275840688 139872422714000 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23145] ppid=23139 vsize=28233768 memory=1096 CPUtime=0 cores=0-7 /proc/23141/task/23145/stat : 23145 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419885022 28911378432 38748 33554432000 4194304 4196468 140724275840688 139872421660944 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 ################ # More data... # ################ [pid=23141/tid=23158] ppid=23139 vsize=28766280 memory=4206468019014099040 CPUtime=0.59 cores=0-7 /proc/23141/task/23158/stat : 23158 (java) S 23139 23139 23095 0 -1 1077944384 2265 0 0 0 58 1 0 0 20 0 28 0 419885027 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871530429040 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23159] ppid=23139 vsize=28766280 memory=-7596592294772702591 CPUtime=0 cores=0-7 /proc/23141/task/23159/stat : 23159 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419885027 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871529376224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23160] ppid=23139 vsize=28766280 memory=8323396028012395406 CPUtime=0 cores=0-7 /proc/23141/task/23160/stat : 23160 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419885028 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871528323760 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23161] ppid=23139 vsize=28766280 memory=-8183429185239422916 CPUtime=0.58 cores=0-7 /proc/23141/task/23161/stat : 23161 (java) R 23139 23139 23095 0 -1 4202560 517 0 0 0 58 0 0 0 20 0 28 0 419885389 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871519109312 139872478697568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23162] ppid=23139 vsize=28766280 memory=7971234456573525099 CPUtime=0.53 cores=0-7 /proc/23141/task/23162/stat : 23162 (java) R 23139 23139 23095 0 -1 4202560 238 0 0 0 53 0 0 0 20 0 28 0 419885389 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871518059472 139872478697581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23163] ppid=23139 vsize=28766280 memory=6944656592455360608 CPUtime=0.64 cores=0-7 /proc/23141/task/23163/stat : 23163 (java) R 23139 23139 23095 0 -1 4202560 55 0 0 0 64 0 0 0 20 0 28 0 419885389 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871517010408 139872478698496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23164] ppid=23139 vsize=28766280 memory=0 CPUtime=0.62 cores=0-7 /proc/23141/task/23164/stat : 23164 (java) R 23139 23139 23095 0 -1 4202560 44 0 0 0 62 0 0 0 20 0 28 0 419885389 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871448452952 139872478698689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23165] ppid=23139 vsize=28766280 memory=0 CPUtime=0.57 cores=0-7 /proc/23141/task/23165/stat : 23165 (java) R 23139 23139 23095 0 -1 4202560 41 0 0 0 57 0 0 0 20 0 28 0 419885389 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871447400760 139872478698574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23166] ppid=23139 vsize=28766280 memory=0 CPUtime=0.54 cores=0-7 /proc/23141/task/23166/stat : 23166 (java) R 23139 23139 23095 0 -1 4202560 44 0 0 0 54 0 0 0 20 0 28 0 419885389 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871446350864 139872478698501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23167] ppid=23139 vsize=28766280 memory=0 CPUtime=0.57 cores=0-7 /proc/23141/task/23167/stat : 23167 (java) R 23139 23139 23095 0 -1 4202560 34 0 0 0 57 0 0 0 20 0 28 0 419885390 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871445294296 139872478697630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23168] ppid=23139 vsize=28766280 memory=0 CPUtime=0.59 cores=0-7 /proc/23141/task/23168/stat : 23168 (java) R 23139 23139 23095 0 -1 4202560 907 0 0 0 59 0 0 0 20 0 28 0 419885390 29456670720 314659 33554432000 4194304 4196468 140724275840688 139871444241616 139872478698696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 Current children cumulated CPU time: 18.23 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 1260092 KiB [startup+4.80131 s] /proc/loadavg: 6.61 7.83 7.84 12/220 23168 /proc/meminfo: memFree=25582592/32770624 swapFree=66957016/67108860 [pid=23139] ppid=23136 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23139/stat : 23139 (xcsp3-exec) S 23136 23139 23095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419885021 115843072 364 33554432000 4194304 5098028 140727292868432 140727292866536 140066367070844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26005504 140727292875638 140727292875881 140727292875881 140727292878794 0 /proc/23139/statm: 28282 364 305 221 0 87 0 [pid=23141] ppid=23139 vsize=28766280 memory=1259884 CPUtime=21.28 cores=0-7 /proc/23141/stat : 23141 (java) S 23139 23139 23095 0 -1 1077944320 32842 0 0 0 1898 230 0 0 20 0 28 0 419885021 29456670720 314971 33554432000 4194304 4196468 140724275840688 140724275823232 139872872300279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 /proc/23141/statm: 7191570 314971 3517 1 0 7152672 0 [pid=23141/tid=23142] ppid=23139 vsize=28766280 memory=492 CPUtime=2.17 cores=0-7 /proc/23141/task/23142/stat : 23142 (java) S 23139 23139 23095 0 -1 1077944384 10339 0 0 0 208 9 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872876541056 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23143] ppid=23139 vsize=28766280 memory=6382321403051 CPUtime=0.97 cores=0-7 /proc/23141/task/23143/stat : 23143 (java) S 23139 23139 23095 0 -1 1077944384 1043 0 0 0 71 26 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872792152592 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23144] ppid=23139 vsize=28766280 memory=280050390121920 CPUtime=0.98 cores=0-7 /proc/23141/task/23144/stat : 23144 (java) S 23139 23139 23095 0 -1 1077944384 1213 0 0 0 72 26 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872422714000 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23145] ppid=23139 vsize=28766280 memory=6944652177228980320 CPUtime=0.99 cores=0-7 /proc/23141/task/23145/stat : 23145 (java) S 23139 23139 23095 0 -1 1077944384 1210 0 0 0 72 27 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872421660944 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23146] ppid=23139 vsize=28766280 memory=6944656592455359580 CPUtime=0.98 cores=0-7 /proc/23141/task/23146/stat : 23146 (java) S 23139 23139 23095 0 -1 1077944384 1376 0 0 0 71 27 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872420608400 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23147] ppid=23139 vsize=28766280 memory=6944656592387989600 CPUtime=0.99 cores=0-7 /proc/23141/task/23147/stat : 23147 (java) S 23139 23139 23095 0 -1 1077944384 1211 0 0 0 73 26 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872419556368 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23148] ppid=23139 vsize=28766280 memory=9148 CPUtime=0.96 cores=0-7 /proc/23141/task/23148/stat : 23148 (java) S 23139 23139 23095 0 -1 1077944384 1201 0 0 0 70 26 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872418503824 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23149] ppid=23139 vsize=28766280 memory=13246 CPUtime=0.99 cores=0-7 /proc/23141/task/23149/stat : 23149 (java) S 23139 23139 23095 0 -1 1077944384 1412 0 0 0 73 26 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872417450768 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23150] ppid=23139 vsize=28766280 memory=6943526294502006880 CPUtime=0.97 cores=0-7 /proc/23141/task/23150/stat : 23150 (java) S 23139 23139 23095 0 -1 1077944384 1134 0 0 0 72 25 0 0 20 0 28 0 419885022 29456670720 314971 33554432000 4194304 4196468 140724275840688 139872416398224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23151] ppid=23139 vsize=28766280 memory=6944656592455359580 CPUtime=0.08 cores=0-7 /proc/23141/task/23151/stat : 23151 (java) S 23139 23139 23095 0 -1 1077944384 1457 0 0 0 8 0 0 0 20 0 28 0 419885024 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871537797360 139872872311426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23152] ppid=23139 vsize=28766280 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/23141/task/23152/stat : 23152 (java) S 23139 23139 23095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419885024 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871536743648 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23153] ppid=23139 vsize=28766280 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/23141/task/23153/stat : 23153 (java) S 23139 23139 23095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419885025 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871535690496 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23154] ppid=23139 vsize=28766280 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/23141/task/23154/stat : 23154 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419885027 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871534639056 139872872318875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23155] ppid=23139 vsize=28766280 memory=4206468019014099040 CPUtime=1.19 cores=0-7 /proc/23141/task/23155/stat : 23155 (java) R 23139 23139 23095 0 -1 4202560 2507 0 0 0 118 1 0 0 20 0 28 0 419885027 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871533576384 139872857409753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23156] ppid=23139 vsize=28766280 memory=6944613755328037015 CPUtime=0.93 cores=0-7 /proc/23141/task/23156/stat : 23156 (java) R 23139 23139 23095 0 -1 4202560 1798 0 0 0 93 0 0 0 20 0 28 0 419885027 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871532514680 139872856589281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23157] ppid=23139 vsize=28766280 memory=4206468019014099040 CPUtime=0.94 cores=0-7 /proc/23141/task/23157/stat : 23157 (java) R 23139 23139 23095 0 -1 4202560 1327 0 0 0 94 0 0 0 20 0 28 0 419885027 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871531474608 139872872312214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23158] ppid=23139 vsize=28766280 memory=-8412652160765825907 CPUtime=0.62 cores=0-7 /proc/23141/task/23158/stat : 23158 (java) R 23139 23139 23095 0 -1 4202560 2317 0 0 0 61 1 0 0 20 0 28 0 419885027 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871530425976 139872851258543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23159] ppid=23139 vsize=28766280 memory=-6092760743147454613 CPUtime=0 cores=0-7 /proc/23141/task/23159/stat : 23159 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419885027 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871529376224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23160] ppid=23139 vsize=28766280 memory=5450919713671312938 CPUtime=0 cores=0-7 /proc/23141/task/23160/stat : 23160 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419885028 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871528323760 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 46 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23161] ppid=23139 vsize=28766280 memory=140029646059135 CPUtime=0.93 cores=0-7 /proc/23141/task/23161/stat : 23161 (java) R 23139 23139 23095 0 -1 4202560 520 0 0 0 93 0 0 0 20 0 28 0 419885389 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871519112056 139872478902916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23162] ppid=23139 vsize=28766280 memory=0 CPUtime=0.9 cores=0-7 /proc/23141/task/23162/stat : 23162 (java) R 23139 23139 23095 0 -1 4202560 239 0 0 0 90 0 0 0 20 0 28 0 419885389 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871518064016 139872478902866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23163] ppid=23139 vsize=28766280 memory=3953 CPUtime=0.95 cores=0-7 /proc/23141/task/23163/stat : 23163 (java) R 23139 23139 23095 0 -1 1077944384 129 0 0 0 95 0 0 0 20 0 28 0 419885389 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871517010288 139872872310485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23164] ppid=23139 vsize=28766280 memory=0 CPUtime=0.96 cores=0-7 /proc/23141/task/23164/stat : 23164 (java) R 23139 23139 23095 0 -1 4202560 75 0 0 0 96 0 0 0 20 0 28 0 419885389 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871448453392 139872478902395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23165] ppid=23139 vsize=28766280 memory=-2026666227646606628 CPUtime=0.9 cores=0-7 /proc/23141/task/23165/stat : 23165 (java) R 23139 23139 23095 0 -1 4202560 43 0 0 0 90 0 0 0 20 0 28 0 419885389 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871447402928 139872478901935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23166] ppid=23139 vsize=28766280 memory=6655300316396806240 CPUtime=0.89 cores=0-7 /proc/23141/task/23166/stat : 23166 (java) R 23139 23139 23095 0 -1 4202560 45 0 0 0 89 0 0 0 20 0 28 0 419885389 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871446351704 139872478903031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23167] ppid=23139 vsize=28766280 memory=6943526294502006880 CPUtime=0.87 cores=0-7 /proc/23141/task/23167/stat : 23167 (java) R 23139 23139 23095 0 -1 4202560 36 0 0 0 87 0 0 0 20 0 28 0 419885390 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871445298704 139872478979947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23168] ppid=23139 vsize=28766280 memory=6655300316396806240 CPUtime=0.9 cores=0-7 /proc/23141/task/23168/stat : 23168 (java) R 23139 23139 23095 0 -1 4202560 908 0 0 0 90 0 0 0 20 0 28 0 419885390 29456670720 314971 33554432000 4194304 4196468 140724275840688 139871444245400 139872478902840 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 Current children cumulated CPU time: 21.28 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 1261340 KiB [startup+5.00131 s] /proc/loadavg: 6.61 7.83 7.84 12/220 23168 /proc/meminfo: memFree=25582592/32770624 swapFree=66957016/67108860 [pid=23139] ppid=23136 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23139/stat : 23139 (xcsp3-exec) S 23136 23139 23095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419885021 115843072 364 33554432000 4194304 5098028 140727292868432 140727292866536 140066367070844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26005504 140727292875638 140727292875881 140727292875881 140727292878794 0 /proc/23139/statm: 28282 364 305 221 0 87 0 [pid=23141] ppid=23139 vsize=28768328 memory=1263724 CPUtime=22.87 cores=0-7 /proc/23141/stat : 23141 (java) S 23139 23139 23095 0 -1 1077944320 38757 0 0 0 2053 234 0 0 20 0 28 0 419885021 29458767872 315931 33554432000 4194304 4196468 140724275840688 140724275823232 139872872300279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 /proc/23141/statm: 7192082 315931 3517 1 0 7153184 0 [pid=23141/tid=23142] ppid=23139 vsize=28768328 memory=0 CPUtime=2.17 cores=0-7 /proc/23141/task/23142/stat : 23142 (java) S 23139 23139 23095 0 -1 1077944384 10339 0 0 0 208 9 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872876541056 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23143] ppid=23139 vsize=28768328 memory=0 CPUtime=0.97 cores=0-7 /proc/23141/task/23143/stat : 23143 (java) S 23139 23139 23095 0 -1 1077944384 1043 0 0 0 71 26 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872792152592 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23144] ppid=23139 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7 /proc/23141/task/23144/stat : 23144 (java) S 23139 23139 23095 0 -1 1077944384 1213 0 0 0 72 26 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872422714000 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23145] ppid=23139 vsize=28768328 memory=0 CPUtime=0.99 cores=0-7 /proc/23141/task/23145/stat : 23145 (java) S 23139 23139 23095 0 -1 1077944384 1210 0 0 0 72 27 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872421660944 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23146] ppid=23139 vsize=28768328 memory=0 CPUtime=0.98 cores=0-7 /proc/23141/task/23146/stat : 23146 (java) S 23139 23139 23095 0 -1 1077944384 1376 0 0 0 71 27 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872420608400 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23147] ppid=23139 vsize=28768328 memory=0 CPUtime=0.99 cores=0-7 /proc/23141/task/23147/stat : 23147 (java) S 23139 23139 23095 0 -1 1077944384 1211 0 0 0 73 26 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872419556368 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23148] ppid=23139 vsize=28768328 memory=0 CPUtime=0.96 cores=0-7 /proc/23141/task/23148/stat : 23148 (java) S 23139 23139 23095 0 -1 1077944384 1201 0 0 0 70 26 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872418503824 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23149] ppid=23139 vsize=28768328 memory=0 CPUtime=0.99 cores=0-7 /proc/23141/task/23149/stat : 23149 (java) S 23139 23139 23095 0 -1 1077944384 1412 0 0 0 73 26 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872417450768 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23150] ppid=23139 vsize=28768328 memory=0 CPUtime=0.97 cores=0-7 /proc/23141/task/23150/stat : 23150 (java) S 23139 23139 23095 0 -1 1077944384 1134 0 0 0 72 25 0 0 20 0 28 0 419885022 29458767872 315931 33554432000 4194304 4196468 140724275840688 139872416398224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23151] ppid=23139 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/23141/task/23151/stat : 23151 (java) S 23139 23139 23095 0 -1 1077944384 1457 0 0 0 8 0 0 0 20 0 28 0 419885024 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871537797360 139872872311426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23152] ppid=23139 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23152/stat : 23152 (java) S 23139 23139 23095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 419885024 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871536743648 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23153] ppid=23139 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23153/stat : 23153 (java) S 23139 23139 23095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 419885025 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871535690496 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23154] ppid=23139 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23154/stat : 23154 (java) S 23139 23139 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419885027 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871534639056 139872872318875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23155] ppid=23139 vsize=28768328 memory=0 CPUtime=1.26 cores=0-7 /proc/23141/task/23155/stat : 23155 (java) D 23139 23139 23095 0 -1 4202560 3603 0 0 0 124 2 0 0 20 0 28 0 419885027 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871533572664 139872864589617 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23156] ppid=23139 vsize=28768328 memory=0 CPUtime=0.99 cores=0-7 /proc/23141/task/23156/stat : 23156 (java) D 23139 23139 23095 0 -1 4202560 3600 0 0 0 98 1 0 0 20 0 28 0 419885027 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871532519600 139872857405833 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23157] ppid=23139 vsize=28768328 memory=0 CPUtime=1.02 cores=0-7 /proc/23141/task/23157/stat : 23157 (java) R 23139 23139 23095 0 -1 4202560 2754 0 0 0 101 1 0 0 20 0 28 0 419885027 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871531462600 139872865017431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23158] ppid=23139 vsize=28768328 memory=0 CPUtime=0.65 cores=0-7 /proc/23141/task/23158/stat : 23158 (java) D 23139 23139 23095 0 -1 4202560 2953 0 0 0 64 1 0 0 20 0 28 0 419885027 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871530425976 139872865397115 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23159] ppid=23139 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23159/stat : 23159 (java) S 23139 23139 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419885027 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871529376224 139872872310485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23160] ppid=23139 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23141/task/23160/stat : 23160 (java) S 23139 23139 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419885028 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871528323760 139872872311426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 46 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23161] ppid=23139 vsize=28768328 memory=0 CPUtime=1.12 cores=0-7 /proc/23141/task/23161/stat : 23161 (java) R 23139 23139 23095 0 -1 4202560 558 0 0 0 112 0 0 0 20 0 28 0 419885389 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871519112056 139872478902916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23162] ppid=23139 vsize=28768328 memory=0 CPUtime=1.08 cores=0-7 /proc/23141/task/23162/stat : 23162 (java) R 23139 23139 23095 0 -1 4202560 275 0 0 0 108 0 0 0 20 0 28 0 419885389 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871518063960 139872478743454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23163] ppid=23139 vsize=28768328 memory=0 CPUtime=1.05 cores=0-7 /proc/23141/task/23163/stat : 23163 (java) R 23139 23139 23095 0 -1 4202560 649 0 0 0 105 0 0 0 20 0 28 0 419885389 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871517010440 139872478903382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23164] ppid=23139 vsize=28768328 memory=0 CPUtime=1.15 cores=0-7 /proc/23141/task/23164/stat : 23164 (java) R 23139 23139 23095 0 -1 4202560 126 0 0 0 115 0 0 0 20 0 28 0 419885389 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871448455952 139872478903031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23165] ppid=23139 vsize=28768328 memory=0 CPUtime=1.06 cores=0-7 /proc/23141/task/23165/stat : 23165 (java) R 23139 23139 23095 0 -1 4202560 250 0 0 0 106 0 0 0 20 0 28 0 419885389 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871447397008 139872478902229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23166] ppid=23139 vsize=28768328 memory=0 CPUtime=1.05 cores=0-7 /proc/23141/task/23166/stat : 23166 (java) R 23139 23139 23095 0 -1 4202560 77 0 0 0 105 0 0 0 20 0 28 0 419885389 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871446351136 139872478902916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23167] ppid=23139 vsize=28768328 memory=0 CPUtime=1.05 cores=0-7 /proc/23141/task/23167/stat : 23167 (java) R 23139 23139 23095 0 -1 4202560 78 0 0 0 105 0 0 0 20 0 28 0 419885390 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871445298176 139872478902916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 [pid=23141/tid=23168] ppid=23139 vsize=28768328 memory=0 CPUtime=1.07 cores=0-7 /proc/23141/task/23168/stat : 23168 (java) R 23139 23139 23095 0 -1 4202560 934 0 0 0 107 0 0 0 20 0 28 0 419885390 29458767872 315931 33554432000 4194304 4196468 140724275840688 139871444242264 139872478779951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7118848 140724275844074 140724275844246 140724275844246 140724275847119 0 Current children cumulated CPU time: 22.87 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1265180 KiB Child status: 0 Real time (s): 5.07691 CPU time (s): 23.2731 CPU user time (s): 20.9125 CPU system time (s): 2.36066 CPU usage (%): 458.411 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 1265180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.9125 system time used= 2.36066 maximum resident set size= 1271604 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40647 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4814 involuntary context switches= 369 # summary of solver processes directly reported to runsolver: # pid: 23139 # total CPU time (s): 23.2731 # total CPU user time (s): 20.9125 # total CPU system time (s): 2.36066 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.058162 second user time and 0.090474 second system time The end
Begin job on node147 at 2019-09-14 07:41:08 IDJOB=4393484 IDBENCH=135918 IDSOLVER=2841 FILE ID=node147/4393484-1568439712 RUNJOBID= node147-1568439668-23122 PBS_JOBID= 21702336 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.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-4393484-1568439712/watcher-4393484-1568439712 -o /tmp/evaluation-result-4393484-1568439712/solver-4393484-1568439712 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 151555909 HOME/instance-4393484-1568439712.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485 RANDOM SEED=151555909 node147.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.52 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.52 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.52 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.52 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: 26830136 kB MemAvailable: 31811836 kB Buffers: 197448 kB Cached: 5007760 kB SwapCached: 48496 kB Active: 2043332 kB Inactive: 3213688 kB Active(anon): 3580 kB Inactive(anon): 89604 kB Active(file): 2039752 kB Inactive(file): 3124084 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66957016 kB Dirty: 26212 kB Writeback: 0 kB AnonPages: 112888 kB Mapped: 44540 kB Shmem: 32768 kB Slab: 275280 kB SReclaimable: 246324 kB SUnreclaim: 28956 kB KernelStack: 3296 kB PageTables: 5516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497356 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-14 07:41:14