Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 34 | 1286.99 | 162.746 |
Name | StillLife/StillLife-m1-s1/ StillLife-06-11.xml |
MD5SUM | 5296a674fcd135b0317e95ffe6d81fd1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 38.015 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 132 |
Number of constraints | 158 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":66},{"size":9,"count":66}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":66},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":36}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":66},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":36}] |
Number of extensional constraints | 92 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":92},{"type":"sum","count":66}] |
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-4404682-1568994389.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404682-1568994389.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.63/0.76 c solve instance... 2.12/0.80 o 0 2.12/0.82 o 4 2.12/0.82 o 6 2.12/0.83 o 8 2.12/0.86 o 10 2.12/0.87 o 12 2.12/0.89 o 14 2.78/0.92 o 16 2.78/0.96 o 26 2.78/0.96 o 29 2.78/0.96 o 30 2.78/0.99 o 31 3.52/1.10 o 33 4.31/1.12 o 34 1286.84/162.73 s OPTIMUM FOUND 1286.84/162.73 v <instantiation> 1286.84/162.73 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[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[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[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[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] 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[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[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[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[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] </list> 1286.84/162.73 v <values>1 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 2 4 4 3 3 2 2 2 2 2 2 2 3 3 3 5 2 4 3 6 6 3 4 6 6 4 5 2 5 2 3 3 2 2 3 3 2 5 2 5 4 6 6 4 3 6 6 3 4 2 5 3 3 3 2 2 2 2 2 2 2 3 3 4 4 2 </values> 1286.84/162.73 v </instantiation>
OK 34
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 (3953 MiB free) memory of node 1: 16384 MiB (4130 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404682-1568994389/watcher-4404682-1568994389 -o /var/tmp/evaluation-result-4404682-1568994389/solver-4404682-1568994389 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1568994238-24247 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 877296601 HOME/instance-4404682-1568994389.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 Current StackSize limit: 8192 KiB solver pid=25189, runsolver pid=25186 [startup+0.100161 s]* /proc/loadavg: 7.13 6.84 6.36 2/212 25210 /proc/meminfo: memFree=8262568/32770624 swapFree=66993332/67108860 [pid=25189] ppid=25186 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25189/stat : 25189 (xcsp3-exec) S 25186 25189 24220 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475706643 115843072 363 33554432000 4194304 5098028 140725151348672 140725151346776 139866798023292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19628032 140725151351634 140725151351893 140725151351893 140725151354822 0 /proc/25189/statm: 28282 363 304 221 0 87 0 [pid=25191] ppid=25189 vsize=28227396 memory=27416 CPUtime=0.13 cores=0-7 /proc/25191/stat : 25191 (java) S 25189 25189 24220 0 -1 1077944320 5900 0 0 0 11 2 0 0 20 0 20 0 475706644 28904853504 6854 33554432000 4194304 4196468 140722478492944 140722478475488 139628209348343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 /proc/25191/statm: 7056849 6854 3118 1 0 7019032 0 [pid=25191/tid=25192] ppid=25189 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/25191/task/25192/stat : 25192 (java) R 25189 25189 24220 0 -1 4202560 3753 0 0 0 8 1 0 0 20 0 20 0 475706644 28904853504 6854 33554432000 4194304 4196468 140722478492944 139628213574480 139628190743549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25193] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25193/stat : 25193 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627761043728 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25194] ppid=25189 vsize=28227396 memory=3762115689574119072 CPUtime=0 cores=0-7 /proc/25191/task/25194/stat : 25194 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627759991184 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25195] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25195/stat : 25195 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627758938640 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25196] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25196/stat : 25196 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627757886096 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25197] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25197/stat : 25197 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627756833552 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25198] ppid=25189 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25191/task/25198/stat : 25198 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627755781008 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25199] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25199/stat : 25199 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627754728464 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25200] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25200/stat : 25200 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 6854 33554432000 4194304 4196468 140722478492944 139627753675920 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25201] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25201/stat : 25201 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706646 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626807687152 139628209359490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25202] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25202/stat : 25202 (java) S 25189 25189 24220 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475706647 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626806633376 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25203] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25203/stat : 25203 (java) S 25189 25189 24220 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475706647 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626805580784 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25204] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25204/stat : 25204 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706649 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626804529360 139628209366939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25205] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25205/stat : 25205 (java) S 25189 25189 24220 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 475706649 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626803476976 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25206] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25206/stat : 25206 (java) S 25189 25189 24220 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 475706649 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626802424432 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25207] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25207/stat : 25207 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706650 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626801371888 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25208] ppid=25189 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25191/task/25208/stat : 25208 (java) R 25189 25189 24220 0 -1 4202560 387 0 0 0 2 0 0 0 20 0 20 0 475706650 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626800319344 139628202445179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25209] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25209/stat : 25209 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706650 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626799266016 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25210] ppid=25189 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25191/task/25210/stat : 25210 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706650 28904853504 6854 33554432000 4194304 4196468 140722478492944 139626798213552 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28868 KiB [startup+0.210541 s]* /proc/loadavg: 7.13 6.84 6.36 2/212 25210 /proc/meminfo: memFree=8248424/32770624 swapFree=66993332/67108860 [pid=25189] ppid=25186 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25189/stat : 25189 (xcsp3-exec) S 25186 25189 24220 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475706643 115843072 363 33554432000 4194304 5098028 140725151348672 140725151346776 139866798023292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19628032 140725151351634 140725151351893 140725151351893 140725151354822 0 /proc/25189/statm: 28282 363 304 221 0 87 0 [pid=25191] ppid=25189 vsize=28227396 memory=39948 CPUtime=0.33 cores=0-7 /proc/25191/stat : 25191 (java) S 25189 25189 24220 0 -1 1077944320 9741 0 0 0 30 3 0 0 20 0 20 0 475706644 28904853504 9987 33554432000 4194304 4196468 140722478492944 140722478475488 139628209348343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 /proc/25191/statm: 7056849 9987 3312 1 0 7019032 0 [pid=25191/tid=25192] ppid=25189 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/25191/task/25192/stat : 25192 (java) R 25189 25189 24220 0 -1 4202560 6720 0 0 0 17 2 0 0 20 0 20 0 475706644 28904853504 9987 33554432000 4194304 4196468 140722478492944 139628213574544 139628209360278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25193] ppid=25189 vsize=28227396 memory=9329 CPUtime=0 cores=0-7 /proc/25191/task/25193/stat : 25193 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627761043728 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25194] ppid=25189 vsize=28227396 memory=139742384474508 CPUtime=0 cores=0-7 /proc/25191/task/25194/stat : 25194 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627759991184 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25195] ppid=25189 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25191/task/25195/stat : 25195 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627758938640 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25196] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25196/stat : 25196 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627757886096 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25197] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25197/stat : 25197 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627756833552 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25198] ppid=25189 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25191/task/25198/stat : 25198 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627755781008 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25199] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25199/stat : 25199 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627754728464 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25200] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25200/stat : 25200 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28904853504 9987 33554432000 4194304 4196468 140722478492944 139627753675920 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25201] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25201/stat : 25201 (java) S 25189 25189 24220 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475706646 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626807687152 139628209359490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25202] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25202/stat : 25202 (java) S 25189 25189 24220 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475706647 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626806633376 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25203] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25203/stat : 25203 (java) S 25189 25189 24220 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475706647 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626805580784 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25204] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25204/stat : 25204 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706649 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626804529360 139628209366939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25205] ppid=25189 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25191/task/25205/stat : 25205 (java) S 25189 25189 24220 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 475706649 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626803476976 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25206] ppid=25189 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25191/task/25206/stat : 25206 (java) S 25189 25189 24220 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 475706649 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626802424432 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25207] ppid=25189 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/25191/task/25207/stat : 25207 (java) S 25189 25189 24220 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 475706650 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626801371888 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25208] ppid=25189 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/25191/task/25208/stat : 25208 (java) R 25189 25189 24220 0 -1 4202560 884 0 0 0 7 0 0 0 20 0 20 0 475706650 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626800319344 139628202445179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25209] ppid=25189 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25209/stat : 25209 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706650 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626799266016 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25210] ppid=25189 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25191/task/25210/stat : 25210 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706650 28904853504 9987 33554432000 4194304 4196468 140722478492944 139626798213552 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41400 KiB [startup+0.310288 s]* /proc/loadavg: 7.13 6.84 6.36 3/212 25210 /proc/meminfo: memFree=8243440/32770624 swapFree=66993332/67108860 [pid=25189] ppid=25186 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25189/stat : 25189 (xcsp3-exec) S 25186 25189 24220 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475706643 115843072 363 33554432000 4194304 5098028 140725151348672 140725151346776 139866798023292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19628032 140725151351634 140725151351893 140725151351893 140725151354822 0 /proc/25189/statm: 28282 363 304 221 0 87 0 [pid=25191] ppid=25189 vsize=28231652 memory=48580 CPUtime=0.52 cores=0-7 /proc/25191/stat : 25191 (java) S 25189 25189 24220 0 -1 1077944320 10990 0 0 0 48 4 0 0 20 0 20 0 475706644 28909211648 12145 33554432000 4194304 4196468 140722478492944 140722478475488 139628209348343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 /proc/25191/statm: 7057913 12145 3362 1 0 7019032 0 [pid=25191/tid=25192] ppid=25189 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/25191/task/25192/stat : 25192 (java) R 25189 25189 24220 0 -1 4202560 7777 0 0 0 27 3 0 0 20 0 20 0 475706644 28909211648 12145 33554432000 4194304 4196468 140722478492944 139628213579456 139628209370269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25193] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25193/stat : 25193 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627761043728 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25194] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25194/stat : 25194 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627759991184 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25195] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25195/stat : 25195 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627758938640 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25196] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25196/stat : 25196 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627757886096 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25197] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25197/stat : 25197 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627756833552 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25198] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25198/stat : 25198 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627755781008 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25199] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25199/stat : 25199 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627754728464 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25200] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25200/stat : 25200 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28909211648 12145 33554432000 4194304 4196468 140722478492944 139627753675920 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25201] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25201/stat : 25201 (java) S 25189 25189 24220 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475706646 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626807687152 139628209359490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25202] ppid=25189 vsize=28231652 memory=279484528008576 CPUtime=0 cores=0-7 /proc/25191/task/25202/stat : 25202 (java) S 25189 25189 24220 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475706647 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626806633376 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25203] ppid=25189 vsize=28231652 memory=279484528013184 CPUtime=0 cores=0-7 /proc/25191/task/25203/stat : 25203 (java) S 25189 25189 24220 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475706647 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626805580784 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25204] ppid=25189 vsize=28231652 memory=279484528017792 CPUtime=0 cores=0-7 /proc/25191/task/25204/stat : 25204 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706649 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626804529360 139628209366939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25205] ppid=25189 vsize=28231652 memory=279484528022400 CPUtime=0.02 cores=0-7 /proc/25191/task/25205/stat : 25205 (java) S 25189 25189 24220 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 475706649 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626803476976 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25206] ppid=25189 vsize=28231652 memory=279484528027008 CPUtime=0.03 cores=0-7 /proc/25191/task/25206/stat : 25206 (java) R 25189 25189 24220 0 -1 4202560 233 0 0 0 3 0 0 0 20 0 20 0 475706649 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626802414704 139628193735584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25207] ppid=25189 vsize=28231652 memory=279484528031616 CPUtime=0.02 cores=0-7 /proc/25191/task/25207/stat : 25207 (java) S 25189 25189 24220 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 475706650 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626801371888 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25208] ppid=25189 vsize=28231652 memory=279484528036224 CPUtime=0.12 cores=0-7 /proc/25191/task/25208/stat : 25208 (java) R 25189 25189 24220 0 -1 4202560 1037 0 0 0 12 0 0 0 20 0 20 0 475706650 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626800319344 139628188635302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25209] ppid=25189 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25209/stat : 25209 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475706650 28909211648 12145 33554432000 4194304 4196468 140722478492944 139626799266016 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25210] ppid=25189 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25191/task/25210/stat : 25210 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706650 28909211648 12164 33554432000 4194304 4196468 140722478492944 139626798213552 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50032 KiB [startup+0.700958 s] /proc/loadavg: 7.13 6.84 6.36 4/212 25210 /proc/meminfo: memFree=8230860/32770624 swapFree=66993332/67108860 [pid=25189] ppid=25186 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25189/stat : 25189 (xcsp3-exec) S 25186 25189 24220 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475706643 115843072 363 33554432000 4194304 5098028 140725151348672 140725151346776 139866798023292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19628032 140725151351634 140725151351893 140725151351893 140725151354822 0 /proc/25189/statm: 28282 363 304 221 0 87 0 [pid=25191] ppid=25189 vsize=28233776 memory=88700 CPUtime=1.63 cores=0-7 /proc/25191/stat : 25191 (java) S 25189 25189 24220 0 -1 1077944320 16913 0 0 0 156 7 0 0 20 0 20 0 475706644 28911386624 22175 33554432000 4194304 4196468 140722478492944 140722478475488 139628209348343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 /proc/25191/statm: 7058444 22175 3457 1 0 7019544 0 [pid=25191/tid=25192] ppid=25189 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/25191/task/25192/stat : 25192 (java) R 25189 25189 24220 0 -1 4202560 9300 0 0 0 63 5 0 0 20 0 20 0 475706644 28911386624 22175 33554432000 4194304 4196468 140722478492944 139628213586400 139628193535649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25193] ppid=25189 vsize=28233776 memory=139742264206208 CPUtime=0 cores=0-7 /proc/25191/task/25193/stat : 25193 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28911386624 22175 33554432000 4194304 4196468 140722478492944 139627761043728 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25194] ppid=25189 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25191/task/25194/stat : 25194 (java) S 25189 25189 24220 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475706645 28911386624 22175 33554432000 4194304 4196468 140722478492944 139627759991184 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25195] ppid=25189 vsize=28233776 memory=1228 CPUtime=0 cores=0-7 /proc/25191/task/25195/stat : 25195 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475706645 28911386624 22175 33554432000 4194304 4196468 140722478492944 139627758938640 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 ################ # More data... # ################ [pid=25191/tid=25208] ppid=25189 vsize=28834900 memory=1984 CPUtime=0.79 cores=0-7 /proc/25191/task/25208/stat : 25208 (java) S 25189 25189 24220 0 -1 1077944384 6292 0 0 0 79 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626800319344 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25209] ppid=25189 vsize=28834900 memory=1060 CPUtime=0 cores=0-7 /proc/25191/task/25209/stat : 25209 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626799266016 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25210] ppid=25189 vsize=28834900 memory=740 CPUtime=0.05 cores=0-7 /proc/25191/task/25210/stat : 25210 (java) S 25189 25189 24220 0 -1 1077944384 1292 0 0 0 5 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626798213552 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25323] ppid=25189 vsize=28834900 memory=1228 CPUtime=159.39 cores=0-7 /proc/25191/task/25323/stat : 25323 (java) R 25189 25189 24220 0 -1 4202560 3121 0 0 0 15937 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626783734480 139627853031784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25324] ppid=25189 vsize=28834900 memory=9520 CPUtime=158.78 cores=0-7 /proc/25191/task/25324/stat : 25324 (java) R 25189 25189 24220 0 -1 4202560 2701 0 0 0 15876 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626788995736 139627854845332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25325] ppid=25189 vsize=28834900 memory=4076 CPUtime=159.21 cores=0-7 /proc/25191/task/25325/stat : 25325 (java) R 25189 25189 24220 0 -1 4202560 2917 0 0 0 15919 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626781626288 139627853464917 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25326] ppid=25189 vsize=28834900 memory=2836 CPUtime=158.65 cores=0-7 /proc/25191/task/25326/stat : 25326 (java) R 25189 25189 24220 0 -1 4202560 14721 0 0 0 15853 12 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626785837880 139627853066304 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25327] ppid=25189 vsize=28834900 memory=9520 CPUtime=158.95 cores=0-7 /proc/25191/task/25327/stat : 25327 (java) R 25189 25189 24220 0 -1 4202560 6638 0 0 0 15891 4 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626782682368 139628190191240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25328] ppid=25189 vsize=28834900 memory=4076 CPUtime=159.23 cores=0-7 /proc/25191/task/25328/stat : 25328 (java) R 25189 25189 24220 0 -1 4202560 20626 0 0 0 15907 16 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626784785464 139627854608334 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25329] ppid=25189 vsize=28834900 memory=2836 CPUtime=158.85 cores=0-7 /proc/25191/task/25329/stat : 25329 (java) R 25189 25189 24220 0 -1 4202560 6352 0 0 0 15881 4 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626787942584 139627852682176 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25330] ppid=25189 vsize=28834900 memory=1540 CPUtime=158.52 cores=0-7 /proc/25191/task/25330/stat : 25330 (java) R 25189 25189 24220 0 -1 4202560 4909 0 0 0 15846 6 0 0 20 0 28 0 475706758 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626778476488 139627853028556 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 Current children cumulated CPU time: 1284.45 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 1021280 KiB [startup+162.601 s] /proc/loadavg: 8.44 7.46 6.67 9/219 25340 /proc/meminfo: memFree=7270444/32770624 swapFree=66993332/67108860 [pid=25189] ppid=25186 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25189/stat : 25189 (xcsp3-exec) S 25186 25189 24220 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475706643 115843072 363 33554432000 4194304 5098028 140725151348672 140725151346776 139866798023292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19628032 140725151351634 140725151351893 140725151351893 140725151354822 0 /proc/25189/statm: 28282 363 304 221 0 87 0 [pid=25191] ppid=25189 vsize=28834900 memory=1019828 CPUtime=1286.04 cores=0-7 /proc/25191/stat : 25191 (java) S 25189 25189 24220 0 -1 1077944320 140434 0 0 0 128483 121 0 0 20 0 28 0 475706644 29526937600 254957 33554432000 4194304 4196468 140722478492944 140722478475488 139628209348343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 /proc/25191/statm: 7208725 254957 3547 1 0 7169825 0 [pid=25191/tid=25192] ppid=25189 vsize=28834900 memory=772 CPUtime=0.76 cores=0-7 /proc/25191/task/25192/stat : 25192 (java) S 25189 25189 24220 0 -1 1077944384 9395 0 0 0 71 5 0 0 20 0 28 0 475706644 29526937600 254957 33554432000 4194304 4196468 140722478492944 139628213589120 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25193] ppid=25189 vsize=28834900 memory=952 CPUtime=0.58 cores=0-7 /proc/25191/task/25193/stat : 25193 (java) S 25189 25189 24220 0 -1 1077944384 2634 0 0 0 52 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627761043728 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25194] ppid=25189 vsize=28834900 memory=14008 CPUtime=0.61 cores=0-7 /proc/25191/task/25194/stat : 25194 (java) S 25189 25189 24220 0 -1 1077944384 2939 0 0 0 56 5 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627759991184 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25195] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.59 cores=0-7 /proc/25191/task/25195/stat : 25195 (java) S 25189 25189 24220 0 -1 1077944384 3387 0 0 0 53 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627758938640 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25196] ppid=25189 vsize=28834900 memory=1020652 CPUtime=0.58 cores=0-7 /proc/25191/task/25196/stat : 25196 (java) S 25189 25189 24220 0 -1 1077944384 3446 0 0 0 54 4 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627757886096 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25197] ppid=25189 vsize=28834900 memory=1398722017469774279 CPUtime=0.59 cores=0-7 /proc/25191/task/25197/stat : 25197 (java) S 25189 25189 24220 0 -1 1077944384 2466 0 0 0 53 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627756833552 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25198] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.6 cores=0-7 /proc/25191/task/25198/stat : 25198 (java) S 25189 25189 24220 0 -1 1077944384 2734 0 0 0 55 5 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627755781008 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25199] ppid=25189 vsize=28834900 memory=905372 CPUtime=0.6 cores=0-7 /proc/25191/task/25199/stat : 25199 (java) S 25189 25189 24220 0 -1 1077944384 3074 0 0 0 54 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627754728464 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25200] ppid=25189 vsize=28834900 memory=9520 CPUtime=0.6 cores=0-7 /proc/25191/task/25200/stat : 25200 (java) S 25189 25189 24220 0 -1 1077944384 1876 0 0 0 54 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627753675920 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25201] ppid=25189 vsize=28834900 memory=3620 CPUtime=0.37 cores=0-7 /proc/25191/task/25201/stat : 25201 (java) S 25189 25189 24220 0 -1 1077944384 16344 0 0 0 29 8 0 0 20 0 28 0 475706646 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626807687152 139628209359490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25202] ppid=25189 vsize=28834900 memory=45432 CPUtime=0 cores=0-7 /proc/25191/task/25202/stat : 25202 (java) S 25189 25189 24220 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475706647 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626806633440 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25203] ppid=25189 vsize=28834900 memory=984 CPUtime=0 cores=0-7 /proc/25191/task/25203/stat : 25203 (java) S 25189 25189 24220 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475706647 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626805580800 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25204] ppid=25189 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/25191/task/25204/stat : 25204 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475706649 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626804529360 139628209366939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25205] ppid=25189 vsize=28834900 memory=6791534058613427641 CPUtime=1.36 cores=0-7 /proc/25191/task/25205/stat : 25205 (java) S 25189 25189 24220 0 -1 1077944384 5835 0 0 0 135 1 0 0 20 0 28 0 475706649 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626803476976 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25206] ppid=25189 vsize=28834900 memory=948292 CPUtime=1.7 cores=0-7 /proc/25191/task/25206/stat : 25206 (java) S 25189 25189 24220 0 -1 1077944384 5793 0 0 0 167 3 0 0 20 0 28 0 475706649 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626802424432 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25207] ppid=25189 vsize=28834900 memory=13847456437766712 CPUtime=1.4 cores=0-7 /proc/25191/task/25207/stat : 25207 (java) S 25189 25189 24220 0 -1 1077944384 7420 0 0 0 138 2 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626801371888 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25208] ppid=25189 vsize=28834900 memory=1228 CPUtime=0.79 cores=0-7 /proc/25191/task/25208/stat : 25208 (java) S 25189 25189 24220 0 -1 1077944384 6292 0 0 0 79 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626800319344 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25209] ppid=25189 vsize=28834900 memory=9520 CPUtime=0 cores=0-7 /proc/25191/task/25209/stat : 25209 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626799266016 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25210] ppid=25189 vsize=28834900 memory=3572 CPUtime=0.05 cores=0-7 /proc/25191/task/25210/stat : 25210 (java) S 25189 25189 24220 0 -1 1077944384 1292 0 0 0 5 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626798213552 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25323] ppid=25189 vsize=28834900 memory=1452 CPUtime=159.59 cores=0-7 /proc/25191/task/25323/stat : 25323 (java) R 25189 25189 24220 0 -1 4202560 3121 0 0 0 15957 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626783734576 139627853031481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25324] ppid=25189 vsize=28834900 memory=1022668 CPUtime=158.98 cores=0-7 /proc/25191/task/25324/stat : 25324 (java) R 25189 25189 24220 0 -1 4202560 2701 0 0 0 15896 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626788995736 139627853029412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25325] ppid=25189 vsize=28834900 memory=1736 CPUtime=159.41 cores=0-7 /proc/25191/task/25325/stat : 25325 (java) R 25189 25189 24220 0 -1 4202560 2917 0 0 0 15939 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626781626288 139627856237370 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25326] ppid=25189 vsize=28834900 memory=1398722017469774279 CPUtime=158.85 cores=0-7 /proc/25191/task/25326/stat : 25326 (java) R 25189 25189 24220 0 -1 4202560 14721 0 0 0 15873 12 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626785837880 139627853031442 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25327] ppid=25189 vsize=28834900 memory=957444 CPUtime=159.15 cores=0-7 /proc/25191/task/25327/stat : 25327 (java) R 25189 25189 24220 0 -1 4202560 6638 0 0 0 15911 4 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626782682368 139627852605284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25328] ppid=25189 vsize=28834900 memory=952 CPUtime=159.43 cores=0-7 /proc/25191/task/25328/stat : 25328 (java) R 25189 25189 24220 0 -1 4202560 20626 0 0 0 15927 16 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626784785464 139628190187825 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25329] ppid=25189 vsize=28834900 memory=14008 CPUtime=159.05 cores=0-7 /proc/25191/task/25329/stat : 25329 (java) R 25189 25189 24220 0 -1 4202560 6352 0 0 0 15901 4 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626787942584 139627853030042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25330] ppid=25189 vsize=28834900 memory=24044 CPUtime=158.72 cores=0-7 /proc/25191/task/25330/stat : 25330 (java) R 25189 25189 24220 0 -1 4202560 4909 0 0 0 15866 6 0 0 20 0 28 0 475706758 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626778480304 139627854576723 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 Current children cumulated CPU time: 1286.04 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 1021280 KiB [startup+162.701 s] /proc/loadavg: 8.44 7.46 6.67 9/219 25340 /proc/meminfo: memFree=7270444/32770624 swapFree=66993332/67108860 [pid=25189] ppid=25186 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25189/stat : 25189 (xcsp3-exec) S 25186 25189 24220 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475706643 115843072 363 33554432000 4194304 5098028 140725151348672 140725151346776 139866798023292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19628032 140725151351634 140725151351893 140725151351893 140725151354822 0 /proc/25189/statm: 28282 363 304 221 0 87 0 [pid=25191] ppid=25189 vsize=28834900 memory=1019828 CPUtime=1286.84 cores=0-7 /proc/25191/stat : 25191 (java) S 25189 25189 24220 0 -1 1077944320 140434 0 0 0 128563 121 0 0 20 0 28 0 475706644 29526937600 254957 33554432000 4194304 4196468 140722478492944 140722478475488 139628209348343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 /proc/25191/statm: 7208725 254957 3547 1 0 7169825 0 [pid=25191/tid=25192] ppid=25189 vsize=28834900 memory=1021164 CPUtime=0.76 cores=0-7 /proc/25191/task/25192/stat : 25192 (java) S 25189 25189 24220 0 -1 1077944384 9395 0 0 0 71 5 0 0 20 0 28 0 475706644 29526937600 254957 33554432000 4194304 4196468 140722478492944 139628213589120 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25193] ppid=25189 vsize=28834900 memory=1020140 CPUtime=0.58 cores=0-7 /proc/25191/task/25193/stat : 25193 (java) S 25189 25189 24220 0 -1 1077944384 2634 0 0 0 52 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627761043728 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25194] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.61 cores=0-7 /proc/25191/task/25194/stat : 25194 (java) S 25189 25189 24220 0 -1 1077944384 2939 0 0 0 56 5 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627759991184 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25195] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.59 cores=0-7 /proc/25191/task/25195/stat : 25195 (java) S 25189 25189 24220 0 -1 1077944384 3387 0 0 0 53 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627758938640 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25196] ppid=25189 vsize=28834900 memory=1019828 CPUtime=0.58 cores=0-7 /proc/25191/task/25196/stat : 25196 (java) S 25189 25189 24220 0 -1 1077944384 3446 0 0 0 54 4 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627757886096 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25197] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.59 cores=0-7 /proc/25191/task/25197/stat : 25197 (java) S 25189 25189 24220 0 -1 1077944384 2466 0 0 0 53 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627756833552 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25198] ppid=25189 vsize=28834900 memory=1020140 CPUtime=0.6 cores=0-7 /proc/25191/task/25198/stat : 25198 (java) S 25189 25189 24220 0 -1 1077944384 2734 0 0 0 55 5 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627755781008 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25199] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.6 cores=0-7 /proc/25191/task/25199/stat : 25199 (java) S 25189 25189 24220 0 -1 1077944384 3074 0 0 0 54 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627754728464 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25200] ppid=25189 vsize=28834900 memory=1452 CPUtime=0.6 cores=0-7 /proc/25191/task/25200/stat : 25200 (java) S 25189 25189 24220 0 -1 1077944384 1876 0 0 0 54 6 0 0 20 0 28 0 475706645 29526937600 254957 33554432000 4194304 4196468 140722478492944 139627753675920 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25201] ppid=25189 vsize=28834900 memory=7228667085980660072 CPUtime=0.37 cores=0-7 /proc/25191/task/25201/stat : 25201 (java) S 25189 25189 24220 0 -1 1077944384 16344 0 0 0 29 8 0 0 20 0 28 0 475706646 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626807687152 139628209359490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25202] ppid=25189 vsize=28834900 memory=7800344859672537426 CPUtime=0 cores=0-7 /proc/25191/task/25202/stat : 25202 (java) S 25189 25189 24220 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475706647 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626806633440 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25203] ppid=25189 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/25191/task/25203/stat : 25203 (java) S 25189 25189 24220 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475706647 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626805580800 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25204] ppid=25189 vsize=28834900 memory=1020140 CPUtime=0 cores=0-7 /proc/25191/task/25204/stat : 25204 (java) S 25189 25189 24220 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475706649 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626804529360 139628209366939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25205] ppid=25189 vsize=28834900 memory=164 CPUtime=1.36 cores=0-7 /proc/25191/task/25205/stat : 25205 (java) S 25189 25189 24220 0 -1 1077944384 5835 0 0 0 135 1 0 0 20 0 28 0 475706649 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626803476976 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25206] ppid=25189 vsize=28834900 memory=7524512692651257697 CPUtime=1.7 cores=0-7 /proc/25191/task/25206/stat : 25206 (java) S 25189 25189 24220 0 -1 1077944384 5793 0 0 0 167 3 0 0 20 0 28 0 475706649 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626802424432 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25207] ppid=25189 vsize=28834900 memory=1452 CPUtime=1.4 cores=0-7 /proc/25191/task/25207/stat : 25207 (java) S 25189 25189 24220 0 -1 1077944384 7420 0 0 0 138 2 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626801371888 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25208] ppid=25189 vsize=28834900 memory=910436 CPUtime=0.79 cores=0-7 /proc/25191/task/25208/stat : 25208 (java) S 25189 25189 24220 0 -1 1077944384 6292 0 0 0 79 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626800319344 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25209] ppid=25189 vsize=28834900 memory=6100 CPUtime=0 cores=0-7 /proc/25191/task/25209/stat : 25209 (java) S 25189 25189 24220 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626799266016 139628209358549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25210] ppid=25189 vsize=28834900 memory=772 CPUtime=0.05 cores=0-7 /proc/25191/task/25210/stat : 25210 (java) S 25189 25189 24220 0 -1 1077944384 1292 0 0 0 5 0 0 0 20 0 28 0 475706650 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626798213552 139628209359490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25323] ppid=25189 vsize=28834900 memory=952 CPUtime=159.69 cores=0-7 /proc/25191/task/25323/stat : 25323 (java) R 25189 25189 24220 0 -1 4202560 3121 0 0 0 15967 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626783734576 139627853031495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25324] ppid=25189 vsize=28834900 memory=14008 CPUtime=159.08 cores=0-7 /proc/25191/task/25324/stat : 25324 (java) R 25189 25189 24220 0 -1 4202560 2701 0 0 0 15906 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626788995736 139627853030981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25325] ppid=25189 vsize=28834900 memory=957896 CPUtime=159.51 cores=0-7 /proc/25191/task/25325/stat : 25325 (java) R 25189 25189 24220 0 -1 4202560 2917 0 0 0 15949 2 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626781631016 139627853030981 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25326] ppid=25189 vsize=28834900 memory=1736 CPUtime=158.95 cores=0-7 /proc/25191/task/25326/stat : 25326 (java) R 25189 25189 24220 0 -1 4202560 14721 0 0 0 15883 12 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626785841832 139627854894814 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25327] ppid=25189 vsize=28834900 memory=1452 CPUtime=159.25 cores=0-7 /proc/25191/task/25327/stat : 25327 (java) R 25189 25189 24220 0 -1 4202560 6638 0 0 0 15921 4 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626782683376 139628195416468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25328] ppid=25189 vsize=28834900 memory=1023692 CPUtime=159.53 cores=0-7 /proc/25191/task/25328/stat : 25328 (java) R 25189 25189 24220 0 -1 4202560 20626 0 0 0 15937 16 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626784785464 139627853463456 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25329] ppid=25189 vsize=28834900 memory=9520 CPUtime=159.15 cores=0-7 /proc/25191/task/25329/stat : 25329 (java) R 25189 25189 24220 0 -1 4202560 6352 0 0 0 15911 4 0 0 20 0 28 0 475706756 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626787942584 139627853066458 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 [pid=25191/tid=25330] ppid=25189 vsize=28834900 memory=4076 CPUtime=158.81 cores=0-7 /proc/25191/task/25330/stat : 25330 (java) R 25189 25189 24220 0 -1 4202560 4909 0 0 0 15875 6 0 0 20 0 28 0 475706758 29526937600 254957 33554432000 4194304 4196468 140722478492944 139626778480304 139627856106379 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15892480 140722478498774 140722478498950 140722478498950 140722478501839 0 Current children cumulated CPU time: 1286.84 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 1021280 KiB Child status: 0 Real time (s): 162.746 CPU time (s): 1286.99 CPU user time (s): 1285.75 CPU system time (s): 1.23283 CPU usage (%): 790.795 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 1026164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1285.75 system time used= 1.23283 maximum resident set size= 1025232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141861 page faults= 0 swaps= 0 block input operations= 0 block output operations= 376 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32719 involuntary context switches= 16530 # summary of solver processes directly reported to runsolver: # pid: 25189 # total CPU time (s): 1286.99 # total CPU user time (s): 1285.75 # total CPU system time (s): 1.23283 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.66452 second user time and 1.70101 second system time The end
Begin job on node126 at 2019-09-20 17:45:51 IDJOB=4404682 IDBENCH=115954 IDSOLVER=2865 FILE ID=node126/4404682-1568994389 RUNJOBID= node126-1568994238-24247 PBS_JOBID= 21704719 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-06-11.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-4404682-1568994389/watcher-4404682-1568994389 -o /var/tmp/evaluation-result-4404682-1568994389/solver-4404682-1568994389 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1568994238-24247 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 877296601 HOME/instance-4404682-1568994389.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5296a674fcd135b0317e95ffe6d81fd1 RANDOM SEED=877296601 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 8277872 kB MemAvailable: 31855868 kB Buffers: 135120 kB Cached: 23500356 kB SwapCached: 7112 kB Active: 11788904 kB Inactive: 11856984 kB Active(anon): 4492 kB Inactive(anon): 44260 kB Active(file): 11784412 kB Inactive(file): 11812724 kB Unevictable: 109452 kB Mlocked: 109452 kB SwapTotal: 67108860 kB SwapFree: 66993332 kB Dirty: 26124 kB Writeback: 0 kB AnonPages: 113668 kB Mapped: 46544 kB Shmem: 29724 kB Slab: 438040 kB SReclaimable: 409320 kB SUnreclaim: 28720 kB KernelStack: 3440 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507160 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: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-20 17:48:34