Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | UNSAT | 516.057 | 92.2992 |
Name | QRandom/QRandom-mdd-7-25-5-p7/ mdd-7-25-5-ps05-psh07-9.xml |
MD5SUM | 2d7f03e466d78847960dc3f747db29ef |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 42.4013 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 58 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 12 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":58}] |
Number of extensional constraints | 58 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":58}] |
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-4406682-1569347843.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406682-1569347843.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 80.04/37.51 c solve instance... 515.73/92.23 s UNSATISFIABLE
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 (12370 MiB free) memory of node 1: 16384 MiB (12740 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406682-1569347843/watcher-4406682-1569347843 -o /var/tmp/evaluation-result-4406682-1569347843/solver-4406682-1569347843 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569347784-6732 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 279546762 HOME/instance-4406682-1569347843.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=6938, runsolver pid=6935 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 6.82 7.67 8.04 2/211 6959 /proc/meminfo: memFree=25694304/32770624 swapFree=66966880/67108860 [pid=6938] ppid=6935 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6938/stat : 6938 (xcsp3-exec) S 6935 6938 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510720801 115843072 362 33554432000 4194304 5098028 140729813599216 140729813597320 140295665590908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22179840 140729813603154 140729813603413 140729813603413 140729813606342 0 /proc/6938/statm: 28282 362 304 221 0 87 0 [pid=6940] ppid=6938 vsize=28227396 memory=30212 CPUtime=0.12 cores=0-7 /proc/6940/stat : 6940 (java) S 6938 6938 6705 0 -1 1077944320 5521 0 0 0 11 1 0 0 20 0 20 0 510720801 28904853504 7553 33554432000 4194304 4196468 140736275585760 140736275568304 139684456763127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 /proc/6940/statm: 7056849 7553 3116 1 0 7019032 0 [pid=6940/tid=6941] ppid=6938 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/6940/task/6941/stat : 6941 (java) R 6938 6938 6705 0 -1 4202560 3436 0 0 0 8 0 0 0 20 0 20 0 510720801 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684460991176 139684456775062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6942] ppid=6938 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/6940/task/6942/stat : 6942 (java) S 6938 6938 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684417723024 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6943] ppid=6938 vsize=28227396 memory=140641171269248 CPUtime=0 cores=0-7 /proc/6940/task/6943/stat : 6943 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684007025168 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6944] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6944/stat : 6944 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684005972368 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6945] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6945/stat : 6945 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684004919568 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6946] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6946/stat : 6946 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684003867792 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6947] ppid=6938 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6940/task/6947/stat : 6947 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684002814992 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6948] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6948/stat : 6948 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684001762192 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6949] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6949/stat : 6949 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 7553 33554432000 4194304 4196468 140736275585760 139684000709392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6950] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6950/stat : 6950 (java) S 6938 6938 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510720803 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682987821424 139684456774274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6951] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6951/stat : 6951 (java) S 6938 6938 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510720804 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682986767392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6952] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6952/stat : 6952 (java) S 6938 6938 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510720804 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682985714544 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6953] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6953/stat : 6953 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682984662864 139684456781723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6954] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6954/stat : 6954 (java) S 6938 6938 6705 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682983611248 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6955] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6955/stat : 6955 (java) R 6938 6938 6705 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682982558448 139684438115440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6956] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6956/stat : 6956 (java) S 6938 6938 6705 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682981505648 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6957] ppid=6938 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/6940/task/6957/stat : 6957 (java) R 6938 6938 6705 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682980452848 139684437005904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6958] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6958/stat : 6958 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682979400288 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6959] ppid=6938 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6940/task/6959/stat : 6959 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 7553 33554432000 4194304 4196468 140736275585760 139682978347568 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31660 KiB [startup+0.210703 s]* /proc/loadavg: 6.82 7.67 8.04 3/211 6959 /proc/meminfo: memFree=25681772/32770624 swapFree=66966880/67108860 [pid=6938] ppid=6935 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6938/stat : 6938 (xcsp3-exec) S 6935 6938 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510720801 115843072 362 33554432000 4194304 5098028 140729813599216 140729813597320 140295665590908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22179840 140729813603154 140729813603413 140729813603413 140729813606342 0 /proc/6938/statm: 28282 362 304 221 0 87 0 [pid=6940] ppid=6938 vsize=28227396 memory=41384 CPUtime=0.33 cores=0-7 /proc/6940/stat : 6940 (java) S 6938 6938 6705 0 -1 1077944320 9064 0 0 0 31 2 0 0 20 0 20 0 510720801 28904853504 10346 33554432000 4194304 4196468 140736275585760 140736275568304 139684456763127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 /proc/6940/statm: 7056849 10346 3307 1 0 7019032 0 [pid=6940/tid=6941] ppid=6938 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/6940/task/6941/stat : 6941 (java) R 6938 6938 6705 0 -1 4202560 6249 0 0 0 18 2 0 0 20 0 20 0 510720801 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684460996576 139684456775062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6942] ppid=6938 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/6940/task/6942/stat : 6942 (java) S 6938 6938 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684417723024 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6943] ppid=6938 vsize=28227396 memory=3833327588497024672 CPUtime=0 cores=0-7 /proc/6940/task/6943/stat : 6943 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684007025168 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6944] ppid=6938 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6940/task/6944/stat : 6944 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684005972368 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6945] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6945/stat : 6945 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684004919568 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6946] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6946/stat : 6946 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684003867792 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6947] ppid=6938 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6940/task/6947/stat : 6947 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684002814992 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6948] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6948/stat : 6948 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684001762192 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6949] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6949/stat : 6949 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28904853504 10346 33554432000 4194304 4196468 140736275585760 139684000709392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6950] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6950/stat : 6950 (java) S 6938 6938 6705 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510720803 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682987821424 139684456774274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6951] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6951/stat : 6951 (java) S 6938 6938 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510720804 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682986767392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6952] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6952/stat : 6952 (java) S 6938 6938 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510720804 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682985714544 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6953] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6953/stat : 6953 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682984662864 139684456781723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6954] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6954/stat : 6954 (java) S 6938 6938 6705 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682983611248 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6955] ppid=6938 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7 /proc/6940/task/6955/stat : 6955 (java) S 6938 6938 6705 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682982558448 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6956] ppid=6938 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/6940/task/6956/stat : 6956 (java) S 6938 6938 6705 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682981505648 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6957] ppid=6938 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/6940/task/6957/stat : 6957 (java) R 6938 6938 6705 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682980452848 139684435681936 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6958] ppid=6938 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6958/stat : 6958 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682979400288 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6959] ppid=6938 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/6940/task/6959/stat : 6959 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720807 28904853504 10346 33554432000 4194304 4196468 140736275585760 139682978347568 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42832 KiB [startup+0.310369 s]* /proc/loadavg: 6.82 7.67 8.04 3/211 6959 /proc/meminfo: memFree=25675256/32770624 swapFree=66966880/67108860 [pid=6938] ppid=6935 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6938/stat : 6938 (xcsp3-exec) S 6935 6938 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510720801 115843072 362 33554432000 4194304 5098028 140729813599216 140729813597320 140295665590908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22179840 140729813603154 140729813603413 140729813603413 140729813606342 0 /proc/6938/statm: 28282 362 304 221 0 87 0 [pid=6940] ppid=6938 vsize=28231652 memory=50108 CPUtime=0.53 cores=0-7 /proc/6940/stat : 6940 (java) S 6938 6938 6705 0 -1 1077944320 10366 0 0 0 50 3 0 0 20 0 20 0 510720801 28909211648 12527 33554432000 4194304 4196468 140736275585760 140736275568304 139684456763127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 /proc/6940/statm: 7057913 12527 3357 1 0 7019032 0 [pid=6940/tid=6941] ppid=6938 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/6940/task/6941/stat : 6941 (java) R 6938 6938 6705 0 -1 4202560 7357 0 0 0 27 2 0 0 20 0 20 0 510720801 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684460995648 139684456785053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6942] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6942/stat : 6942 (java) S 6938 6938 6705 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684417723024 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6943] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6943/stat : 6943 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684007025168 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6944] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6944/stat : 6944 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684005972368 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6945] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6945/stat : 6945 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684004919568 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6946] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6946/stat : 6946 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684003867792 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6947] ppid=6938 vsize=28231652 memory=140641053010607 CPUtime=0 cores=0-7 /proc/6940/task/6947/stat : 6947 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684002814992 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6948] ppid=6938 vsize=28231652 memory=140641053012912 CPUtime=0 cores=0-7 /proc/6940/task/6948/stat : 6948 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684001762192 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6949] ppid=6938 vsize=28231652 memory=140641053015216 CPUtime=0 cores=0-7 /proc/6940/task/6949/stat : 6949 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720802 28909211648 12527 33554432000 4194304 4196468 140736275585760 139684000709392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6950] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6950/stat : 6950 (java) S 6938 6938 6705 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510720803 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682987821424 139684456774274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6951] ppid=6938 vsize=28231652 memory=281282106044304 CPUtime=0 cores=0-7 /proc/6940/task/6951/stat : 6951 (java) S 6938 6938 6705 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510720804 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682986767392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6952] ppid=6938 vsize=28231652 memory=281282106042000 CPUtime=0 cores=0-7 /proc/6940/task/6952/stat : 6952 (java) S 6938 6938 6705 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510720804 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682985714544 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6953] ppid=6938 vsize=28231652 memory=281282106048912 CPUtime=0 cores=0-7 /proc/6940/task/6953/stat : 6953 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682984662864 139684456781723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6954] ppid=6938 vsize=28231652 memory=281282105990160 CPUtime=0.03 cores=0-7 /proc/6940/task/6954/stat : 6954 (java) R 6938 6938 6705 0 -1 4202560 437 0 0 0 3 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682983601632 139684438307664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6955] ppid=6938 vsize=28231652 memory=281282106062736 CPUtime=0.04 cores=0-7 /proc/6940/task/6955/stat : 6955 (java) S 6938 6938 6705 0 -1 1077944384 304 0 0 0 4 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682982558448 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6956] ppid=6938 vsize=28231652 memory=281282106069648 CPUtime=0.02 cores=0-7 /proc/6940/task/6956/stat : 6956 (java) S 6938 6938 6705 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682981505648 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6957] ppid=6938 vsize=28231652 memory=281282106067344 CPUtime=0.13 cores=0-7 /proc/6940/task/6957/stat : 6957 (java) S 6938 6938 6705 0 -1 1077944384 823 0 0 0 13 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682980452848 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6958] ppid=6938 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/6940/task/6958/stat : 6958 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682979400288 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6959] ppid=6938 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/6940/task/6959/stat : 6959 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510720807 28909211648 12527 33554432000 4194304 4196468 140736275585760 139682978347568 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51556 KiB [startup+0.701018 s] /proc/loadavg: 6.82 7.67 8.04 6/211 6959 /proc/meminfo: memFree=25599424/32770624 swapFree=66966880/67108860 [pid=6938] ppid=6935 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6938/stat : 6938 (xcsp3-exec) S 6935 6938 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510720801 115843072 362 33554432000 4194304 5098028 140729813599216 140729813597320 140295665590908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22179840 140729813603154 140729813603413 140729813603413 140729813606342 0 /proc/6938/statm: 28282 362 304 221 0 87 0 [pid=6940] ppid=6938 vsize=28233776 memory=254928 CPUtime=1.79 cores=0-7 /proc/6940/stat : 6940 (java) S 6938 6938 6705 0 -1 1077944320 13785 0 0 0 159 20 0 0 20 0 20 0 510720801 28911386624 63732 33554432000 4194304 4196468 140736275585760 140736275568304 139684456763127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 /proc/6940/statm: 7058444 63732 3457 1 0 7019544 0 [pid=6940/tid=6941] ppid=6938 vsize=28233776 memory=0 CPUtime=0.64 cores=0-7 /proc/6940/task/6941/stat : 6941 (java) R 6938 6938 6705 0 -1 4202560 7865 0 0 0 59 5 0 0 20 0 20 0 510720801 28911386624 63732 33554432000 4194304 4196468 140736275585760 139684460997712 139684095577639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6942] ppid=6938 vsize=28233776 memory=140641053221744 CPUtime=0.03 cores=0-7 /proc/6940/task/6942/stat : 6942 (java) S 6938 6938 6705 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 510720802 28911386624 63732 33554432000 4194304 4196468 140736275585760 139684417723024 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6943] ppid=6938 vsize=28233776 memory=0 CPUtime=0.01 cores=0-7 /proc/6940/task/6943/stat : 6943 (java) S 6938 6938 6705 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 20 0 510720802 28911386624 63732 33554432000 4194304 4196468 140736275585760 139684007025168 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6944] ppid=6938 vsize=28233776 memory=8136 CPUtime=0.01 cores=0-7 /proc/6940/task/6944/stat : 6944 (java) S 6938 6938 6705 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 20 0 510720802 28911386624 63732 33554432000 4194304 4196468 140736275585760 139684005972368 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 ################ # More data... # ################ [pid=6940/tid=6957] ppid=6938 vsize=28766288 memory=140641053807436 CPUtime=0.71 cores=0-7 /proc/6940/task/6957/stat : 6957 (java) S 6938 6938 6705 0 -1 1077944384 7626 0 0 0 69 2 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682980452848 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6958] ppid=6938 vsize=28766288 memory=140641053786304 CPUtime=0 cores=0-7 /proc/6940/task/6958/stat : 6958 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682979400288 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6959] ppid=6938 vsize=28766288 memory=281282106704280 CPUtime=0.03 cores=0-7 /proc/6940/task/6959/stat : 6959 (java) R 6938 6938 6705 0 -1 1077944384 740 0 0 0 2 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682978347568 139684456774274 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6962] ppid=6938 vsize=28766288 memory=281282106704376 CPUtime=53.29 cores=0-7 /proc/6940/task/6962/stat : 6962 (java) R 6938 6938 6705 0 -1 4202560 967 0 0 0 5327 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682969127768 139684098926403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6963] ppid=6938 vsize=28766288 memory=2020 CPUtime=53.01 cores=0-7 /proc/6940/task/6963/stat : 6963 (java) R 6938 6938 6705 0 -1 4202560 1066 0 0 0 5299 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682968075992 139684098926465 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6964] ppid=6938 vsize=28766288 memory=1432 CPUtime=53.35 cores=0-7 /proc/6940/task/6964/stat : 6964 (java) R 6938 6938 6705 0 -1 4202560 2055 0 0 0 5332 3 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682967024328 139684095683641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6965] ppid=6938 vsize=28766288 memory=776 CPUtime=53.19 cores=0-7 /proc/6940/task/6965/stat : 6965 (java) R 6938 6938 6705 0 -1 4202560 1924 0 0 0 5317 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682965971528 139684095683233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6966] ppid=6938 vsize=28766288 memory=1056 CPUtime=53.37 cores=0-7 /proc/6940/task/6966/stat : 6966 (java) R 6938 6938 6705 0 -1 4202560 1368 0 0 0 5332 5 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682964919128 139684098928632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6967] ppid=6938 vsize=28766288 memory=3616 CPUtime=53.11 cores=0-7 /proc/6940/task/6967/stat : 6967 (java) R 6938 6938 6705 0 -1 4202560 1448 0 0 0 5307 4 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682963865816 139684098928635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6968] ppid=6938 vsize=28766288 memory=1552 CPUtime=52.21 cores=0-7 /proc/6940/task/6968/stat : 6968 (java) R 6938 6938 6705 0 -1 4202560 2311 0 0 0 5217 4 0 0 20 0 28 0 510724555 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682962812880 139684098928140 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6969] ppid=6938 vsize=28766288 memory=1708 CPUtime=53.18 cores=0-7 /proc/6940/task/6969/stat : 6969 (java) R 6938 6938 6705 0 -1 4202560 824 0 0 0 5316 2 0 0 20 0 28 0 510724555 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682961760192 139684098928366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 Current children cumulated CPU time: 507.75 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 7725680 KiB [startup+92.0012 s]* /proc/loadavg: 6.38 7.06 7.77 9/219 6973 /proc/meminfo: memFree=17988424/32770624 swapFree=66966880/67108860 [pid=6938] ppid=6935 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6938/stat : 6938 (xcsp3-exec) S 6935 6938 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510720801 115843072 362 33554432000 4194304 5098028 140729813599216 140729813597320 140295665590908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22179840 140729813603154 140729813603413 140729813603413 140729813606342 0 /proc/6938/statm: 28282 362 304 221 0 87 0 [pid=6940] ppid=6938 vsize=28766288 memory=7724232 CPUtime=514.2 cores=0-7 /proc/6940/stat : 6940 (java) S 6938 6938 6705 0 -1 1077944320 172573 0 0 0 50095 1325 0 0 20 0 28 0 510720801 29456678912 1931058 33554432000 4194304 4196468 140736275585760 140736275568304 139684456763127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 /proc/6940/statm: 7191572 1931058 3530 1 0 7152672 0 [pid=6940/tid=6941] ppid=6938 vsize=28766288 memory=3833161624319373824 CPUtime=29.96 cores=0-7 /proc/6940/task/6941/stat : 6941 (java) S 6938 6938 6705 0 -1 1077944384 25021 0 0 0 2937 59 0 0 20 0 28 0 510720801 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684461003904 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6942] ppid=6938 vsize=28766288 memory=4126316290023845779 CPUtime=5.75 cores=0-7 /proc/6940/task/6942/stat : 6942 (java) S 6938 6938 6705 0 -1 1077944384 11997 0 0 0 418 157 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684417723024 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6943] ppid=6938 vsize=28766288 memory=288230617509003574 CPUtime=5.75 cores=0-7 /proc/6940/task/6943/stat : 6943 (java) S 6938 6938 6705 0 -1 1077944384 10654 0 0 0 424 151 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684007025168 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6944] ppid=6938 vsize=28766288 memory=15822209369245735 CPUtime=5.72 cores=0-7 /proc/6940/task/6944/stat : 6944 (java) S 6938 6938 6705 0 -1 1077944384 10594 0 0 0 411 161 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684005972368 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6945] ppid=6938 vsize=28766288 memory=14012 CPUtime=5.8 cores=0-7 /proc/6940/task/6945/stat : 6945 (java) S 6938 6938 6705 0 -1 1077944384 9768 0 0 0 426 154 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684004919568 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6946] ppid=6938 vsize=28766288 memory=14080 CPUtime=5.75 cores=0-7 /proc/6940/task/6946/stat : 6946 (java) S 6938 6938 6705 0 -1 1077944384 11219 0 0 0 426 149 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684003867792 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6947] ppid=6938 vsize=28766288 memory=35744 CPUtime=5.73 cores=0-7 /proc/6940/task/6947/stat : 6947 (java) S 6938 6938 6705 0 -1 1077944384 10581 0 0 0 419 154 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684002814992 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6948] ppid=6938 vsize=28766288 memory=2120 CPUtime=5.78 cores=0-7 /proc/6940/task/6948/stat : 6948 (java) S 6938 6938 6705 0 -1 1077944384 14135 0 0 0 425 153 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684001762192 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6949] ppid=6938 vsize=28766288 memory=508 CPUtime=5.77 cores=0-7 /proc/6940/task/6949/stat : 6949 (java) S 6938 6938 6705 0 -1 1077944384 12136 0 0 0 431 146 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684000709392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6950] ppid=6938 vsize=28766288 memory=1560 CPUtime=1.65 cores=0-7 /proc/6940/task/6950/stat : 6950 (java) S 6938 6938 6705 0 -1 1077944384 11993 0 0 0 163 2 0 0 20 0 28 0 510720803 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682987821424 139684456774274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6951] ppid=6938 vsize=28766288 memory=932 CPUtime=0 cores=0-7 /proc/6940/task/6951/stat : 6951 (java) S 6938 6938 6705 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 510720804 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682986767456 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6952] ppid=6938 vsize=28766288 memory=1568 CPUtime=0 cores=0-7 /proc/6940/task/6952/stat : 6952 (java) S 6938 6938 6705 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 510720804 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682985714560 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6953] ppid=6938 vsize=28766288 memory=4108 CPUtime=0 cores=0-7 /proc/6940/task/6953/stat : 6953 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682984662864 139684456781723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6954] ppid=6938 vsize=28766288 memory=1444 CPUtime=1.26 cores=0-7 /proc/6940/task/6954/stat : 6954 (java) S 6938 6938 6705 0 -1 1077944384 5493 0 0 0 125 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682983611248 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6955] ppid=6938 vsize=28766288 memory=1448 CPUtime=1.62 cores=0-7 /proc/6940/task/6955/stat : 6955 (java) S 6938 6938 6705 0 -1 1077944384 9017 0 0 0 160 2 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682982558448 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6956] ppid=6938 vsize=28766288 memory=7724216 CPUtime=1.53 cores=0-7 /proc/6940/task/6956/stat : 6956 (java) S 6938 6938 6705 0 -1 1077944384 8205 0 0 0 152 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682981505648 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6957] ppid=6938 vsize=28766288 memory=15822209369245735 CPUtime=0.71 cores=0-7 /proc/6940/task/6957/stat : 6957 (java) S 6938 6938 6705 0 -1 1077944384 7626 0 0 0 69 2 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682980452848 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6958] ppid=6938 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/6940/task/6958/stat : 6958 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682979400288 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6959] ppid=6938 vsize=28766288 memory=7724232 CPUtime=0.03 cores=0-7 /proc/6940/task/6959/stat : 6959 (java) S 6938 6938 6705 0 -1 1077944384 740 0 0 0 2 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682978347568 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6962] ppid=6938 vsize=28766288 memory=1412 CPUtime=54.1 cores=0-7 /proc/6940/task/6962/stat : 6962 (java) R 6938 6938 6705 0 -1 4202560 967 0 0 0 5408 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682969127768 139684098928713 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6963] ppid=6938 vsize=28766288 memory=3276 CPUtime=53.82 cores=0-7 /proc/6940/task/6963/stat : 6963 (java) R 6938 6938 6705 0 -1 4202560 1066 0 0 0 5380 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682968075992 139684098926491 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6964] ppid=6938 vsize=28766288 memory=1448 CPUtime=54.16 cores=0-7 /proc/6940/task/6964/stat : 6964 (java) R 6938 6938 6705 0 -1 4202560 2055 0 0 0 5413 3 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682967024328 139684098929060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6965] ppid=6938 vsize=28766288 memory=7724216 CPUtime=54 cores=0-7 /proc/6940/task/6965/stat : 6965 (java) R 6938 6938 6705 0 -1 4202560 1924 0 0 0 5398 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682965971528 139684098928676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6966] ppid=6938 vsize=28766288 memory=1660 CPUtime=54.18 cores=0-7 /proc/6940/task/6966/stat : 6966 (java) R 6938 6938 6705 0 -1 4202560 1368 0 0 0 5413 5 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682964919128 139684095740106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6967] ppid=6938 vsize=28766288 memory=1398722017469774279 CPUtime=53.92 cores=0-7 /proc/6940/task/6967/stat : 6967 (java) R 6938 6938 6705 0 -1 4202560 1448 0 0 0 5388 4 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682963865816 139684098928425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6968] ppid=6938 vsize=28766288 memory=4126316290023845779 CPUtime=53 cores=0-7 /proc/6940/task/6968/stat : 6968 (java) R 6938 6938 6705 0 -1 4202560 2311 0 0 0 5296 4 0 0 20 0 28 0 510724555 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682962812880 139684098928366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6969] ppid=6938 vsize=28766288 memory=8112282956445269571 CPUtime=53.99 cores=0-7 /proc/6940/task/6969/stat : 6969 (java) R 6938 6938 6705 0 -1 4202560 824 0 0 0 5397 2 0 0 20 0 28 0 510724555 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682961760328 139684098928310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 Current children cumulated CPU time: 514.2 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 7725680 KiB [startup+92.2012 s] /proc/loadavg: 6.38 7.06 7.77 9/219 6973 /proc/meminfo: memFree=17988424/32770624 swapFree=66966880/67108860 [pid=6938] ppid=6935 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/6938/stat : 6938 (xcsp3-exec) S 6935 6938 6705 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510720801 115843072 362 33554432000 4194304 5098028 140729813599216 140729813597320 140295665590908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22179840 140729813603154 140729813603413 140729813603413 140729813606342 0 /proc/6938/statm: 28282 362 304 221 0 87 0 [pid=6940] ppid=6938 vsize=28766288 memory=7724232 CPUtime=515.73 cores=0-7 /proc/6940/stat : 6940 (java) S 6938 6938 6705 0 -1 1077944320 172573 0 0 0 50248 1325 0 0 20 0 28 0 510720801 29456678912 1931058 33554432000 4194304 4196468 140736275585760 140736275568304 139684456763127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 /proc/6940/statm: 7191572 1931058 3530 1 0 7152672 0 [pid=6940/tid=6941] ppid=6938 vsize=28766288 memory=288230617509003574 CPUtime=29.96 cores=0-7 /proc/6940/task/6941/stat : 6941 (java) S 6938 6938 6705 0 -1 1077944384 25021 0 0 0 2937 59 0 0 20 0 28 0 510720801 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684461003904 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6942] ppid=6938 vsize=28766288 memory=15822209369245735 CPUtime=5.75 cores=0-7 /proc/6940/task/6942/stat : 6942 (java) S 6938 6938 6705 0 -1 1077944384 11997 0 0 0 418 157 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684417723024 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6943] ppid=6938 vsize=28766288 memory=1760 CPUtime=5.75 cores=0-7 /proc/6940/task/6943/stat : 6943 (java) S 6938 6938 6705 0 -1 1077944384 10654 0 0 0 424 151 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684007025168 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6944] ppid=6938 vsize=28766288 memory=111636 CPUtime=5.72 cores=0-7 /proc/6940/task/6944/stat : 6944 (java) S 6938 6938 6705 0 -1 1077944384 10594 0 0 0 411 161 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684005972368 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6945] ppid=6938 vsize=28766288 memory=804 CPUtime=5.8 cores=0-7 /proc/6940/task/6945/stat : 6945 (java) S 6938 6938 6705 0 -1 1077944384 9768 0 0 0 426 154 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684004919568 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6946] ppid=6938 vsize=28766288 memory=1804 CPUtime=5.75 cores=0-7 /proc/6940/task/6946/stat : 6946 (java) S 6938 6938 6705 0 -1 1077944384 11219 0 0 0 426 149 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684003867792 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6947] ppid=6938 vsize=28766288 memory=916 CPUtime=5.73 cores=0-7 /proc/6940/task/6947/stat : 6947 (java) S 6938 6938 6705 0 -1 1077944384 10581 0 0 0 419 154 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684002814992 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6948] ppid=6938 vsize=28766288 memory=4136 CPUtime=5.78 cores=0-7 /proc/6940/task/6948/stat : 6948 (java) S 6938 6938 6705 0 -1 1077944384 14135 0 0 0 425 153 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684001762192 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6949] ppid=6938 vsize=28766288 memory=1412 CPUtime=5.77 cores=0-7 /proc/6940/task/6949/stat : 6949 (java) S 6938 6938 6705 0 -1 1077944384 12136 0 0 0 431 146 0 0 20 0 28 0 510720802 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139684000709392 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6950] ppid=6938 vsize=28766288 memory=3424 CPUtime=1.65 cores=0-7 /proc/6940/task/6950/stat : 6950 (java) S 6938 6938 6705 0 -1 1077944384 11993 0 0 0 163 2 0 0 20 0 28 0 510720803 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682987821424 139684456774274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6951] ppid=6938 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/6940/task/6951/stat : 6951 (java) S 6938 6938 6705 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 510720804 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682986767456 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6952] ppid=6938 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/6940/task/6952/stat : 6952 (java) S 6938 6938 6705 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 510720804 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682985714560 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6953] ppid=6938 vsize=28766288 memory=7724232 CPUtime=0 cores=0-7 /proc/6940/task/6953/stat : 6953 (java) S 6938 6938 6705 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682984662864 139684456781723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6954] ppid=6938 vsize=28766288 memory=508 CPUtime=1.26 cores=0-7 /proc/6940/task/6954/stat : 6954 (java) S 6938 6938 6705 0 -1 1077944384 5493 0 0 0 125 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682983611248 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6955] ppid=6938 vsize=28766288 memory=1560 CPUtime=1.62 cores=0-7 /proc/6940/task/6955/stat : 6955 (java) S 6938 6938 6705 0 -1 1077944384 9017 0 0 0 160 2 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682982558448 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6956] ppid=6938 vsize=28766288 memory=932 CPUtime=1.53 cores=0-7 /proc/6940/task/6956/stat : 6956 (java) S 6938 6938 6705 0 -1 1077944384 8205 0 0 0 152 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682981505648 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6957] ppid=6938 vsize=28766288 memory=1568 CPUtime=0.71 cores=0-7 /proc/6940/task/6957/stat : 6957 (java) S 6938 6938 6705 0 -1 1077944384 7626 0 0 0 69 2 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682980452848 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6958] ppid=6938 vsize=28766288 memory=4108 CPUtime=0 cores=0-7 /proc/6940/task/6958/stat : 6958 (java) S 6938 6938 6705 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682979400288 139684456773333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6959] ppid=6938 vsize=28766288 memory=1444 CPUtime=0.03 cores=0-7 /proc/6940/task/6959/stat : 6959 (java) S 6938 6938 6705 0 -1 1077944384 740 0 0 0 2 1 0 0 20 0 28 0 510720807 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682978347568 139684456774274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6962] ppid=6938 vsize=28766288 memory=864 CPUtime=54.29 cores=0-7 /proc/6940/task/6962/stat : 6962 (java) R 6938 6938 6705 0 -1 4202560 967 0 0 0 5427 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682969127768 139684095143393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6963] ppid=6938 vsize=28766288 memory=1976 CPUtime=54.01 cores=0-7 /proc/6940/task/6963/stat : 6963 (java) R 6938 6938 6705 0 -1 4202560 1066 0 0 0 5399 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682968075992 139684095682962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6964] ppid=6938 vsize=28766288 memory=1448 CPUtime=54.35 cores=0-7 /proc/6940/task/6964/stat : 6964 (java) R 6938 6938 6705 0 -1 4202560 2055 0 0 0 5432 3 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682967024328 139684098926325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6965] ppid=6938 vsize=28766288 memory=1448 CPUtime=54.19 cores=0-7 /proc/6940/task/6965/stat : 6965 (java) R 6938 6938 6705 0 -1 4202560 1924 0 0 0 5417 2 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682965971528 139684095682703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6966] ppid=6938 vsize=28766288 memory=7724192 CPUtime=54.37 cores=0-7 /proc/6940/task/6966/stat : 6966 (java) R 6938 6938 6705 0 -1 4202560 1368 0 0 0 5432 5 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682964919128 139684098929681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6967] ppid=6938 vsize=28766288 memory=864 CPUtime=54.11 cores=0-7 /proc/6940/task/6967/stat : 6967 (java) R 6938 6938 6705 0 -1 4202560 1448 0 0 0 5407 4 0 0 20 0 28 0 510724554 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682963865816 139684098928425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6968] ppid=6938 vsize=28766288 memory=1976 CPUtime=53.19 cores=0-7 /proc/6940/task/6968/stat : 6968 (java) R 6938 6938 6705 0 -1 4202560 2311 0 0 0 5315 4 0 0 20 0 28 0 510724555 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682962812880 139684098928389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 [pid=6940/tid=6969] ppid=6938 vsize=28766288 memory=2496 CPUtime=54.18 cores=0-7 /proc/6940/task/6969/stat : 6969 (java) R 6938 6938 6705 0 -1 4202560 824 0 0 0 5416 2 0 0 20 0 28 0 510724555 29456678912 1931058 33554432000 4194304 4196468 140736275585760 139682961760328 139684098928064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31170560 140736275588054 140736275588230 140736275588230 140736275591119 0 Current children cumulated CPU time: 515.73 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 7725680 KiB Child status: 0 Real time (s): 92.2992 CPU time (s): 516.057 CPU user time (s): 502.735 CPU system time (s): 13.3216 CPU usage (%): 559.113 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 7731600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 502.735 system time used= 13.3216 maximum resident set size= 7730152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 174071 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9535 involuntary context switches= 6214 # summary of solver processes directly reported to runsolver: # pid: 6938 # total CPU time (s): 516.057 # total CPU user time (s): 502.735 # total CPU system time (s): 13.3216 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.724781 second user time and 1.14405 second system time The end
Begin job on node145 at 2019-09-24 19:56:41 IDJOB=4406682 IDBENCH=125590 IDSOLVER=2871 FILE ID=node145/4406682-1569347843 RUNJOBID= node145-1569347784-6732 PBS_JOBID= 21705075 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.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-4406682-1569347843/watcher-4406682-1569347843 -o /var/tmp/evaluation-result-4406682-1569347843/solver-4406682-1569347843 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569347784-6732 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 279546762 HOME/instance-4406682-1569347843.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef RANDOM SEED=279546762 node145.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.59 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.59 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.59 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.59 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: 25714016 kB MemAvailable: 31811560 kB Buffers: 151536 kB Cached: 6098384 kB SwapCached: 32456 kB Active: 3077632 kB Inactive: 3207576 kB Active(anon): 3168 kB Inactive(anon): 89852 kB Active(file): 3074464 kB Inactive(file): 3117724 kB Unevictable: 108772 kB Mlocked: 108772 kB SwapTotal: 67108860 kB SwapFree: 66966880 kB Dirty: 32280 kB Writeback: 0 kB AnonPages: 112312 kB Mapped: 57212 kB Shmem: 48848 kB Slab: 362844 kB SReclaimable: 333816 kB SUnreclaim: 29028 kB KernelStack: 3360 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514144 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 /var/tmp at the end= 13452 MiB End job on node145 at 2019-09-24 19:58:14