Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 1053 | 433.287 | 55.0772 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-2.xml |
MD5SUM | d930a285b222420c6879960cff9efc87 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1053 |
Best CPU time to get the best result obtained on this benchmark | 218.444 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 54 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":5},{"size":30,"count":54}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
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-4399927-1568708347.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399927-1568708347.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.28/0.85 c solve instance... 2.90/0.96 o 0 2.90/0.96 o 0 3.48/1.02 o 40 3.48/1.03 o 115 3.48/1.04 o 146 3.48/1.04 o 186 3.48/1.06 o 218 3.48/1.06 o 234 3.48/1.07 o 243 3.48/1.08 o 398 3.48/1.10 o 430 4.17/1.14 o 497 4.86/1.21 o 531 4.86/1.28 o 563 7.09/1.62 o 632 8.93/1.74 o 655 10.98/2.10 o 664 11.81/2.13 o 705 11.81/2.16 o 709 13.29/2.31 o 747 13.29/2.31 o 775 13.29/2.34 o 793 14.03/2.42 o 838 15.69/2.66 o 846 63.30/8.66 o 861 75.22/10.13 o 874 75.22/10.17 o 898 186.65/24.19 o 912 211.25/27.29 o 918 217.49/28.06 o 931 234.28/30.14 o 967 299.58/38.40 o 1053 432.80/55.06 s OPTIMUM FOUND 432.80/55.06 v <instantiation> 432.80/55.06 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 432.80/55.06 v <values>10 0 29 19 1 5 6 2 9 25 22 4 20 13 24 15 12 17 18 16 28 21 14 23 7 3 26 11 27 8 34 0 296 83 13 0 0 31 54 54 207 228 122 0 16 0 23 0 0 85 127 0 270 0 68 152 0 45 34 55 0 0 40 67 89 0 0 19 47 68 94 86 34 0 14 0 67 0 0 31 78 0 99 0 56 14 0 35 53 62 </values> 432.80/55.06 v </instantiation>
OK 1053
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 (15274 MiB free) memory of node 1: 16384 MiB (15685 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399927-1568708347/watcher-4399927-1568708347 -o /tmp/evaluation-result-4399927-1568708347/solver-4399927-1568708347 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1162368479 HOME/instance-4399927-1568708347.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=2896, runsolver pid=2893 [startup+0.100112 s]* /proc/loadavg: 6.58 7.46 7.58 2/211 2917 /proc/meminfo: memFree=31685720/32770624 swapFree=66977240/67108860 [pid=2896] ppid=2893 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2896/stat : 2896 (xcsp3-exec) S 2893 2896 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447097350 115843072 363 33554432000 4194304 5098028 140735448481632 140735448479736 140167928504956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31039488 140735448490869 140735448491113 140735448491113 140735448494026 0 /proc/2896/statm: 28282 363 304 221 0 87 0 [pid=2898] ppid=2896 vsize=28227396 memory=29172 CPUtime=0.12 cores=0-7 /proc/2898/stat : 2898 (java) S 2896 2896 29062 0 -1 1077944320 5769 0 0 0 11 1 0 0 20 0 20 0 447097350 28904853504 7293 33554432000 4194304 4196468 140729813999392 140729813981936 140161125392119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 /proc/2898/statm: 7056849 7293 3119 1 0 7019032 0 [pid=2898/tid=2899] ppid=2896 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7 /proc/2898/task/2899/stat : 2899 (java) R 2896 2896 29062 0 -1 4202560 3682 0 0 0 8 1 0 0 20 0 20 0 447097350 28904853504 7293 33554432000 4194304 4196468 140729813999392 140161129625392 140161125404054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2900] ppid=2896 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/2898/task/2900/stat : 2900 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160676965264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2901] ppid=2896 vsize=28227396 memory=139781274076800 CPUtime=0 cores=0-7 /proc/2898/task/2901/stat : 2901 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160675912464 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2902] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2902/stat : 2902 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160674860176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2903] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2903/stat : 2903 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160673807376 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2904] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2904/stat : 2904 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160672754064 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2905] ppid=2896 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2898/task/2905/stat : 2905 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160671701264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2906] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2906/stat : 2906 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160670648976 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2907] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2907/stat : 2907 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 7293 33554432000 4194304 4196468 140729813999392 140160669596176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2908] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2908/stat : 2908 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097352 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159723657840 140161125403266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2909] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2909/stat : 2909 (java) S 2896 2896 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447097353 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159722603808 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2910] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2910/stat : 2910 (java) S 2896 2896 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447097353 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159721551472 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2911] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2911/stat : 2911 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159720499792 140161125410715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2912] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2912/stat : 2912 (java) S 2896 2896 29062 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159719446640 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2913] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2913/stat : 2913 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159718393840 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2914] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2914/stat : 2914 (java) S 2896 2896 29062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159717341552 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2915] ppid=2896 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2898/task/2915/stat : 2915 (java) R 2896 2896 29062 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159716288752 140161125413466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2916] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2916/stat : 2916 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159715236704 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2917] ppid=2896 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2898/task/2917/stat : 2917 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 7293 33554432000 4194304 4196468 140729813999392 140159714183984 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30624 KiB [startup+0.209985 s]* /proc/loadavg: 6.58 7.46 7.58 4/211 2917 /proc/meminfo: memFree=31672988/32770624 swapFree=66977240/67108860 [pid=2896] ppid=2893 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2896/stat : 2896 (xcsp3-exec) S 2893 2896 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447097350 115843072 363 33554432000 4194304 5098028 140735448481632 140735448479736 140167928504956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31039488 140735448490869 140735448491113 140735448491113 140735448494026 0 /proc/2896/statm: 28282 363 304 221 0 87 0 [pid=2898] ppid=2896 vsize=28227396 memory=41024 CPUtime=0.33 cores=0-7 /proc/2898/stat : 2898 (java) S 2896 2896 29062 0 -1 1077944320 9553 0 0 0 30 3 0 0 20 0 20 0 447097350 28904853504 10256 33554432000 4194304 4196468 140729813999392 140729813981936 140161125392119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 /proc/2898/statm: 7056849 10256 3290 1 0 7019032 0 [pid=2898/tid=2899] ppid=2896 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/2898/task/2899/stat : 2899 (java) R 2896 2896 29062 0 -1 4202560 6683 0 0 0 17 2 0 0 20 0 20 0 447097350 28904853504 10256 33554432000 4194304 4196468 140729813999392 140161129621840 140161125414045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2900] ppid=2896 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/2898/task/2900/stat : 2900 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160676965264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2901] ppid=2896 vsize=28227396 memory=288370157425788544 CPUtime=0 cores=0-7 /proc/2898/task/2901/stat : 2901 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160675912464 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2902] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2902/stat : 2902 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160674860176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2903] ppid=2896 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2898/task/2903/stat : 2903 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160673807376 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2904] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2904/stat : 2904 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160672754064 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2905] ppid=2896 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2898/task/2905/stat : 2905 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160671701264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2906] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2906/stat : 2906 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160670648976 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2907] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2907/stat : 2907 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28904853504 10256 33554432000 4194304 4196468 140729813999392 140160669596176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2908] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2908/stat : 2908 (java) S 2896 2896 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447097352 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159723657840 140161125403266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2909] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2909/stat : 2909 (java) S 2896 2896 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447097353 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159722603808 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2910] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2910/stat : 2910 (java) S 2896 2896 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447097353 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159721551472 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2911] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2911/stat : 2911 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159720499792 140161125410715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2912] ppid=2896 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2898/task/2912/stat : 2912 (java) S 2896 2896 29062 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159719446640 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2913] ppid=2896 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/2898/task/2913/stat : 2913 (java) S 2896 2896 29062 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159718393840 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2914] ppid=2896 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/2898/task/2914/stat : 2914 (java) S 2896 2896 29062 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159717341552 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2915] ppid=2896 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/2898/task/2915/stat : 2915 (java) S 2896 2896 29062 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159716288752 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2916] ppid=2896 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2916/stat : 2916 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159715236704 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2917] ppid=2896 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/2898/task/2917/stat : 2917 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28904853504 10256 33554432000 4194304 4196468 140729813999392 140159714183984 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42476 KiB [startup+0.30947 s]* /proc/loadavg: 6.58 7.46 7.58 3/211 2917 /proc/meminfo: memFree=31668144/32770624 swapFree=66977240/67108860 [pid=2896] ppid=2893 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2896/stat : 2896 (xcsp3-exec) S 2893 2896 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447097350 115843072 363 33554432000 4194304 5098028 140735448481632 140735448479736 140167928504956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31039488 140735448490869 140735448491113 140735448491113 140735448494026 0 /proc/2896/statm: 28282 363 304 221 0 87 0 [pid=2898] ppid=2896 vsize=28231652 memory=49528 CPUtime=0.51 cores=0-7 /proc/2898/stat : 2898 (java) S 2896 2896 29062 0 -1 1077944320 10756 0 0 0 47 4 0 0 20 0 20 0 447097350 28909211648 12382 33554432000 4194304 4196468 140729813999392 140729813981936 140161125392119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 /proc/2898/statm: 7057913 12382 3330 1 0 7019032 0 [pid=2898/tid=2899] ppid=2896 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7 /proc/2898/task/2899/stat : 2899 (java) R 2896 2896 29062 0 -1 4202560 7746 0 0 0 26 3 0 0 20 0 20 0 447097350 28909211648 12382 33554432000 4194304 4196468 140729813999392 140161129623232 140161118070133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2900] ppid=2896 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2898/task/2900/stat : 2900 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160676965264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2901] ppid=2896 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/2898/task/2901/stat : 2901 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160675912464 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2902] ppid=2896 vsize=28231652 memory=11976 CPUtime=0 cores=0-7 /proc/2898/task/2902/stat : 2902 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160674860176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2903] ppid=2896 vsize=28231652 memory=11568 CPUtime=0 cores=0-7 /proc/2898/task/2903/stat : 2903 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160673807376 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2904] ppid=2896 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2904/stat : 2904 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160672754064 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2905] ppid=2896 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2905/stat : 2905 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160671701264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2906] ppid=2896 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2906/stat : 2906 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160670648976 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2907] ppid=2896 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2907/stat : 2907 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28909211648 12382 33554432000 4194304 4196468 140729813999392 140160669596176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2908] ppid=2896 vsize=28231652 memory=139781120025152 CPUtime=0 cores=0-7 /proc/2898/task/2908/stat : 2908 (java) S 2896 2896 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447097352 28909211648 12382 33554432000 4194304 4196468 140729813999392 140159723657840 140161125403266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2909] ppid=2896 vsize=28231652 memory=139781120029647 CPUtime=0 cores=0-7 /proc/2898/task/2909/stat : 2909 (java) S 2896 2896 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447097353 28909211648 12382 33554432000 4194304 4196468 140729813999392 140159722603808 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2910] ppid=2896 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/2898/task/2910/stat : 2910 (java) S 2896 2896 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447097353 28909211648 12382 33554432000 4194304 4196468 140729813999392 140159721551472 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2911] ppid=2896 vsize=28231652 memory=2110131727135652 CPUtime=0 cores=0-7 /proc/2898/task/2911/stat : 2911 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28909211648 12448 33554432000 4194304 4196468 140729813999392 140159720499792 140161125410715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2912] ppid=2896 vsize=28231652 memory=2110131727168516 CPUtime=0.02 cores=0-7 /proc/2898/task/2912/stat : 2912 (java) R 2896 2896 29062 0 -1 4202560 418 0 0 0 2 0 0 0 20 0 20 0 447097356 28909211648 12448 33554432000 4194304 4196468 140729813999392 140159719437024 140161106092416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2913] ppid=2896 vsize=28231652 memory=2110131727140260 CPUtime=0.03 cores=0-7 /proc/2898/task/2913/stat : 2913 (java) S 2896 2896 29062 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 20 0 447097356 28909211648 12448 33554432000 4194304 4196468 140729813999392 140159718393840 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2914] ppid=2896 vsize=28231652 memory=2110131727142564 CPUtime=0.02 cores=0-7 /proc/2898/task/2914/stat : 2914 (java) S 2896 2896 29062 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 447097356 28909211648 12448 33554432000 4194304 4196468 140729813999392 140159717341552 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2915] ppid=2896 vsize=28231652 memory=2110131727168420 CPUtime=0.13 cores=0-7 /proc/2898/task/2915/stat : 2915 (java) S 2896 2896 29062 0 -1 1077944384 861 0 0 0 13 0 0 0 20 0 20 0 447097356 28909211648 12448 33554432000 4194304 4196468 140729813999392 140159716288752 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2916] ppid=2896 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2916/stat : 2916 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447097356 28909211648 12480 33554432000 4194304 4196468 140729813999392 140159715236704 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2917] ppid=2896 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/2898/task/2917/stat : 2917 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097356 28909211648 12480 33554432000 4194304 4196468 140729813999392 140159714183984 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50980 KiB [startup+0.700862 s] /proc/loadavg: 6.58 7.46 7.58 3/211 2917 /proc/meminfo: memFree=31644324/32770624 swapFree=66977240/67108860 [pid=2896] ppid=2893 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2896/stat : 2896 (xcsp3-exec) S 2893 2896 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447097350 115843072 363 33554432000 4194304 5098028 140735448481632 140735448479736 140167928504956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31039488 140735448490869 140735448491113 140735448491113 140735448494026 0 /proc/2896/statm: 28282 363 304 221 0 87 0 [pid=2898] ppid=2896 vsize=28233776 memory=99572 CPUtime=1.79 cores=0-7 /proc/2898/stat : 2898 (java) S 2896 2896 29062 0 -1 1077944320 15626 0 0 0 172 7 0 0 20 0 20 0 447097350 28911386624 24893 33554432000 4194304 4196468 140729813999392 140729813981936 140161125392119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 /proc/2898/statm: 7058444 24893 3454 1 0 7019544 0 [pid=2898/tid=2899] ppid=2896 vsize=28233776 memory=6009860649992546405 CPUtime=0.68 cores=0-7 /proc/2898/task/2899/stat : 2899 (java) R 2896 2896 29062 0 -1 4202560 9075 0 0 0 63 5 0 0 20 0 20 0 447097350 28911386624 24893 33554432000 4194304 4196468 140729813999392 140161129629264 140160763228663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2900] ppid=2896 vsize=28233776 memory=139781274076800 CPUtime=0 cores=0-7 /proc/2898/task/2900/stat : 2900 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28911386624 24893 33554432000 4194304 4196468 140729813999392 140160676965264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2901] ppid=2896 vsize=28233776 memory=279562240286144 CPUtime=0 cores=0-7 /proc/2898/task/2901/stat : 2901 (java) S 2896 2896 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447097351 28911386624 24893 33554432000 4194304 4196468 140729813999392 140160675912464 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2902] ppid=2896 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/2898/task/2902/stat : 2902 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447097351 28911386624 24893 33554432000 4194304 4196468 140729813999392 140160674860176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 ################ # More data... # ################ [pid=2898/tid=2915] ppid=2896 vsize=28769364 memory=7872 CPUtime=1.01 cores=0-7 /proc/2898/task/2915/stat : 2915 (java) S 2896 2896 29062 0 -1 1077944384 11198 0 0 0 97 4 0 0 20 0 28 0 447097356 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159716288752 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2916] ppid=2896 vsize=28769364 memory=1164 CPUtime=0 cores=0-7 /proc/2898/task/2916/stat : 2916 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447097356 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159715236704 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2917] ppid=2896 vsize=28769364 memory=9448 CPUtime=0.01 cores=0-7 /proc/2898/task/2917/stat : 2917 (java) S 2896 2896 29062 0 -1 1077944384 1283 0 0 0 0 1 0 0 20 0 28 0 447097356 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159714183984 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3177] ppid=2896 vsize=28769364 memory=14008 CPUtime=16.09 cores=0-7 /proc/2898/task/3177/stat : 3177 (java) R 2896 2896 29062 0 -1 4202560 364 0 0 0 1609 0 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159695502920 140160774227274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3178] ppid=2896 vsize=28769364 memory=2120 CPUtime=16.09 cores=0-7 /proc/2898/task/3178/stat : 3178 (java) R 2896 2896 29062 0 -1 4202560 183 0 0 0 1609 0 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159699714632 140160769404937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3179] ppid=2896 vsize=28769364 memory=11976 CPUtime=16.09 cores=0-7 /proc/2898/task/3179/stat : 3179 (java) R 2896 2896 29062 0 -1 4202560 368 0 0 0 1609 0 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159696556568 140160770972892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3180] ppid=2896 vsize=28769364 memory=11568 CPUtime=16.08 cores=0-7 /proc/2898/task/3180/stat : 3180 (java) R 2896 2896 29062 0 -1 4202560 1411 0 0 0 1601 7 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159694447048 140160769908192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3181] ppid=2896 vsize=28769364 memory=512 CPUtime=16.09 cores=0-7 /proc/2898/task/3181/stat : 3181 (java) R 2896 2896 29062 0 -1 4202560 886 0 0 0 1608 1 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159698664520 140160772790925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3182] ppid=2896 vsize=28769364 memory=1564 CPUtime=16.07 cores=0-7 /proc/2898/task/3182/stat : 3182 (java) R 2896 2896 29062 0 -1 4202560 427 0 0 0 1607 0 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159702875080 140160770972957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3183] ppid=2896 vsize=28769364 memory=1452 CPUtime=15.83 cores=0-7 /proc/2898/task/3183/stat : 3183 (java) R 2896 2896 29062 0 -1 4202560 356 0 0 0 1583 0 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159700770120 140160769405772 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3184] ppid=2896 vsize=28769364 memory=805220 CPUtime=16.02 cores=0-7 /proc/2898/task/3184/stat : 3184 (java) R 2896 2896 29062 0 -1 4202560 1037 0 0 0 1600 2 0 0 20 0 28 0 447101190 29459828736 276057 33554432000 4194304 4196468 140729813999392 140159701815768 140160770973019 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 Current children cumulated CPU time: 428.8 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 1105680 KiB [startup+54.901 s] /proc/loadavg: 7.82 7.62 7.62 9/219 3184 /proc/meminfo: memFree=30625780/32770624 swapFree=66977240/67108860 [pid=2896] ppid=2893 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2896/stat : 2896 (xcsp3-exec) S 2893 2896 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447097350 115843072 363 33554432000 4194304 5098028 140735448481632 140735448479736 140167928504956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31039488 140735448490869 140735448491113 140735448491113 140735448494026 0 /proc/2896/statm: 28282 363 304 221 0 87 0 [pid=2898] ppid=2896 vsize=28769364 memory=1128804 CPUtime=431.99 cores=0-7 /proc/2898/stat : 2898 (java) S 2896 2896 29062 0 -1 1077944320 93858 0 0 0 43104 95 0 0 20 0 28 0 447097350 29459828736 282201 33554432000 4194304 4196468 140729813999392 140729813981936 140161125392119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 /proc/2898/statm: 7192341 282201 3540 1 0 7153441 0 [pid=2898/tid=2899] ppid=2896 vsize=28769364 memory=8112282956445269571 CPUtime=0.86 cores=0-7 /proc/2898/task/2899/stat : 2899 (java) S 2896 2896 29062 0 -1 1077944384 10152 0 0 0 81 5 0 0 20 0 28 0 447097350 29459828736 282201 33554432000 4194304 4196468 140729813999392 140161129632896 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2900] ppid=2896 vsize=28769364 memory=7872 CPUtime=0.1 cores=0-7 /proc/2898/task/2900/stat : 2900 (java) S 2896 2896 29062 0 -1 1077944384 1291 0 0 0 6 4 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160676965264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2901] ppid=2896 vsize=28769364 memory=1164 CPUtime=0.1 cores=0-7 /proc/2898/task/2901/stat : 2901 (java) S 2896 2896 29062 0 -1 1077944384 632 0 0 0 6 4 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160675912464 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2902] ppid=2896 vsize=28769364 memory=9448 CPUtime=0.09 cores=0-7 /proc/2898/task/2902/stat : 2902 (java) S 2896 2896 29062 0 -1 1077944384 484 0 0 0 5 4 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160674860176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2903] ppid=2896 vsize=28769364 memory=14008 CPUtime=0.09 cores=0-7 /proc/2898/task/2903/stat : 2903 (java) S 2896 2896 29062 0 -1 1077944384 267 0 0 0 6 3 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160673807376 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2904] ppid=2896 vsize=28769364 memory=2120 CPUtime=0.11 cores=0-7 /proc/2898/task/2904/stat : 2904 (java) S 2896 2896 29062 0 -1 1077944384 989 0 0 0 7 4 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160672754064 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2905] ppid=2896 vsize=28769364 memory=11976 CPUtime=0.09 cores=0-7 /proc/2898/task/2905/stat : 2905 (java) S 2896 2896 29062 0 -1 1077944384 1092 0 0 0 5 4 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160671701264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2906] ppid=2896 vsize=28769364 memory=1452 CPUtime=0.08 cores=0-7 /proc/2898/task/2906/stat : 2906 (java) S 2896 2896 29062 0 -1 1077944384 255 0 0 0 5 3 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160670648976 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2907] ppid=2896 vsize=28769364 memory=2828 CPUtime=0.09 cores=0-7 /proc/2898/task/2907/stat : 2907 (java) S 2896 2896 29062 0 -1 1077944384 598 0 0 0 5 4 0 0 20 0 28 0 447097351 29459828736 282201 33554432000 4194304 4196468 140729813999392 140160669596176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2908] ppid=2896 vsize=28769364 memory=756 CPUtime=0.02 cores=0-7 /proc/2898/task/2908/stat : 2908 (java) S 2896 2896 29062 0 -1 1077944384 2070 0 0 0 2 0 0 0 20 0 28 0 447097352 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159723657840 140161125403266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2909] ppid=2896 vsize=28769364 memory=1564 CPUtime=0 cores=0-7 /proc/2898/task/2909/stat : 2909 (java) S 2896 2896 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447097353 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159722603872 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2910] ppid=2896 vsize=28769364 memory=928 CPUtime=0 cores=0-7 /proc/2898/task/2910/stat : 2910 (java) S 2896 2896 29062 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447097353 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159721551472 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2911] ppid=2896 vsize=28769364 memory=3784 CPUtime=0 cores=0-7 /proc/2898/task/2911/stat : 2911 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159720499792 140161125410715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2912] ppid=2896 vsize=28769364 memory=1440 CPUtime=2.54 cores=0-7 /proc/2898/task/2912/stat : 2912 (java) S 2896 2896 29062 0 -1 1077944384 12367 0 0 0 251 3 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159719446640 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2913] ppid=2896 vsize=28769364 memory=904 CPUtime=2.77 cores=0-7 /proc/2898/task/2913/stat : 2913 (java) S 2896 2896 29062 0 -1 1077944384 10174 0 0 0 275 2 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159718393840 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2914] ppid=2896 vsize=28769364 memory=1984 CPUtime=2.85 cores=0-7 /proc/2898/task/2914/stat : 2914 (java) S 2896 2896 29062 0 -1 1077944384 13050 0 0 0 282 3 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159717341552 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2915] ppid=2896 vsize=28769364 memory=2528 CPUtime=1.01 cores=0-7 /proc/2898/task/2915/stat : 2915 (java) S 2896 2896 29062 0 -1 1077944384 11198 0 0 0 97 4 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159716288752 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2916] ppid=2896 vsize=28769364 memory=1764 CPUtime=0 cores=0-7 /proc/2898/task/2916/stat : 2916 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159715236704 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2917] ppid=2896 vsize=28769364 memory=111632 CPUtime=0.01 cores=0-7 /proc/2898/task/2917/stat : 2917 (java) S 2896 2896 29062 0 -1 1077944384 1283 0 0 0 0 1 0 0 20 0 28 0 447097356 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159714183984 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3177] ppid=2896 vsize=28769364 memory=804 CPUtime=16.49 cores=0-7 /proc/2898/task/3177/stat : 3177 (java) R 2896 2896 29062 0 -1 4202560 364 0 0 0 1649 0 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159695502920 140160769234271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3178] ppid=2896 vsize=28769364 memory=1412 CPUtime=16.49 cores=0-7 /proc/2898/task/3178/stat : 3178 (java) R 2896 2896 29062 0 -1 4202560 183 0 0 0 1649 0 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159699714632 140160769405764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3179] ppid=2896 vsize=28769364 memory=1452 CPUtime=16.49 cores=0-7 /proc/2898/task/3179/stat : 3179 (java) R 2896 2896 29062 0 -1 4202560 368 0 0 0 1649 0 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159696556568 140160769405402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3180] ppid=2896 vsize=28769364 memory=301741373374332954 CPUtime=16.47 cores=0-7 /proc/2898/task/3180/stat : 3180 (java) R 2896 2896 29062 0 -1 4202560 1424 0 0 0 1640 7 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159694447048 140160771023986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3181] ppid=2896 vsize=28769364 memory=288230617509003574 CPUtime=16.49 cores=0-7 /proc/2898/task/3181/stat : 3181 (java) R 2896 2896 29062 0 -1 4202560 893 0 0 0 1648 1 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159698664520 140160769980272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3182] ppid=2896 vsize=28769364 memory=15252640887999028 CPUtime=16.47 cores=0-7 /proc/2898/task/3182/stat : 3182 (java) R 2896 2896 29062 0 -1 4202560 431 0 0 0 1647 0 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159702875080 140160771023331 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3183] ppid=2896 vsize=28769364 memory=1398720917958146503 CPUtime=16.23 cores=0-7 /proc/2898/task/3183/stat : 3183 (java) R 2896 2896 29062 0 -1 4202560 358 0 0 0 1623 0 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159700770120 140160769744222 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3184] ppid=2896 vsize=28769364 memory=4126316290023845779 CPUtime=16.42 cores=0-7 /proc/2898/task/3184/stat : 3184 (java) R 2896 2896 29062 0 -1 4202560 1039 0 0 0 1640 2 0 0 20 0 28 0 447101190 29459828736 282201 33554432000 4194304 4196468 140729813999392 140159701815768 140160773465662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 Current children cumulated CPU time: 431.99 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 1130256 KiB [startup+55.002 s] /proc/loadavg: 7.82 7.62 7.62 9/219 3184 /proc/meminfo: memFree=30625780/32770624 swapFree=66977240/67108860 [pid=2896] ppid=2893 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/2896/stat : 2896 (xcsp3-exec) S 2893 2896 29062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447097350 115843072 363 33554432000 4194304 5098028 140735448481632 140735448479736 140167928504956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31039488 140735448490869 140735448491113 140735448491113 140735448494026 0 /proc/2896/statm: 28282 363 304 221 0 87 0 [pid=2898] ppid=2896 vsize=28769364 memory=1136996 CPUtime=432.8 cores=0-7 /proc/2898/stat : 2898 (java) S 2896 2896 29062 0 -1 1077944320 93868 0 0 0 43185 95 0 0 20 0 28 0 447097350 29459828736 284249 33554432000 4194304 4196468 140729813999392 140729813981936 140161125392119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 /proc/2898/statm: 7192341 284249 3540 1 0 7153441 0 [pid=2898/tid=2899] ppid=2896 vsize=28769364 memory=0 CPUtime=0.86 cores=0-7 /proc/2898/task/2899/stat : 2899 (java) S 2896 2896 29062 0 -1 1077944384 10152 0 0 0 81 5 0 0 20 0 28 0 447097350 29459828736 284249 33554432000 4194304 4196468 140729813999392 140161129632896 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2900] ppid=2896 vsize=28769364 memory=9 CPUtime=0.1 cores=0-7 /proc/2898/task/2900/stat : 2900 (java) S 2896 2896 29062 0 -1 1077944384 1291 0 0 0 6 4 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160676965264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2901] ppid=2896 vsize=28769364 memory=1065316 CPUtime=0.1 cores=0-7 /proc/2898/task/2901/stat : 2901 (java) S 2896 2896 29062 0 -1 1077944384 632 0 0 0 6 4 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160675912464 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2902] ppid=2896 vsize=28769364 memory=1452 CPUtime=0.09 cores=0-7 /proc/2898/task/2902/stat : 2902 (java) S 2896 2896 29062 0 -1 1077944384 484 0 0 0 5 4 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160674860176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2903] ppid=2896 vsize=28769364 memory=827748 CPUtime=0.09 cores=0-7 /proc/2898/task/2903/stat : 2903 (java) S 2896 2896 29062 0 -1 1077944384 267 0 0 0 6 3 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160673807376 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2904] ppid=2896 vsize=28769364 memory=1452 CPUtime=0.11 cores=0-7 /proc/2898/task/2904/stat : 2904 (java) S 2896 2896 29062 0 -1 1077944384 989 0 0 0 7 4 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160672754064 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2905] ppid=2896 vsize=28769364 memory=4088 CPUtime=0.09 cores=0-7 /proc/2898/task/2905/stat : 2905 (java) S 2896 2896 29062 0 -1 1077944384 1092 0 0 0 5 4 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160671701264 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2906] ppid=2896 vsize=28769364 memory=1580 CPUtime=0.08 cores=0-7 /proc/2898/task/2906/stat : 2906 (java) S 2896 2896 29062 0 -1 1077944384 255 0 0 0 5 3 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160670648976 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2907] ppid=2896 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7 /proc/2898/task/2907/stat : 2907 (java) S 2896 2896 29062 0 -1 1077944384 598 0 0 0 5 4 0 0 20 0 28 0 447097351 29459828736 284249 33554432000 4194304 4196468 140729813999392 140160669596176 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2908] ppid=2896 vsize=28769364 memory=288230617509003574 CPUtime=0.02 cores=0-7 /proc/2898/task/2908/stat : 2908 (java) S 2896 2896 29062 0 -1 1077944384 2070 0 0 0 2 0 0 0 20 0 28 0 447097352 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159723657840 140161125403266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2909] ppid=2896 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/2898/task/2909/stat : 2909 (java) S 2896 2896 29062 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447097353 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159722603872 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2910] ppid=2896 vsize=28769364 memory=65 CPUtime=0 cores=0-7 /proc/2898/task/2910/stat : 2910 (java) S 2896 2896 29062 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447097353 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159721551472 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2911] ppid=2896 vsize=28769364 memory=6628 CPUtime=0 cores=0-7 /proc/2898/task/2911/stat : 2911 (java) S 2896 2896 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159720499792 140161125410715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2912] ppid=2896 vsize=28769364 memory=1452 CPUtime=2.54 cores=0-7 /proc/2898/task/2912/stat : 2912 (java) S 2896 2896 29062 0 -1 1077944384 12367 0 0 0 251 3 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159719446640 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2913] ppid=2896 vsize=28769364 memory=997732 CPUtime=2.77 cores=0-7 /proc/2898/task/2913/stat : 2913 (java) S 2896 2896 29062 0 -1 1077944384 10174 0 0 0 275 2 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159718393840 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2914] ppid=2896 vsize=28769364 memory=1452 CPUtime=2.85 cores=0-7 /proc/2898/task/2914/stat : 2914 (java) S 2896 2896 29062 0 -1 1077944384 13050 0 0 0 282 3 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159717341552 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2915] ppid=2896 vsize=28769364 memory=3784 CPUtime=1.01 cores=0-7 /proc/2898/task/2915/stat : 2915 (java) S 2896 2896 29062 0 -1 1077944384 11198 0 0 0 97 4 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159716288752 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2916] ppid=2896 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/2898/task/2916/stat : 2916 (java) S 2896 2896 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159715236704 140161125402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=2917] ppid=2896 vsize=28769364 memory=7084820200048181348 CPUtime=0.01 cores=0-7 /proc/2898/task/2917/stat : 2917 (java) S 2896 2896 29062 0 -1 1077944384 1283 0 0 0 0 1 0 0 20 0 28 0 447097356 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159714183984 140161125403266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3177] ppid=2896 vsize=28769364 memory=687432 CPUtime=16.59 cores=0-7 /proc/2898/task/3177/stat : 3177 (java) R 2896 2896 29062 0 -1 4202560 365 0 0 0 1659 0 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159695502920 140160769405356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3178] ppid=2896 vsize=28769364 memory=687428 CPUtime=16.59 cores=0-7 /proc/2898/task/3178/stat : 3178 (java) R 2896 2896 29062 0 -1 4202560 184 0 0 0 1659 0 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159699714632 140160769744112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3179] ppid=2896 vsize=28769364 memory=3620 CPUtime=16.59 cores=0-7 /proc/2898/task/3179/stat : 3179 (java) R 2896 2896 29062 0 -1 4202560 368 0 0 0 1659 0 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159696556568 140160769404937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3180] ppid=2896 vsize=28769364 memory=8112282956445269571 CPUtime=16.58 cores=0-7 /proc/2898/task/3180/stat : 3180 (java) R 2896 2896 29062 0 -1 4202560 1426 0 0 0 1651 7 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159694447048 140160772789952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3181] ppid=2896 vsize=28769364 memory=930148 CPUtime=16.59 cores=0-7 /proc/2898/task/3181/stat : 3181 (java) R 2896 2896 29062 0 -1 4202560 893 0 0 0 1658 1 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159698664520 140160770352781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3182] ppid=2896 vsize=28769364 memory=1452 CPUtime=16.57 cores=0-7 /proc/2898/task/3182/stat : 3182 (java) R 2896 2896 29062 0 -1 4202560 434 0 0 0 1657 0 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159702875080 140160769405503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3183] ppid=2896 vsize=28769364 memory=662272 CPUtime=16.33 cores=0-7 /proc/2898/task/3183/stat : 3183 (java) R 2896 2896 29062 0 -1 4202560 358 0 0 0 1633 0 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159700770120 140160772049447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 [pid=2898/tid=3184] ppid=2896 vsize=28769364 memory=3620 CPUtime=16.52 cores=0-7 /proc/2898/task/3184/stat : 3184 (java) R 2896 2896 29062 0 -1 4202560 1042 0 0 0 1650 2 0 0 20 0 28 0 447101190 29459828736 284249 33554432000 4194304 4196468 140729813999392 140159701815768 140160769743465 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140729814004714 140729814004886 140729814004886 140729814007759 0 Current children cumulated CPU time: 432.8 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 1138448 KiB Child status: 0 Real time (s): 55.0772 CPU time (s): 433.287 CPU user time (s): 432.312 CPU system time (s): 0.975347 CPU usage (%): 786.691 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 1138448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 432.312 system time used= 0.975347 maximum resident set size= 1142848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96244 page faults= 0 swaps= 0 block input operations= 0 block output operations= 224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8831 involuntary context switches= 6154 # summary of solver processes directly reported to runsolver: # pid: 2896 # total CPU time (s): 433.287 # total CPU user time (s): 432.312 # total CPU system time (s): 0.975347 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.459117 second user time and 0.626197 second system time The end
Begin job on node121 at 2019-09-17 10:18:25 IDJOB=4399927 IDBENCH=133278 IDSOLVER=2854 FILE ID=node121/4399927-1568708347 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61408 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-2.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399927-1568708347/watcher-4399927-1568708347 -o /tmp/evaluation-result-4399927-1568708347/solver-4399927-1568708347 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1162368479 HOME/instance-4399927-1568708347.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d930a285b222420c6879960cff9efc87 RANDOM SEED=1162368479 node121.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: 31703256 kB MemAvailable: 31919128 kB Buffers: 69488 kB Cached: 444508 kB SwapCached: 10792 kB Active: 208808 kB Inactive: 319320 kB Active(anon): 4356 kB Inactive(anon): 42468 kB Active(file): 204452 kB Inactive(file): 276852 kB Unevictable: 109160 kB Mlocked: 109160 kB SwapTotal: 67108860 kB SwapFree: 66977240 kB Dirty: 26180 kB Writeback: 0 kB AnonPages: 123144 kB Mapped: 41992 kB Shmem: 24044 kB Slab: 130372 kB SReclaimable: 100804 kB SUnreclaim: 29568 kB KernelStack: 3712 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506832 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: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61380 MiB End job on node121 at 2019-09-17 10:19:20