Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 21.52 | 4.48872 |
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-4404244-1569005703.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404244-1569005703.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 13.10/3.37 c solve instance... 21.08/4.46 s SATISFIABLE 21.08/4.46 v <instantiation> 21.08/4.46 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> 21.08/4.46 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> 21.08/4.46 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 (4582 MiB free) memory of node 1: 16384 MiB (6936 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404244-1569005703/watcher-4404244-1569005703 -o /var/tmp/evaluation-result-4404244-1569005703/solver-4404244-1569005703 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453458777 HOME/instance-4404244-1569005703.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=14169, runsolver pid=14166 Current StackSize limit: 8192 KiB [startup+0.100123 s]* /proc/loadavg: 7.87 8.15 8.15 2/212 14190 /proc/meminfo: memFree=11778808/32770624 swapFree=66956720/67108860 [pid=14169] ppid=14166 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14169/stat : 14169 (xcsp3-exec) S 14166 14169 13731 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476808911 115843072 362 33554432000 4194304 5098028 140728700896288 140728700894392 139709173981820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32313344 140728700900178 140728700900437 140728700900437 140728700903366 0 /proc/14169/statm: 28282 362 304 221 0 87 0 [pid=14171] ppid=14169 vsize=28227396 memory=29812 CPUtime=0.12 cores=0-7 /proc/14171/stat : 14171 (java) S 14169 14169 13731 0 -1 1077944320 5870 0 0 0 10 2 0 0 20 0 20 0 476808911 28904853504 7453 33554432000 4194304 4196468 140729934318064 140729934300608 139718388002551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 /proc/14171/statm: 7056849 7453 3142 1 0 7019032 0 [pid=14171/tid=14172] ppid=14169 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/14171/task/14172/stat : 14172 (java) R 14169 14169 13731 0 -1 4202560 3811 0 0 0 7 1 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139718392229136 139718369397754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14173] ppid=14169 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/14171/task/14173/stat : 14173 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139718307855120 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14174] ppid=14169 vsize=28227396 memory=139783216264832 CPUtime=0 cores=0-7 /proc/14171/task/14174/stat : 14174 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717938109328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14175] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14175/stat : 14175 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717937056784 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14176] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14176/stat : 14176 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717936004240 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14177] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14177/stat : 14177 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717934950672 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14178] ppid=14169 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14171/task/14178/stat : 14178 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717933898128 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14179] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14179/stat : 14179 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717932845584 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14180] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14180/stat : 14180 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717931793040 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14181] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14181/stat : 14181 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808914 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717102692848 139718388013698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14182] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14182/stat : 14182 (java) S 14169 14169 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476808914 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717101639072 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14183] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14183/stat : 14183 (java) S 14169 14169 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476808915 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717100586480 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14184] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14184/stat : 14184 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 7453 33554432000 4194304 4196468 140729934318064 139717099535056 139718388021147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14185] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14185/stat : 14185 (java) S 14169 14169 13731 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 7453 33554432000 4194304 4196468 140729934318064 139716762527728 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14186] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14186/stat : 14186 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 7453 33554432000 4194304 4196468 140729934318064 139716761475184 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14187] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14187/stat : 14187 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 7453 33554432000 4194304 4196468 140729934318064 139716760422640 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14188] ppid=14169 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/14171/task/14188/stat : 14188 (java) S 14169 14169 13731 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 20 0 476808917 28904853504 7453 33554432000 4194304 4196468 140729934318064 139716759370096 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14189] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14189/stat : 14189 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 7453 33554432000 4194304 4196468 140729934318064 139716758317792 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14190] ppid=14169 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14171/task/14190/stat : 14190 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808918 28904853504 7453 33554432000 4194304 4196468 140729934318064 139716757265328 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31260 KiB [startup+0.210668 s]* /proc/loadavg: 7.87 8.15 8.15 3/212 14190 /proc/meminfo: memFree=11765908/32770624 swapFree=66956720/67108860 [pid=14169] ppid=14166 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14169/stat : 14169 (xcsp3-exec) S 14166 14169 13731 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476808911 115843072 362 33554432000 4194304 5098028 140728700896288 140728700894392 139709173981820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32313344 140728700900178 140728700900437 140728700900437 140728700903366 0 /proc/14169/statm: 28282 362 304 221 0 87 0 [pid=14171] ppid=14169 vsize=28227396 memory=40852 CPUtime=0.33 cores=0-7 /proc/14171/stat : 14171 (java) S 14169 14169 13731 0 -1 1077944320 9498 0 0 0 29 4 0 0 20 0 20 0 476808911 28904853504 10213 33554432000 4194304 4196468 140729934318064 140729934300608 139718388002551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 /proc/14171/statm: 7056849 10213 3265 1 0 7019032 0 [pid=14171/tid=14172] ppid=14169 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/14171/task/14172/stat : 14172 (java) R 14169 14169 13731 0 -1 4202560 6649 0 0 0 17 3 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139718392235728 139718368189671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14173] ppid=14169 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/14171/task/14173/stat : 14173 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139718307855120 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14174] ppid=14169 vsize=28227396 memory=288370159367976576 CPUtime=0 cores=0-7 /proc/14171/task/14174/stat : 14174 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717938109328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14175] ppid=14169 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14171/task/14175/stat : 14175 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717937056784 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14176] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14176/stat : 14176 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717936004240 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14177] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14177/stat : 14177 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717934950672 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14178] ppid=14169 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14171/task/14178/stat : 14178 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717933898128 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14179] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14179/stat : 14179 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717932845584 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14180] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14180/stat : 14180 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717931793040 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14181] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14181/stat : 14181 (java) S 14169 14169 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476808914 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717102692848 139718388013698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14182] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14182/stat : 14182 (java) S 14169 14169 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476808914 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717101639072 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14183] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14183/stat : 14183 (java) S 14169 14169 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476808915 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717100586480 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14184] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14184/stat : 14184 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 10213 33554432000 4194304 4196468 140729934318064 139717099535056 139718388021147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14185] ppid=14169 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/14171/task/14185/stat : 14185 (java) R 14169 14169 13731 0 -1 4202560 520 0 0 0 1 0 0 0 20 0 20 0 476808917 28904853504 10213 33554432000 4194304 4196468 140729934318064 139716762527728 139718388013698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14186] ppid=14169 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/14171/task/14186/stat : 14186 (java) R 14169 14169 13731 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 476808917 28904853504 10213 33554432000 4194304 4196468 140729934318064 139716761475184 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14187] ppid=14169 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/14171/task/14187/stat : 14187 (java) S 14169 14169 13731 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 476808917 28904853504 10213 33554432000 4194304 4196468 140729934318064 139716760422640 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14188] ppid=14169 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/14171/task/14188/stat : 14188 (java) R 14169 14169 13731 0 -1 4202560 748 0 0 0 7 0 0 0 20 0 20 0 476808917 28904853504 10213 33554432000 4194304 4196468 140729934318064 139716759369904 139718372178311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14189] ppid=14169 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14189/stat : 14189 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808917 28904853504 10213 33554432000 4194304 4196468 140729934318064 139716758317792 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14190] ppid=14169 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/14171/task/14190/stat : 14190 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808918 28904853504 10213 33554432000 4194304 4196468 140729934318064 139716757265328 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42300 KiB [startup+0.310544 s]* /proc/loadavg: 7.87 8.15 8.15 4/212 14190 /proc/meminfo: memFree=11758872/32770624 swapFree=66956720/67108860 [pid=14169] ppid=14166 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14169/stat : 14169 (xcsp3-exec) S 14166 14169 13731 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476808911 115843072 362 33554432000 4194304 5098028 140728700896288 140728700894392 139709173981820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32313344 140728700900178 140728700900437 140728700900437 140728700903366 0 /proc/14169/statm: 28282 362 304 221 0 87 0 [pid=14171] ppid=14169 vsize=28231652 memory=50304 CPUtime=0.52 cores=0-7 /proc/14171/stat : 14171 (java) S 14169 14169 13731 0 -1 1077944320 10905 0 0 0 47 5 0 0 20 0 20 0 476808911 28909211648 12549 33554432000 4194304 4196468 140729934318064 140729934300608 139718388002551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 /proc/14171/statm: 7057913 12576 3353 1 0 7019032 0 [pid=14171/tid=14172] ppid=14169 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/14171/task/14172/stat : 14172 (java) R 14169 14169 13731 0 -1 4202560 7785 0 0 0 26 4 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139718392233664 139718372083068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14173] ppid=14169 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14173/stat : 14173 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139718307855120 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14174] ppid=14169 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14174/stat : 14174 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717938109328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14175] ppid=14169 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14175/stat : 14175 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717937056784 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14176] ppid=14169 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14176/stat : 14176 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717936004240 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14177] ppid=14169 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/14171/task/14177/stat : 14177 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717934950672 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14178] ppid=14169 vsize=28231652 memory=139783066186671 CPUtime=0 cores=0-7 /proc/14171/task/14178/stat : 14178 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717933898128 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14179] ppid=14169 vsize=28231652 memory=139783066188976 CPUtime=0 cores=0-7 /proc/14171/task/14179/stat : 14179 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717932845584 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14180] ppid=14169 vsize=28231652 memory=139783066191280 CPUtime=0 cores=0-7 /proc/14171/task/14180/stat : 14180 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717931793040 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14181] ppid=14169 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14181/stat : 14181 (java) S 14169 14169 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476808914 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717102692848 139718388013698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14182] ppid=14169 vsize=28231652 memory=279566132389520 CPUtime=0 cores=0-7 /proc/14171/task/14182/stat : 14182 (java) S 14169 14169 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476808914 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717101639072 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14183] ppid=14169 vsize=28231652 memory=279566132396432 CPUtime=0 cores=0-7 /proc/14171/task/14183/stat : 14183 (java) S 14169 14169 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476808915 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717100586480 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14184] ppid=14169 vsize=28231652 memory=279566132337584 CPUtime=0 cores=0-7 /proc/14171/task/14184/stat : 14184 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808917 28909211648 12576 33554432000 4194304 4196468 140729934318064 139717099535056 139718388021147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14185] ppid=14169 vsize=28231652 memory=279566132410256 CPUtime=0.02 cores=0-7 /proc/14171/task/14185/stat : 14185 (java) S 14169 14169 13731 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 20 0 476808917 28909211648 12576 33554432000 4194304 4196468 140729934318064 139716762527728 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14186] ppid=14169 vsize=28231652 memory=279566132417168 CPUtime=0.03 cores=0-7 /proc/14171/task/14186/stat : 14186 (java) S 14169 14169 13731 0 -1 1077944384 238 0 0 0 3 0 0 0 20 0 20 0 476808917 28909211648 12576 33554432000 4194304 4196468 140729934318064 139716761475184 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14187] ppid=14169 vsize=28231652 memory=279566132414864 CPUtime=0.02 cores=0-7 /proc/14171/task/14187/stat : 14187 (java) R 14169 14169 13731 0 -1 4202560 174 0 0 0 2 0 0 0 20 0 20 0 476808917 28909211648 12576 33554432000 4194304 4196468 140729934318064 139716760422640 139718365834647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14188] ppid=14169 vsize=28231652 memory=279566132431024 CPUtime=0.12 cores=0-7 /proc/14171/task/14188/stat : 14188 (java) S 14169 14169 13731 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 20 0 476808917 28909211648 12576 33554432000 4194304 4196468 140729934318064 139716759370096 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14189] ppid=14169 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14189/stat : 14189 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808917 28909211648 12576 33554432000 4194304 4196468 140729934318064 139716758317792 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14190] ppid=14169 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/14171/task/14190/stat : 14190 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808918 28909211648 12576 33554432000 4194304 4196468 140729934318064 139716757265328 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51752 KiB [startup+0.701 s] /proc/loadavg: 7.87 8.15 8.15 6/212 14190 /proc/meminfo: memFree=11728448/32770624 swapFree=66956720/67108860 [pid=14169] ppid=14166 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14169/stat : 14169 (xcsp3-exec) S 14166 14169 13731 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476808911 115843072 362 33554432000 4194304 5098028 140728700896288 140728700894392 139709173981820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32313344 140728700900178 140728700900437 140728700900437 140728700903366 0 /proc/14169/statm: 28282 362 304 221 0 87 0 [pid=14171] ppid=14169 vsize=28233776 memory=164288 CPUtime=1.93 cores=0-7 /proc/14171/stat : 14171 (java) S 14169 14169 13731 0 -1 1077944320 15470 0 0 0 185 8 0 0 20 0 20 0 476808911 28911386624 41072 33554432000 4194304 4196468 140729934318064 140729934300608 139718388002551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 /proc/14171/statm: 7058444 41072 3451 1 0 7019544 0 [pid=14171/tid=14172] ppid=14169 vsize=28233776 memory=279566132788912 CPUtime=0.67 cores=0-7 /proc/14171/task/14172/stat : 14172 (java) R 14169 14169 13731 0 -1 4202560 8560 0 0 0 62 5 0 0 20 0 20 0 476808912 28911386624 41072 33554432000 4194304 4196468 140729934318064 139718392240712 139717991412927 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14173] ppid=14169 vsize=28233776 memory=139783066395504 CPUtime=0 cores=0-7 /proc/14171/task/14173/stat : 14173 (java) S 14169 14169 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476808912 28911386624 41072 33554432000 4194304 4196468 140729934318064 139718307855120 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14174] ppid=14169 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14174/stat : 14174 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808912 28911386624 41072 33554432000 4194304 4196468 140729934318064 139717938109328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14175] ppid=14169 vsize=28233776 memory=6032 CPUtime=0 cores=0-7 /proc/14171/task/14175/stat : 14175 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808912 28911386624 41072 33554432000 4194304 4196468 140729934318064 139717937056784 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 ################ # More data... # ################ [pid=14171/tid=14180] ppid=14169 vsize=28233776 memory=0 CPUtime=1.03 cores=0-7 /proc/14171/task/14180/stat : 14180 (java) S 14169 14169 13731 0 -1 1077944384 1291 0 0 0 77 26 0 0 20 0 20 0 476808912 28911386624 308914 33554432000 4194304 4196468 140729934318064 139717931793040 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14181] ppid=14169 vsize=28233776 memory=0 CPUtime=0.1 cores=0-7 /proc/14171/task/14181/stat : 14181 (java) S 14169 14169 13731 0 -1 1077944384 1400 0 0 0 10 0 0 0 20 0 20 0 476808914 28911386624 308914 33554432000 4194304 4196468 140729934318064 139717102692848 139718388013698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14182] ppid=14169 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14182/stat : 14182 (java) S 14169 14169 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476808914 28911386624 308914 33554432000 4194304 4196468 140729934318064 139717101639136 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14183] ppid=14169 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14183/stat : 14183 (java) S 14169 14169 13731 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 476808915 28911386624 308914 33554432000 4194304 4196468 140729934318064 139717100586496 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14184] ppid=14169 vsize=28233776 memory=4137293581110450563 CPUtime=0 cores=0-7 /proc/14171/task/14184/stat : 14184 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808917 28911386624 308914 33554432000 4194304 4196468 140729934318064 139717099535056 139718388021147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14185] ppid=14169 vsize=28233776 memory=4137293581110450563 CPUtime=0.54 cores=0-7 /proc/14171/task/14185/stat : 14185 (java) S 14169 14169 13731 0 -1 1077944384 1712 0 0 0 54 0 0 0 20 0 20 0 476808917 28911386624 308914 33554432000 4194304 4196468 140729934318064 139716762527728 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14186] ppid=14169 vsize=28233776 memory=6944613755495348631 CPUtime=0.63 cores=0-7 /proc/14171/task/14186/stat : 14186 (java) S 14169 14169 13731 0 -1 1077944384 1392 0 0 0 63 0 0 0 20 0 20 0 476808917 28911386624 308914 33554432000 4194304 4196468 140729934318064 139716761475184 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14187] ppid=14169 vsize=28233776 memory=288230574492221466 CPUtime=0.72 cores=0-7 /proc/14171/task/14187/stat : 14187 (java) R 14169 14169 13731 0 -1 4202560 1642 0 0 0 72 0 0 0 20 0 20 0 476808917 28911386624 308914 33554432000 4194304 4196468 140729934318064 139716760415600 139718367695647 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14188] ppid=14169 vsize=28233776 memory=0 CPUtime=0.52 cores=0-7 /proc/14171/task/14188/stat : 14188 (java) S 14169 14169 13731 0 -1 1077944384 2248 0 0 0 52 0 0 0 20 0 20 0 476808917 28911386624 308914 33554432000 4194304 4196468 140729934318064 139716759370096 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14189] ppid=14169 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14189/stat : 14189 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476808917 28911386624 308914 33554432000 4194304 4196468 140729934318064 139716758317792 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14190] ppid=14169 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14190/stat : 14190 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476808918 28911386624 308914 33554432000 4194304 4196468 140729934318064 139716757265328 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 Current children cumulated CPU time: 12.97 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1237104 KiB [startup+4.00097 s]* /proc/loadavg: 7.87 8.15 8.15 12/220 14198 /proc/meminfo: memFree=10551452/32770624 swapFree=66956720/67108860 [pid=14169] ppid=14166 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14169/stat : 14169 (xcsp3-exec) S 14166 14169 13731 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476808911 115843072 362 33554432000 4194304 5098028 140728700896288 140728700894392 139709173981820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32313344 140728700900178 140728700900437 140728700900437 140728700903366 0 /proc/14169/statm: 28282 362 304 221 0 87 0 [pid=14171] ppid=14169 vsize=28766288 memory=1257360 CPUtime=17.98 cores=0-7 /proc/14171/stat : 14171 (java) S 14169 14169 13731 0 -1 1077944320 32997 0 0 0 1564 234 0 0 20 0 28 0 476808911 29456678912 314340 33554432000 4194304 4196468 140729934318064 140729934300608 139718388002551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 /proc/14171/statm: 7191572 314340 3517 1 0 7152672 0 [pid=14171/tid=14172] ppid=14169 vsize=28766288 memory=0 CPUtime=2.17 cores=0-7 /proc/14171/task/14172/stat : 14172 (java) S 14169 14169 13731 0 -1 1077944384 10226 0 0 0 206 11 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139718392243328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14173] ppid=14169 vsize=28766288 memory=4872558044660077418 CPUtime=1.05 cores=0-7 /proc/14171/task/14173/stat : 14173 (java) S 14169 14169 13731 0 -1 1077944384 1590 0 0 0 77 28 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139718307855120 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14174] ppid=14169 vsize=28766288 memory=1229736 CPUtime=1.03 cores=0-7 /proc/14171/task/14174/stat : 14174 (java) S 14169 14169 13731 0 -1 1077944384 1212 0 0 0 76 27 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717938109328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14175] ppid=14169 vsize=28766288 memory=-7233780906022726806 CPUtime=1.03 cores=0-7 /proc/14171/task/14175/stat : 14175 (java) S 14169 14169 13731 0 -1 1077944384 1041 0 0 0 77 26 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717937056784 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14176] ppid=14169 vsize=28766288 memory=-7384994778349281184 CPUtime=1.06 cores=0-7 /proc/14171/task/14176/stat : 14176 (java) S 14169 14169 13731 0 -1 1077944384 1626 0 0 0 78 28 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717936004240 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14177] ppid=14169 vsize=28766288 memory=8257237230706253920 CPUtime=1.04 cores=0-7 /proc/14171/task/14177/stat : 14177 (java) S 14169 14169 13731 0 -1 1077944384 2138 0 0 0 78 26 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717934950672 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14178] ppid=14169 vsize=28766288 memory=-7522837583129502606 CPUtime=1.04 cores=0-7 /proc/14171/task/14178/stat : 14178 (java) S 14169 14169 13731 0 -1 1077944384 1800 0 0 0 78 26 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717933898128 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14179] ppid=14169 vsize=28766288 memory=0 CPUtime=1.04 cores=0-7 /proc/14171/task/14179/stat : 14179 (java) S 14169 14169 13731 0 -1 1077944384 1845 0 0 0 78 26 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717932845584 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14180] ppid=14169 vsize=28766288 memory=0 CPUtime=1.03 cores=0-7 /proc/14171/task/14180/stat : 14180 (java) S 14169 14169 13731 0 -1 1077944384 1291 0 0 0 77 26 0 0 20 0 28 0 476808912 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717931793040 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14181] ppid=14169 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/14171/task/14181/stat : 14181 (java) S 14169 14169 13731 0 -1 1077944384 1400 0 0 0 10 0 0 0 20 0 28 0 476808914 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717102692848 139718388013698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14182] ppid=14169 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14182/stat : 14182 (java) S 14169 14169 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476808914 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717101639136 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14183] ppid=14169 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14183/stat : 14183 (java) S 14169 14169 13731 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476808915 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717100586496 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14184] ppid=14169 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14184/stat : 14184 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476808917 29456678912 314340 33554432000 4194304 4196468 140729934318064 139717099535056 139718388021147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14185] ppid=14169 vsize=28766288 memory=279566132795904 CPUtime=0.76 cores=0-7 /proc/14171/task/14185/stat : 14185 (java) S 14169 14169 13731 0 -1 1077944384 1763 0 0 0 76 0 0 0 20 0 28 0 476808917 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716762527728 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14186] ppid=14169 vsize=28766288 memory=7162785444594412393 CPUtime=0.84 cores=0-7 /proc/14171/task/14186/stat : 14186 (java) R 14169 14169 13731 0 -1 4202560 1430 0 0 0 84 0 0 0 20 0 28 0 476808917 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716761461152 139718369520468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14187] ppid=14169 vsize=28766288 memory=7810740849656489838 CPUtime=0.95 cores=0-7 /proc/14171/task/14187/stat : 14187 (java) R 14169 14169 13731 0 -1 4202560 1699 0 0 0 94 1 0 0 20 0 28 0 476808917 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716760409248 139718373128502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14188] ppid=14169 vsize=28766288 memory=7738401806327443314 CPUtime=0.59 cores=0-7 /proc/14171/task/14188/stat : 14188 (java) S 14169 14169 13731 0 -1 1077944384 2359 0 0 0 59 0 0 0 20 0 28 0 476808917 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716759370096 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14189] ppid=14169 vsize=28766288 memory=7157184523722845547 CPUtime=0 cores=0-7 /proc/14171/task/14189/stat : 14189 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476808917 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716758317792 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14190] ppid=14169 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14190/stat : 14190 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476808918 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716757265328 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14191] ppid=14169 vsize=28766288 memory=0 CPUtime=0.51 cores=0-7 /proc/14171/task/14191/stat : 14191 (java) R 14169 14169 13731 0 -1 4202560 51 0 0 0 51 0 0 0 20 0 28 0 476809249 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716748283544 139717994029493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14192] ppid=14169 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/14171/task/14192/stat : 14192 (java) R 14169 14169 13731 0 -1 4202560 40 0 0 0 54 0 0 0 20 0 28 0 476809249 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716747232472 139717994029493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14193] ppid=14169 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/14171/task/14193/stat : 14193 (java) R 14169 14169 13731 0 -1 4202560 33 0 0 0 52 0 0 0 20 0 28 0 476809250 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716746177304 139717994029493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14194] ppid=14169 vsize=28766288 memory=-7175204567652784766 CPUtime=0.49 cores=0-7 /proc/14171/task/14194/stat : 14194 (java) R 14169 14169 13731 0 -1 4202560 28 0 0 0 49 0 0 0 20 0 28 0 476809250 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716745128680 139717994029493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14195] ppid=14169 vsize=28766288 memory=-7025452035940392864 CPUtime=0.53 cores=0-7 /proc/14171/task/14195/stat : 14195 (java) R 14169 14169 13731 0 -1 4202560 28 0 0 0 53 0 0 0 20 0 28 0 476809250 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716744073784 139717994029683 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14196] ppid=14169 vsize=28766288 memory=-7965950325593906079 CPUtime=0.49 cores=0-7 /proc/14171/task/14196/stat : 14196 (java) R 14169 14169 13731 0 -1 4202560 27 0 0 0 49 0 0 0 20 0 28 0 476809250 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716743020792 139717994029603 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14197] ppid=14169 vsize=28766288 memory=-3704326594973231466 CPUtime=0.53 cores=0-7 /proc/14171/task/14197/stat : 14197 (java) R 14169 14169 13731 0 -1 4202560 35 0 0 0 53 0 0 0 20 0 28 0 476809250 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716741968552 139717994028573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14198] ppid=14169 vsize=28766288 memory=-2672971631320983069 CPUtime=0.45 cores=0-7 /proc/14171/task/14198/stat : 14198 (java) R 14169 14169 13731 0 -1 4202560 33 0 0 0 45 0 0 0 20 0 28 0 476809250 29456678912 314340 33554432000 4194304 4196468 140729934318064 139716740915200 139717994029245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 Current children cumulated CPU time: 17.98 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1258808 KiB [startup+4.40197 s] /proc/loadavg: 7.87 8.15 8.15 12/220 14198 /proc/meminfo: memFree=10551452/32770624 swapFree=66956720/67108860 [pid=14169] ppid=14166 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/14169/stat : 14169 (xcsp3-exec) S 14166 14169 13731 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476808911 115843072 362 33554432000 4194304 5098028 140728700896288 140728700894392 139709173981820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32313344 140728700900178 140728700900437 140728700900437 140728700903366 0 /proc/14169/statm: 28282 362 304 221 0 87 0 [pid=14171] ppid=14169 vsize=28766288 memory=1259156 CPUtime=21.08 cores=0-7 /proc/14171/stat : 14171 (java) S 14169 14169 13731 0 -1 1077944320 33524 0 0 0 1873 235 0 0 20 0 28 0 476808911 29456678912 314789 33554432000 4194304 4196468 140729934318064 140729934300608 139718388002551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 /proc/14171/statm: 7191572 314789 3518 1 0 7152672 0 [pid=14171/tid=14172] ppid=14169 vsize=28766288 memory=63040590449386 CPUtime=2.17 cores=0-7 /proc/14171/task/14172/stat : 14172 (java) S 14169 14169 13731 0 -1 1077944384 10226 0 0 0 206 11 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139718392243328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14173] ppid=14169 vsize=28766288 memory=63040590449130 CPUtime=1.05 cores=0-7 /proc/14171/task/14173/stat : 14173 (java) S 14169 14169 13731 0 -1 1077944384 1590 0 0 0 77 28 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139718307855120 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14174] ppid=14169 vsize=28766288 memory=63040590449130 CPUtime=1.03 cores=0-7 /proc/14171/task/14174/stat : 14174 (java) S 14169 14169 13731 0 -1 1077944384 1212 0 0 0 76 27 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717938109328 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14175] ppid=14169 vsize=28766288 memory=63040590447594 CPUtime=1.03 cores=0-7 /proc/14171/task/14175/stat : 14175 (java) S 14169 14169 13731 0 -1 1077944384 1041 0 0 0 77 26 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717937056784 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14176] ppid=14169 vsize=28766288 memory=139787511232127 CPUtime=1.06 cores=0-7 /proc/14171/task/14176/stat : 14176 (java) S 14169 14169 13731 0 -1 1077944384 1626 0 0 0 78 28 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717936004240 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14177] ppid=14169 vsize=28766288 memory=-7812736537705029536 CPUtime=1.04 cores=0-7 /proc/14171/task/14177/stat : 14177 (java) S 14169 14169 13731 0 -1 1077944384 2138 0 0 0 78 26 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717934950672 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14178] ppid=14169 vsize=28766288 memory=0 CPUtime=1.04 cores=0-7 /proc/14171/task/14178/stat : 14178 (java) S 14169 14169 13731 0 -1 1077944384 1800 0 0 0 78 26 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717933898128 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14179] ppid=14169 vsize=28766288 memory=0 CPUtime=1.04 cores=0-7 /proc/14171/task/14179/stat : 14179 (java) S 14169 14169 13731 0 -1 1077944384 1845 0 0 0 78 26 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717932845584 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14180] ppid=14169 vsize=28766288 memory=26804 CPUtime=1.03 cores=0-7 /proc/14171/task/14180/stat : 14180 (java) S 14169 14169 13731 0 -1 1077944384 1291 0 0 0 77 26 0 0 20 0 28 0 476808912 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717931793040 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14181] ppid=14169 vsize=28766288 memory=1943537 CPUtime=0.1 cores=0-7 /proc/14171/task/14181/stat : 14181 (java) S 14169 14169 13731 0 -1 1077944384 1400 0 0 0 10 0 0 0 20 0 28 0 476808914 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717102692848 139718388013698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14182] ppid=14169 vsize=28766288 memory=21898 CPUtime=0 cores=0-7 /proc/14171/task/14182/stat : 14182 (java) S 14169 14169 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476808914 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717101639136 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14183] ppid=14169 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/14171/task/14183/stat : 14183 (java) S 14169 14169 13731 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476808915 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717100586496 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14184] ppid=14169 vsize=28766288 memory=4639423674553749845 CPUtime=0 cores=0-7 /proc/14171/task/14184/stat : 14184 (java) S 14169 14169 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476808917 29456678912 314789 33554432000 4194304 4196468 140729934318064 139717099535056 139718388021147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14185] ppid=14169 vsize=28766288 memory=-6586668835053300886 CPUtime=0.9 cores=0-7 /proc/14171/task/14185/stat : 14185 (java) R 14169 14169 13731 0 -1 4202560 2126 0 0 0 90 0 0 0 20 0 28 0 476808917 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716762513752 139718373128343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14186] ppid=14169 vsize=28766288 memory=5931353312072133218 CPUtime=0.98 cores=0-7 /proc/14171/task/14186/stat : 14186 (java) R 14169 14169 13731 0 -1 4202560 1462 0 0 0 98 0 0 0 20 0 28 0 476808917 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716761464784 139718388023898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14187] ppid=14169 vsize=28766288 memory=279566132183280 CPUtime=1.12 cores=0-7 /proc/14171/task/14187/stat : 14187 (java) R 14169 14169 13731 0 -1 4202560 1724 0 0 0 111 1 0 0 20 0 28 0 476808917 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716760422560 139718369546324 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14188] ppid=14169 vsize=28766288 memory=6944656592455360604 CPUtime=0.62 cores=0-7 /proc/14171/task/14188/stat : 14188 (java) R 14169 14169 13731 0 -1 1077944384 2400 0 0 0 62 0 0 0 20 0 28 0 476808917 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716759370096 139718388013698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14189] ppid=14169 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/14171/task/14189/stat : 14189 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476808917 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716758317792 139718388012757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14190] ppid=14169 vsize=28766288 memory=1257308 CPUtime=0 cores=0-7 /proc/14171/task/14190/stat : 14190 (java) S 14169 14169 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476808918 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716757265328 139718388013698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14191] ppid=14169 vsize=28766288 memory=1732 CPUtime=0.85 cores=0-7 /proc/14171/task/14191/stat : 14191 (java) R 14169 14169 13731 0 -1 4202560 53 0 0 0 85 0 0 0 20 0 28 0 476809249 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716748282944 139717994184319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14192] ppid=14169 vsize=28766288 memory=1088 CPUtime=0.86 cores=0-7 /proc/14171/task/14192/stat : 14192 (java) R 14169 14169 13731 0 -1 4202560 43 0 0 0 86 0 0 0 20 0 28 0 476809249 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716747232072 139717993552731 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14193] ppid=14169 vsize=28766288 memory=988 CPUtime=0.84 cores=0-7 /proc/14171/task/14193/stat : 14193 (java) R 14169 14169 13731 0 -1 4202560 44 0 0 0 84 0 0 0 20 0 28 0 476809250 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716746180552 139717994184656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14194] ppid=14169 vsize=28766288 memory=780 CPUtime=0.86 cores=0-7 /proc/14171/task/14194/stat : 14194 (java) R 14169 14169 13731 0 -1 4202560 63 0 0 0 86 0 0 0 20 0 28 0 476809250 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716745127912 139717994184656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14195] ppid=14169 vsize=28766288 memory=6032 CPUtime=0.86 cores=0-7 /proc/14171/task/14195/stat : 14195 (java) R 14169 14169 13731 0 -1 4202560 34 0 0 0 86 0 0 0 20 0 28 0 476809250 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716744073272 139717994184616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14196] ppid=14169 vsize=28766288 memory=624 CPUtime=0.8 cores=0-7 /proc/14171/task/14196/stat : 14196 (java) R 14169 14169 13731 0 -1 4202560 29 0 0 0 80 0 0 0 20 0 28 0 476809250 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716743022744 139717994184656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14197] ppid=14169 vsize=28766288 memory=3636 CPUtime=0.84 cores=0-7 /proc/14171/task/14197/stat : 14197 (java) R 14169 14169 13731 0 -1 4202560 41 0 0 0 84 0 0 0 20 0 28 0 476809250 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716741969792 139718388014486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 [pid=14171/tid=14198] ppid=14169 vsize=28766288 memory=0 CPUtime=0.74 cores=0-7 /proc/14171/task/14198/stat : 14198 (java) R 14169 14169 13731 0 -1 4202560 34 0 0 0 74 0 0 0 20 0 28 0 476809250 29456678912 314789 33554432000 4194304 4196468 140729934318064 139716740915416 139717994184656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20111360 140729934324694 140729934324870 140729934324870 140729934327759 0 Current children cumulated CPU time: 21.08 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1260604 KiB Child status: 0 Real time (s): 4.48872 CPU time (s): 21.52 CPU user time (s): 19.14 CPU system time (s): 2.38002 CPU usage (%): 479.424 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 1260604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.14 system time used= 2.38002 maximum resident set size= 1263000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38340 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= 4646 involuntary context switches= 363 # summary of solver processes directly reported to runsolver: # pid: 14169 # total CPU time (s): 21.52 # total CPU user time (s): 19.14 # total CPU system time (s): 2.38002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046994 second user time and 0.099297 second system time The end
Begin job on node149 at 2019-09-20 20:54:24 IDJOB=4404244 IDBENCH=135918 IDSOLVER=2865 FILE ID=node149/4404244-1569005703 RUNJOBID= node149-1569005174-13758 PBS_JOBID= 21704751 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel 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 /var/tmp/evaluation-result-4404244-1569005703/watcher-4404244-1569005703 -o /var/tmp/evaluation-result-4404244-1569005703/solver-4404244-1569005703 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 453458777 HOME/instance-4404244-1569005703.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485 RANDOM SEED=453458777 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: 11795412 kB MemAvailable: 31812548 kB Buffers: 167020 kB Cached: 19741976 kB SwapCached: 41664 kB Active: 9630416 kB Inactive: 10323256 kB Active(anon): 5032 kB Inactive(anon): 83688 kB Active(file): 9625384 kB Inactive(file): 10239568 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956720 kB Dirty: 26864 kB Writeback: 0 kB AnonPages: 128180 kB Mapped: 52344 kB Shmem: 35688 kB Slab: 610792 kB SReclaimable: 580644 kB SUnreclaim: 30148 kB KernelStack: 3728 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506240 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 /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 20:54:29