Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 32 | 229.377 | 29.5955 |
Name | StillLife/StillLife-m1-s1/ StillLife-04-15.xml |
MD5SUM | cca0fe077f2d073d0e0e51ff08e17328 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 22.5937 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 150 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":60},{"size":9,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":60},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":26}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":60},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":26}] |
Number of extensional constraints | 90 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":90},{"type":"sum","count":60}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404911-1569003037.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404911-1569003037.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.70/0.72 c solve instance... 1.70/0.76 o 0 1.70/0.77 o 4 1.70/0.77 o 17 2.25/0.84 o 19 2.25/0.85 o 20 2.25/0.86 o 22 2.96/0.90 o 23 2.96/0.96 o 24 2.96/0.97 o 26 4.55/1.12 o 27 4.55/1.13 o 28 4.55/1.17 o 30 16.28/2.65 o 31 25.72/3.88 o 32 228.70/29.58 s OPTIMUM FOUND 228.70/29.58 v <instantiation> 228.70/29.58 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] </list> 228.70/29.58 v <values>0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 2 3 2 4 2 3 2 2 2 3 2 4 2 3 2 2 6 3 6 3 6 2 4 2 6 3 6 3 6 2 2 6 3 6 3 6 2 4 2 6 3 6 3 6 2 2 3 2 4 2 3 2 2 2 3 2 4 2 3 2 </values> 228.70/29.58 v </instantiation>
OK 32
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 (7413 MiB free) memory of node 1: 16384 MiB (6443 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404911-1569003037/watcher-4404911-1569003037 -o /var/tmp/evaluation-result-4404911-1569003037/solver-4404911-1569003037 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1525381127 HOME/instance-4404911-1569003037.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23344, runsolver pid=23341 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 8.21 8.56 8.37 2/211 23365 /proc/meminfo: memFree=14170568/32770624 swapFree=66972356/67108860 [pid=23344] ppid=23341 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23344/stat : 23344 (xcsp3-exec) S 23341 23344 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476245537 115843072 363 33554432000 4194304 5098028 140732291842768 140732291840872 139798491320956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140732291851095 140732291851354 140732291851354 140732291854278 0 /proc/23344/statm: 28282 363 304 221 0 87 0 [pid=23346] ppid=23344 vsize=28227396 memory=31628 CPUtime=0.12 cores=0-7 /proc/23346/stat : 23346 (java) S 23344 23344 16074 0 -1 1077944320 5368 0 0 0 11 1 0 0 20 0 20 0 476245537 28904853504 7907 33554432000 4194304 4196468 140722433174000 140722433156544 139917777149687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 /proc/23346/statm: 7056849 7907 3119 1 0 7019032 0 [pid=23346/tid=23347] ppid=23344 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/23346/task/23347/stat : 23347 (java) R 23344 23344 16074 0 -1 4202560 3313 0 0 0 8 0 0 0 20 0 20 0 476245537 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917781383184 139917777161622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23348] ppid=23344 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23346/task/23348/stat : 23348 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917697002384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23349] ppid=23344 vsize=28227396 memory=140328283645568 CPUtime=0 cores=0-7 /proc/23346/task/23349/stat : 23349 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917695949584 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23350] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23350/stat : 23350 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917694897296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23351] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23351/stat : 23351 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917693844496 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23352] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23352/stat : 23352 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917692791184 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23353] ppid=23344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23353/stat : 23353 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917691738384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23354] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23354/stat : 23354 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917690686096 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23355] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23355/stat : 23355 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 7907 33554432000 4194304 4196468 140722433174000 139917689633296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23356] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23356/stat : 23356 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245540 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916107070064 139917777160834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23357] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23357/stat : 23357 (java) S 23344 23344 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476245540 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916106016032 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23358] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23358/stat : 23358 (java) S 23344 23344 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476245540 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916104963696 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23359] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23359/stat : 23359 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916103912016 139917777168283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23360] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23360/stat : 23360 (java) S 23344 23344 16074 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916102858864 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23361] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23361/stat : 23361 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916101806064 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23362] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23362/stat : 23362 (java) S 23344 23344 16074 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916100753776 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23363] ppid=23344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23346/task/23363/stat : 23363 (java) S 23344 23344 16074 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916099700976 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23364] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23364/stat : 23364 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916098648928 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23365] ppid=23344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23365/stat : 23365 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 7907 33554432000 4194304 4196468 140722433174000 139916097596208 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33080 KiB [startup+0.210585 s]* /proc/loadavg: 8.21 8.56 8.37 2/211 23365 /proc/meminfo: memFree=14157304/32770624 swapFree=66972356/67108860 [pid=23344] ppid=23341 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23344/stat : 23344 (xcsp3-exec) S 23341 23344 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476245537 115843072 363 33554432000 4194304 5098028 140732291842768 140732291840872 139798491320956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140732291851095 140732291851354 140732291851354 140732291854278 0 /proc/23344/statm: 28282 363 304 221 0 87 0 [pid=23346] ppid=23344 vsize=28227396 memory=42944 CPUtime=0.33 cores=0-7 /proc/23346/stat : 23346 (java) S 23344 23344 16074 0 -1 1077944320 8984 0 0 0 29 4 0 0 20 0 20 0 476245537 28904853504 10736 33554432000 4194304 4196468 140722433174000 140722433156544 139917777149687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 /proc/23346/statm: 7056849 10736 3253 1 0 7019032 0 [pid=23346/tid=23347] ppid=23344 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23346/task/23347/stat : 23347 (java) R 23344 23344 16074 0 -1 4202560 6130 0 0 0 17 2 0 0 20 0 20 0 476245537 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917781383728 139917367832320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23348] ppid=23344 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/23346/task/23348/stat : 23348 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917697002384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23349] ppid=23344 vsize=28227396 memory=4120991403272808096 CPUtime=0 cores=0-7 /proc/23346/task/23349/stat : 23349 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917695949584 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23350] ppid=23344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23350/stat : 23350 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917694897296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23351] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23351/stat : 23351 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917693844496 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23352] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23352/stat : 23352 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917692791184 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23353] ppid=23344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23353/stat : 23353 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917691738384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23354] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23354/stat : 23354 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917690686096 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23355] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23355/stat : 23355 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28904853504 10736 33554432000 4194304 4196468 140722433174000 139917689633296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23356] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23356/stat : 23356 (java) S 23344 23344 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476245540 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916107070064 139917777160834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23357] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23357/stat : 23357 (java) S 23344 23344 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476245540 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916106016032 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23358] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23358/stat : 23358 (java) S 23344 23344 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476245540 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916104963696 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23359] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23359/stat : 23359 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916103912016 139917777168283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23360] ppid=23344 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23346/task/23360/stat : 23360 (java) S 23344 23344 16074 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916102858864 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23361] ppid=23344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23346/task/23361/stat : 23361 (java) S 23344 23344 16074 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916101806064 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23362] ppid=23344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23362/stat : 23362 (java) S 23344 23344 16074 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916100753776 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23363] ppid=23344 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/23346/task/23363/stat : 23363 (java) R 23344 23344 16074 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916099700976 139917756105318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23364] ppid=23344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23364/stat : 23364 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916098648928 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23365] ppid=23344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23365/stat : 23365 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245543 28904853504 10736 33554432000 4194304 4196468 140722433174000 139916097596208 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44396 KiB [startup+0.31054 s]* /proc/loadavg: 8.21 8.56 8.37 3/211 23365 /proc/meminfo: memFree=14151152/32770624 swapFree=66972356/67108860 [pid=23344] ppid=23341 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23344/stat : 23344 (xcsp3-exec) S 23341 23344 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476245537 115843072 363 33554432000 4194304 5098028 140732291842768 140732291840872 139798491320956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140732291851095 140732291851354 140732291851354 140732291854278 0 /proc/23344/statm: 28282 363 304 221 0 87 0 [pid=23346] ppid=23344 vsize=28231652 memory=52076 CPUtime=0.52 cores=0-7 /proc/23346/stat : 23346 (java) S 23344 23344 16074 0 -1 1077944320 10334 0 0 0 47 5 0 0 20 0 20 0 476245537 28909211648 13019 33554432000 4194304 4196468 140722433174000 140722433156544 139917777149687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 /proc/23346/statm: 7057913 13019 3363 1 0 7019032 0 [pid=23346/tid=23347] ppid=23344 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/23346/task/23347/stat : 23347 (java) R 23344 23344 16074 0 -1 4202560 7230 0 0 0 26 3 0 0 20 0 20 0 476245537 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917781380800 139917761230174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23348] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23348/stat : 23348 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917697002384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23349] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23349/stat : 23349 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917695949584 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23350] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23350/stat : 23350 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917694897296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23351] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23351/stat : 23351 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917693844496 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23352] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23352/stat : 23352 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917692791184 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23353] ppid=23344 vsize=28231652 memory=140328124377775 CPUtime=0 cores=0-7 /proc/23346/task/23353/stat : 23353 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917691738384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23354] ppid=23344 vsize=28231652 memory=140328124380080 CPUtime=0 cores=0-7 /proc/23346/task/23354/stat : 23354 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917690686096 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23355] ppid=23344 vsize=28231652 memory=140328124382384 CPUtime=0 cores=0-7 /proc/23346/task/23355/stat : 23355 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28909211648 13019 33554432000 4194304 4196468 140722433174000 139917689633296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23356] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23356/stat : 23356 (java) S 23344 23344 16074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476245540 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916107070064 139917777160834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23357] ppid=23344 vsize=28231652 memory=280656248778640 CPUtime=0 cores=0-7 /proc/23346/task/23357/stat : 23357 (java) S 23344 23344 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476245540 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916106016032 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23358] ppid=23344 vsize=28231652 memory=280656248776336 CPUtime=0 cores=0-7 /proc/23346/task/23358/stat : 23358 (java) S 23344 23344 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476245540 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916104963696 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23359] ppid=23344 vsize=28231652 memory=280656248783248 CPUtime=0 cores=0-7 /proc/23346/task/23359/stat : 23359 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916103912016 139917777168283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23360] ppid=23344 vsize=28231652 memory=280656248724528 CPUtime=0.02 cores=0-7 /proc/23346/task/23360/stat : 23360 (java) S 23344 23344 16074 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916102858864 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23361] ppid=23344 vsize=28231652 memory=280656248797072 CPUtime=0.04 cores=0-7 /proc/23346/task/23361/stat : 23361 (java) R 23344 23344 16074 0 -1 4202560 346 0 0 0 4 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916101805248 139917758671087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23362] ppid=23344 vsize=28231652 memory=280656248803984 CPUtime=0.01 cores=0-7 /proc/23346/task/23362/stat : 23362 (java) S 23344 23344 16074 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916100753776 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23363] ppid=23344 vsize=28231652 memory=280656248801680 CPUtime=0.12 cores=0-7 /proc/23346/task/23363/stat : 23363 (java) S 23344 23344 16074 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916099700976 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23364] ppid=23344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23364/stat : 23364 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916098648928 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23365] ppid=23344 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23346/task/23365/stat : 23365 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245543 28909211648 13019 33554432000 4194304 4196468 140722433174000 139916097596208 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53528 KiB [startup+0.700977 s] /proc/loadavg: 8.21 8.56 8.37 4/211 23365 /proc/meminfo: memFree=14141332/32770624 swapFree=66972356/67108860 [pid=23344] ppid=23341 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23344/stat : 23344 (xcsp3-exec) S 23341 23344 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476245537 115843072 363 33554432000 4194304 5098028 140732291842768 140732291840872 139798491320956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140732291851095 140732291851354 140732291851354 140732291854278 0 /proc/23344/statm: 28282 363 304 221 0 87 0 [pid=23346] ppid=23344 vsize=28233776 memory=93952 CPUtime=1.7 cores=0-7 /proc/23346/stat : 23346 (java) S 23344 23344 16074 0 -1 1077944320 15662 0 0 0 162 8 0 0 20 0 20 0 476245537 28911386624 23488 33554432000 4194304 4196468 140722433174000 140722433156544 139917777149687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 /proc/23346/statm: 7058444 23488 3457 1 0 7019544 0 [pid=23346/tid=23347] ppid=23344 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/23346/task/23347/stat : 23347 (java) R 23344 23344 16074 0 -1 4202560 8609 0 0 0 63 4 0 0 20 0 20 0 476245537 28911386624 23488 33554432000 4194304 4196468 140722433174000 139917781387232 139917777171613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23348] ppid=23344 vsize=28233776 memory=140328124588912 CPUtime=0 cores=0-7 /proc/23346/task/23348/stat : 23348 (java) S 23344 23344 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476245538 28911386624 23488 33554432000 4194304 4196468 140722433174000 139917697002384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23349] ppid=23344 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23346/task/23349/stat : 23349 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476245538 28911386624 23488 33554432000 4194304 4196468 140722433174000 139917695949584 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23350] ppid=23344 vsize=28233776 memory=1200 CPUtime=0 cores=0-7 /proc/23346/task/23350/stat : 23350 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476245538 28911386624 23488 33554432000 4194304 4196468 140722433174000 139917694897296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 ################ # More data... # ################ [pid=23346/tid=23363] ppid=23344 vsize=28834900 memory=153292 CPUtime=0.82 cores=0-7 /proc/23346/task/23363/stat : 23363 (java) S 23344 23344 16074 0 -1 1077944384 5599 0 0 0 81 1 0 0 20 0 28 0 476245543 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916099700976 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23364] ppid=23344 vsize=28834900 memory=1732 CPUtime=0 cores=0-7 /proc/23346/task/23364/stat : 23364 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476245543 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916098648928 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23365] ppid=23344 vsize=28834900 memory=8317482817917895235 CPUtime=0.01 cores=0-7 /proc/23346/task/23365/stat : 23365 (java) S 23344 23344 16074 0 -1 1077944384 616 0 0 0 0 1 0 0 20 0 28 0 476245543 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916097596208 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23480] ppid=23344 vsize=28834900 memory=4872558044660077418 CPUtime=24.98 cores=0-7 /proc/23346/task/23480/stat : 23480 (java) R 23344 23344 16074 0 -1 4202560 387 0 0 0 2498 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916084166648 139917373552186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23481] ppid=23344 vsize=28834900 memory=56 CPUtime=24.91 cores=0-7 /proc/23346/task/23481/stat : 23481 (java) R 23344 23344 16074 0 -1 4202560 365 0 0 0 2491 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916088378160 139917373835264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23482] ppid=23344 vsize=28834900 memory=0 CPUtime=24.99 cores=0-7 /proc/23346/task/23482/stat : 23482 (java) R 23344 23344 16074 0 -1 4202560 739 0 0 0 2499 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916081009096 139917373896530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23483] ppid=23344 vsize=28834900 memory=3 CPUtime=24.9 cores=0-7 /proc/23346/task/23483/stat : 23483 (java) R 23344 23344 16074 0 -1 4202560 896 0 0 0 2490 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916082060400 139917373553224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23484] ppid=23344 vsize=28834900 memory=288 CPUtime=24.98 cores=0-7 /proc/23346/task/23484/stat : 23484 (java) R 23344 23344 16074 0 -1 4202560 490 0 0 0 2498 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916086272712 139917373337511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23485] ppid=23344 vsize=28834900 memory=361 CPUtime=24.67 cores=0-7 /proc/23346/task/23485/stat : 23485 (java) R 23344 23344 16074 0 -1 4202560 654 0 0 0 2467 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916087324608 139917373337694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23486] ppid=23344 vsize=28834900 memory=263688 CPUtime=24.81 cores=0-7 /proc/23346/task/23486/stat : 23486 (java) R 23344 23344 16074 0 -1 4202560 610 0 0 0 2481 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916079956800 139917373554442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23487] ppid=23344 vsize=28834900 memory=1 CPUtime=24.76 cores=0-7 /proc/23346/task/23487/stat : 23487 (java) R 23344 23344 16074 0 -1 4202560 750 0 0 0 2476 0 0 0 20 0 28 0 476245926 29526937600 39859 33554432000 4194304 4196468 140722433174000 139916083115936 139917376301560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 Current children cumulated CPU time: 226.37 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 160888 KiB [startup+29.4016 s] /proc/loadavg: 8.50 8.60 8.39 9/220 23495 /proc/meminfo: memFree=14047472/32770624 swapFree=66972360/67108860 [pid=23344] ppid=23341 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23344/stat : 23344 (xcsp3-exec) S 23341 23344 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476245537 115843072 363 33554432000 4194304 5098028 140732291842768 140732291840872 139798491320956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140732291851095 140732291851354 140732291851354 140732291854278 0 /proc/23344/statm: 28282 363 304 221 0 87 0 [pid=23346] ppid=23344 vsize=28834900 memory=161512 CPUtime=227.9 cores=0-7 /proc/23346/stat : 23346 (java) S 23344 23344 16074 0 -1 1077944320 45242 0 0 0 22759 31 0 0 20 0 28 0 476245537 29526937600 40378 33554432000 4194304 4196468 140722433174000 140722433156544 139917777149687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 /proc/23346/statm: 7208725 40378 3531 1 0 7169825 0 [pid=23346/tid=23347] ppid=23344 vsize=28834900 memory=283 CPUtime=0.71 cores=0-7 /proc/23346/task/23347/stat : 23347 (java) S 23344 23344 16074 0 -1 1077944384 8748 0 0 0 67 4 0 0 20 0 28 0 476245537 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917781390464 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23348] ppid=23344 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/23346/task/23348/stat : 23348 (java) S 23344 23344 16074 0 -1 1077944384 377 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917697002384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23349] ppid=23344 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/23346/task/23349/stat : 23349 (java) S 23344 23344 16074 0 -1 1077944384 630 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917695949584 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23350] ppid=23344 vsize=28834900 memory=53 CPUtime=0.06 cores=0-7 /proc/23346/task/23350/stat : 23350 (java) S 23344 23344 16074 0 -1 1077944384 376 0 0 0 5 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917694897296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23351] ppid=23344 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7 /proc/23346/task/23351/stat : 23351 (java) S 23344 23344 16074 0 -1 1077944384 123 0 0 0 6 0 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917693844496 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23352] ppid=23344 vsize=28834900 memory=18564 CPUtime=0.07 cores=0-7 /proc/23346/task/23352/stat : 23352 (java) S 23344 23344 16074 0 -1 1077944384 387 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917692791184 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23353] ppid=23344 vsize=28834900 memory=39542 CPUtime=0.06 cores=0-7 /proc/23346/task/23353/stat : 23353 (java) S 23344 23344 16074 0 -1 1077944384 764 0 0 0 5 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917691738384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23354] ppid=23344 vsize=28834900 memory=2430 CPUtime=0.07 cores=0-7 /proc/23346/task/23354/stat : 23354 (java) S 23344 23344 16074 0 -1 1077944384 213 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917690686096 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23355] ppid=23344 vsize=28834900 memory=2406 CPUtime=0.07 cores=0-7 /proc/23346/task/23355/stat : 23355 (java) S 23344 23344 16074 0 -1 1077944384 460 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 40378 33554432000 4194304 4196468 140722433174000 139917689633296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23356] ppid=23344 vsize=28834900 memory=2417 CPUtime=0.09 cores=0-7 /proc/23346/task/23356/stat : 23356 (java) S 23344 23344 16074 0 -1 1077944384 1228 0 0 0 8 1 0 0 20 0 28 0 476245540 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916107070064 139917777160834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23357] ppid=23344 vsize=28834900 memory=2408 CPUtime=0 cores=0-7 /proc/23346/task/23357/stat : 23357 (java) S 23344 23344 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476245540 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916106016032 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23358] ppid=23344 vsize=28834900 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/23346/task/23358/stat : 23358 (java) S 23344 23344 16074 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476245540 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916104963696 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23359] ppid=23344 vsize=28834900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23346/task/23359/stat : 23359 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916103912016 139917777168283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23360] ppid=23344 vsize=28834900 memory=1552 CPUtime=1.44 cores=0-7 /proc/23346/task/23360/stat : 23360 (java) S 23344 23344 16074 0 -1 1077944384 4980 0 0 0 143 1 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916102858864 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23361] ppid=23344 vsize=28834900 memory=1040 CPUtime=1.69 cores=0-7 /proc/23346/task/23361/stat : 23361 (java) S 23344 23344 16074 0 -1 1077944384 6778 0 0 0 168 1 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916101806064 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23362] ppid=23344 vsize=28834900 memory=3644 CPUtime=1.42 cores=0-7 /proc/23346/task/23362/stat : 23362 (java) S 23344 23344 16074 0 -1 1077944384 4890 0 0 0 141 1 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916100753776 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23363] ppid=23344 vsize=28834900 memory=780 CPUtime=0.82 cores=0-7 /proc/23346/task/23363/stat : 23363 (java) S 23344 23344 16074 0 -1 1077944384 5599 0 0 0 81 1 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916099700976 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23364] ppid=23344 vsize=28834900 memory=2832 CPUtime=0 cores=0-7 /proc/23346/task/23364/stat : 23364 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916098648928 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23365] ppid=23344 vsize=28834900 memory=1716 CPUtime=0.01 cores=0-7 /proc/23346/task/23365/stat : 23365 (java) S 23344 23344 16074 0 -1 1077944384 616 0 0 0 0 1 0 0 20 0 28 0 476245543 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916097596208 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23480] ppid=23344 vsize=28834900 memory=1200 CPUtime=25.15 cores=0-7 /proc/23346/task/23480/stat : 23480 (java) R 23344 23344 16074 0 -1 4202560 390 0 0 0 2515 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916084166728 139917373554538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23481] ppid=23344 vsize=28834900 memory=5996 CPUtime=25.1 cores=0-7 /proc/23346/task/23481/stat : 23481 (java) R 23344 23344 16074 0 -1 4202560 365 0 0 0 2510 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916088377680 139917373648064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23482] ppid=23344 vsize=28834900 memory=14012 CPUtime=25.19 cores=0-7 /proc/23346/task/23482/stat : 23482 (java) R 23344 23344 16074 0 -1 4202560 740 0 0 0 2519 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916081009096 139917376104037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23483] ppid=23344 vsize=28834900 memory=19508 CPUtime=25.09 cores=0-7 /proc/23346/task/23483/stat : 23483 (java) R 23344 23344 16074 0 -1 4202560 897 0 0 0 2509 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916082061640 139917371054063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23484] ppid=23344 vsize=28834900 memory=1452 CPUtime=25.15 cores=0-7 /proc/23346/task/23484/stat : 23484 (java) R 23344 23344 16074 0 -1 4202560 491 0 0 0 2515 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916086274608 139917375365500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23485] ppid=23344 vsize=28834900 memory=280656249351472 CPUtime=24.87 cores=0-7 /proc/23346/task/23485/stat : 23485 (java) R 23344 23344 16074 0 -1 4202560 654 0 0 0 2487 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916087324264 139917373239040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23486] ppid=23344 vsize=28834900 memory=-4866526891258710369 CPUtime=25 cores=0-7 /proc/23346/task/23486/stat : 23486 (java) R 23344 23344 16074 0 -1 4202560 612 0 0 0 2500 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916079956856 139917375029844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23487] ppid=23344 vsize=28834900 memory=7157180142856071269 CPUtime=24.94 cores=0-7 /proc/23346/task/23487/stat : 23487 (java) R 23344 23344 16074 0 -1 4202560 759 0 0 0 2494 0 0 0 20 0 28 0 476245926 29526937600 40378 33554432000 4194304 4196468 140722433174000 139916083114104 139917373172544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 Current children cumulated CPU time: 227.9 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 162964 KiB [startup+29.5016 s] /proc/loadavg: 8.50 8.60 8.39 9/220 23495 /proc/meminfo: memFree=14047472/32770624 swapFree=66972360/67108860 [pid=23344] ppid=23341 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23344/stat : 23344 (xcsp3-exec) S 23341 23344 16074 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476245537 115843072 363 33554432000 4194304 5098028 140732291842768 140732291840872 139798491320956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25153536 140732291851095 140732291851354 140732291851354 140732291854278 0 /proc/23344/statm: 28282 363 304 221 0 87 0 [pid=23346] ppid=23344 vsize=28834900 memory=169704 CPUtime=228.7 cores=0-7 /proc/23346/stat : 23346 (java) S 23344 23344 16074 0 -1 1077944320 45249 0 0 0 22839 31 0 0 20 0 28 0 476245537 29526937600 42426 33554432000 4194304 4196468 140722433174000 140722433156544 139917777149687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 /proc/23346/statm: 7208725 42426 3531 1 0 7169825 0 [pid=23346/tid=23347] ppid=23344 vsize=28834900 memory=81 CPUtime=0.71 cores=0-7 /proc/23346/task/23347/stat : 23347 (java) S 23344 23344 16074 0 -1 1077944384 8748 0 0 0 67 4 0 0 20 0 28 0 476245537 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917781390464 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23348] ppid=23344 vsize=28834900 memory=161504 CPUtime=0.07 cores=0-7 /proc/23346/task/23348/stat : 23348 (java) S 23344 23344 16074 0 -1 1077944384 377 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917697002384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23349] ppid=23344 vsize=28834900 memory=152908 CPUtime=0.07 cores=0-7 /proc/23346/task/23349/stat : 23349 (java) S 23344 23344 16074 0 -1 1077944384 630 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917695949584 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23350] ppid=23344 vsize=28834900 memory=1 CPUtime=0.06 cores=0-7 /proc/23346/task/23350/stat : 23350 (java) S 23344 23344 16074 0 -1 1077944384 376 0 0 0 5 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917694897296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23351] ppid=23344 vsize=28834900 memory=1 CPUtime=0.06 cores=0-7 /proc/23346/task/23351/stat : 23351 (java) S 23344 23344 16074 0 -1 1077944384 123 0 0 0 6 0 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917693844496 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23352] ppid=23344 vsize=28834900 memory=1452 CPUtime=0.07 cores=0-7 /proc/23346/task/23352/stat : 23352 (java) S 23344 23344 16074 0 -1 1077944384 387 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917692791184 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23353] ppid=23344 vsize=28834900 memory=148052 CPUtime=0.06 cores=0-7 /proc/23346/task/23353/stat : 23353 (java) S 23344 23344 16074 0 -1 1077944384 764 0 0 0 5 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917691738384 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23354] ppid=23344 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/23346/task/23354/stat : 23354 (java) S 23344 23344 16074 0 -1 1077944384 213 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917690686096 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23355] ppid=23344 vsize=28834900 memory=-8412654363917126771 CPUtime=0.07 cores=0-7 /proc/23346/task/23355/stat : 23355 (java) S 23344 23344 16074 0 -1 1077944384 460 0 0 0 6 1 0 0 20 0 28 0 476245538 29526937600 42426 33554432000 4194304 4196468 140722433174000 139917689633296 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23356] ppid=23344 vsize=28834900 memory=3054156605268199556 CPUtime=0.09 cores=0-7 /proc/23346/task/23356/stat : 23356 (java) S 23344 23344 16074 0 -1 1077944384 1228 0 0 0 8 1 0 0 20 0 28 0 476245540 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916107070064 139917777160834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23357] ppid=23344 vsize=28834900 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/23346/task/23357/stat : 23357 (java) S 23344 23344 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476245540 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916106016032 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23358] ppid=23344 vsize=28834900 memory=11624 CPUtime=0 cores=0-7 /proc/23346/task/23358/stat : 23358 (java) S 23344 23344 16074 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476245540 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916104963696 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23359] ppid=23344 vsize=28834900 memory=740 CPUtime=0 cores=0-7 /proc/23346/task/23359/stat : 23359 (java) S 23344 23344 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916103912016 139917777168283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23360] ppid=23344 vsize=28834900 memory=82 CPUtime=1.44 cores=0-7 /proc/23346/task/23360/stat : 23360 (java) S 23344 23344 16074 0 -1 1077944384 4980 0 0 0 143 1 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916102858864 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23361] ppid=23344 vsize=28834900 memory=0 CPUtime=1.69 cores=0-7 /proc/23346/task/23361/stat : 23361 (java) S 23344 23344 16074 0 -1 1077944384 6778 0 0 0 168 1 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916101806064 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23362] ppid=23344 vsize=28834900 memory=1 CPUtime=1.42 cores=0-7 /proc/23346/task/23362/stat : 23362 (java) S 23344 23344 16074 0 -1 1077944384 4890 0 0 0 141 1 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916100753776 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23363] ppid=23344 vsize=28834900 memory=150680 CPUtime=0.82 cores=0-7 /proc/23346/task/23363/stat : 23363 (java) S 23344 23344 16074 0 -1 1077944384 5599 0 0 0 81 1 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916099700976 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23364] ppid=23344 vsize=28834900 memory=280656249027408 CPUtime=0 cores=0-7 /proc/23346/task/23364/stat : 23364 (java) S 23344 23344 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916098648928 139917777159893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23365] ppid=23344 vsize=28834900 memory=1452 CPUtime=0.01 cores=0-7 /proc/23346/task/23365/stat : 23365 (java) S 23344 23344 16074 0 -1 1077944384 616 0 0 0 0 1 0 0 20 0 28 0 476245543 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916097596208 139917777160834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23480] ppid=23344 vsize=28834900 memory=992 CPUtime=25.25 cores=0-7 /proc/23346/task/23480/stat : 23480 (java) R 23344 23344 16074 0 -1 4202560 391 0 0 0 2525 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916084166728 139917373150936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23481] ppid=23344 vsize=28834900 memory=2044 CPUtime=25.2 cores=0-7 /proc/23346/task/23481/stat : 23481 (java) R 23344 23344 16074 0 -1 4202560 365 0 0 0 2520 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916088377680 139917373172544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23482] ppid=23344 vsize=28834900 memory=1432 CPUtime=25.29 cores=0-7 /proc/23346/task/23482/stat : 23482 (java) R 23344 23344 16074 0 -1 4202560 740 0 0 0 2529 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916081009096 139917373553028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23483] ppid=23344 vsize=28834900 memory=2234 CPUtime=25.19 cores=0-7 /proc/23346/task/23483/stat : 23483 (java) R 23344 23344 16074 0 -1 4202560 900 0 0 0 2519 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916082061640 139917370758100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23484] ppid=23344 vsize=28834900 memory=2213 CPUtime=25.25 cores=0-7 /proc/23346/task/23484/stat : 23484 (java) R 23344 23344 16074 0 -1 4202560 493 0 0 0 2525 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916086274608 139917757991897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23485] ppid=23344 vsize=28834900 memory=2221 CPUtime=24.97 cores=0-7 /proc/23346/task/23485/stat : 23485 (java) R 23344 23344 16074 0 -1 4202560 654 0 0 0 2497 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916087324264 139917373554451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23486] ppid=23344 vsize=28834900 memory=2212 CPUtime=25.1 cores=0-7 /proc/23346/task/23486/stat : 23486 (java) R 23344 23344 16074 0 -1 4202560 612 0 0 0 2510 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916079956856 139917373835906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 [pid=23346/tid=23487] ppid=23344 vsize=28834900 memory=1452 CPUtime=25.04 cores=0-7 /proc/23346/task/23487/stat : 23487 (java) R 23344 23344 16074 0 -1 4202560 760 0 0 0 2504 0 0 0 20 0 28 0 476245926 29526937600 42426 33554432000 4194304 4196468 140722433174000 139916083114104 139917373835929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140722433180636 140722433180811 140722433180811 140722433183695 0 Current children cumulated CPU time: 228.7 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 171156 KiB Child status: 0 Real time (s): 29.5955 CPU time (s): 229.377 CPU user time (s): 229.055 CPU system time (s): 0.322016 CPU usage (%): 775.039 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 225540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 229.055 system time used= 0.322016 maximum resident set size= 225212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46654 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11413 involuntary context switches= 3542 # summary of solver processes directly reported to runsolver: # pid: 23344 # total CPU time (s): 229.377 # total CPU user time (s): 229.055 # total CPU system time (s): 0.322016 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.285097 second user time and 0.386684 second system time The end
Begin job on node117 at 2019-09-20 20:09:54 IDJOB=4404911 IDBENCH=115956 IDSOLVER=2866 FILE ID=node117/4404911-1569003037 RUNJOBID= node117-1568994492-16101 PBS_JOBID= 21704726 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-15.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-4404911-1569003037/watcher-4404911-1569003037 -o /var/tmp/evaluation-result-4404911-1569003037/solver-4404911-1569003037 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1525381127 HOME/instance-4404911-1569003037.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cca0fe077f2d073d0e0e51ff08e17328 RANDOM SEED=1525381127 node117.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.75 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.75 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.75 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.75 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: 14190080 kB MemAvailable: 31832376 kB Buffers: 144960 kB Cached: 17402864 kB SwapCached: 27744 kB Active: 8698560 kB Inactive: 8882216 kB Active(anon): 4952 kB Inactive(anon): 68840 kB Active(file): 8693608 kB Inactive(file): 8813376 kB Unevictable: 108556 kB Mlocked: 108556 kB SwapTotal: 67108860 kB SwapFree: 66972356 kB Dirty: 26268 kB Writeback: 0 kB AnonPages: 124336 kB Mapped: 48528 kB Shmem: 32512 kB Slab: 592260 kB SReclaimable: 563772 kB SUnreclaim: 28488 kB KernelStack: 3712 kB PageTables: 5708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /var/tmp at the end= 13488 MiB End job on node117 at 2019-09-20 20:10:23