Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 34 | 1224.13 | 155.102 |
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-4407082-1569343673.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407082-1569343673.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.69/0.73 c solve instance... 1.69/0.78 o 0 1.69/0.79 o 4 1.69/0.79 o 6 2.22/0.80 o 8 2.22/0.82 o 10 2.22/0.85 o 12 2.22/0.86 o 26 2.93/0.91 o 29 2.93/0.93 o 30 2.93/0.96 o 31 4.57/1.14 o 32 7.61/1.50 o 33 9.16/1.79 o 34 1223.50/155.08 s OPTIMUM FOUND 1223.50/155.08 v <instantiation> 1223.50/155.08 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> 1223.50/155.08 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> 1223.50/155.08 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 (13766 MiB free) memory of node 1: 16384 MiB (10861 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407082-1569343673/watcher-4407082-1569343673 -o /var/tmp/evaluation-result-4407082-1569343673/solver-4407082-1569343673 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2009945970 HOME/instance-4407082-1569343673.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16959, runsolver pid=16956 Current StackSize limit: 8192 KiB [startup+0.100192 s]* /proc/loadavg: 6.70 6.91 6.91 2/211 16980 /proc/meminfo: memFree=25201276/32770624 swapFree=66935948/67108860 [pid=16959] ppid=16956 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16959/stat : 16959 (xcsp3-exec) S 16956 16959 15168 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510281046 115843072 362 33554432000 4194304 5098028 140726938481264 140726938479368 139675847307900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30408704 140726938485585 140726938485845 140726938485845 140726938488774 0 /proc/16959/statm: 28282 362 304 221 0 87 0 [pid=16961] ppid=16959 vsize=28227396 memory=28932 CPUtime=0.12 cores=0-7 /proc/16961/stat : 16961 (java) S 16959 16959 15168 0 -1 1077944320 5710 0 0 0 11 1 0 0 20 0 20 0 510281047 28904853504 7233 33554432000 4194304 4196468 140727486058928 140727486041472 140273083850487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 /proc/16961/statm: 7056849 7233 3121 1 0 7019032 0 [pid=16961/tid=16962] ppid=16959 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16961/task/16962/stat : 16962 (java) R 16959 16959 15168 0 -1 4202560 3619 0 0 0 8 0 0 0 20 0 20 0 510281047 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273088083736 140273083862422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16963] ppid=16959 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16961/task/16963/stat : 16963 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273036471312 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16964] ppid=16959 vsize=28227396 memory=139785622230656 CPUtime=0 cores=0-7 /proc/16961/task/16964/stat : 16964 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273035418768 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16965] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16965/stat : 16965 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273034365712 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16966] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16966/stat : 16966 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273033313168 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16967] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16967/stat : 16967 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273032260112 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16968] ppid=16959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16968/stat : 16968 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273031207568 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16969] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16969/stat : 16969 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273030154512 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16970] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16970/stat : 16970 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 7233 33554432000 4194304 4196468 140727486058928 140273029101968 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16971] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16971/stat : 16971 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281049 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271211752176 140273083861634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16972] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16972/stat : 16972 (java) S 16959 16959 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510281050 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271210698400 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16973] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16973/stat : 16973 (java) S 16959 16959 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510281050 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271209645296 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16974] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16974/stat : 16974 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281052 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271208593872 140273083869083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16975] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16975/stat : 16975 (java) S 16959 16959 15168 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 510281052 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271207540976 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16976] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16976/stat : 16976 (java) S 16959 16959 15168 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510281052 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271206488432 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16977] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16977/stat : 16977 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281053 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271205435376 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16978] ppid=16959 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16961/task/16978/stat : 16978 (java) R 16959 16959 15168 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 510281053 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271204382832 140273076087614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16979] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16979/stat : 16979 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281053 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271203331040 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16980] ppid=16959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16980/stat : 16980 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281053 28904853504 7233 33554432000 4194304 4196468 140727486058928 140271202278576 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30380 KiB [startup+0.210557 s]* /proc/loadavg: 6.70 6.91 6.91 2/211 16980 /proc/meminfo: memFree=25187320/32770624 swapFree=66935948/67108860 [pid=16959] ppid=16956 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16959/stat : 16959 (xcsp3-exec) S 16956 16959 15168 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510281046 115843072 362 33554432000 4194304 5098028 140726938481264 140726938479368 139675847307900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30408704 140726938485585 140726938485845 140726938485845 140726938488774 0 /proc/16959/statm: 28282 362 304 221 0 87 0 [pid=16961] ppid=16959 vsize=28227396 memory=41296 CPUtime=0.33 cores=0-7 /proc/16961/stat : 16961 (java) S 16959 16959 15168 0 -1 1077944320 9518 0 0 0 29 4 0 0 20 0 20 0 510281047 28904853504 10324 33554432000 4194304 4196468 140727486058928 140727486041472 140273083850487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 /proc/16961/statm: 7056849 10324 3317 1 0 7019032 0 [pid=16961/tid=16962] ppid=16959 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16961/task/16962/stat : 16962 (java) R 16959 16959 15168 0 -1 4202560 6650 0 0 0 17 2 0 0 20 0 20 0 510281047 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273088084416 140273067930974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16963] ppid=16959 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/16961/task/16963/stat : 16963 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273036471312 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16964] ppid=16959 vsize=28227396 memory=139785626068904 CPUtime=0 cores=0-7 /proc/16961/task/16964/stat : 16964 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273035418768 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16965] ppid=16959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16965/stat : 16965 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273034365712 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16966] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16966/stat : 16966 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273033313168 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16967] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16967/stat : 16967 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273032260112 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16968] ppid=16959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16968/stat : 16968 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273031207568 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16969] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16969/stat : 16969 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273030154512 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16970] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16970/stat : 16970 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28904853504 10324 33554432000 4194304 4196468 140727486058928 140273029101968 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16971] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16971/stat : 16971 (java) S 16959 16959 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510281049 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271211752176 140273083861634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16972] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16972/stat : 16972 (java) S 16959 16959 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510281050 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271210698400 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16973] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16973/stat : 16973 (java) S 16959 16959 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510281050 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271209645296 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16974] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16974/stat : 16974 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281052 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271208593872 140273083869083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16975] ppid=16959 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16961/task/16975/stat : 16975 (java) S 16959 16959 15168 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 20 0 510281052 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271207540976 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16976] ppid=16959 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16961/task/16976/stat : 16976 (java) S 16959 16959 15168 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 510281052 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271206488432 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16977] ppid=16959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16977/stat : 16977 (java) S 16959 16959 15168 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510281053 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271205435376 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16978] ppid=16959 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/16961/task/16978/stat : 16978 (java) R 16959 16959 15168 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 510281053 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271204382832 140273063170816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16979] ppid=16959 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16979/stat : 16979 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281053 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271203331040 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16980] ppid=16959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16980/stat : 16980 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281053 28904853504 10324 33554432000 4194304 4196468 140727486058928 140271202278576 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42744 KiB [startup+0.310466 s]* /proc/loadavg: 6.70 6.91 6.91 3/211 16980 /proc/meminfo: memFree=25180140/32770624 swapFree=66935948/67108860 [pid=16959] ppid=16956 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16959/stat : 16959 (xcsp3-exec) S 16956 16959 15168 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510281046 115843072 362 33554432000 4194304 5098028 140726938481264 140726938479368 139675847307900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30408704 140726938485585 140726938485845 140726938485845 140726938488774 0 /proc/16959/statm: 28282 362 304 221 0 87 0 [pid=16961] ppid=16959 vsize=28231652 memory=49828 CPUtime=0.52 cores=0-7 /proc/16961/stat : 16961 (java) S 16959 16959 15168 0 -1 1077944320 10825 0 0 0 47 5 0 0 20 0 20 0 510281047 28909211648 12457 33554432000 4194304 4196468 140727486058928 140727486041472 140273083850487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 /proc/16961/statm: 7057913 12457 3357 1 0 7019032 0 [pid=16961/tid=16962] ppid=16959 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16961/task/16962/stat : 16962 (java) R 16959 16959 15168 0 -1 4202560 7754 0 0 0 26 3 0 0 20 0 20 0 510281047 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273088081600 140273083872413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16963] ppid=16959 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16963/stat : 16963 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273036471312 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16964] ppid=16959 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16964/stat : 16964 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273035418768 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16965] ppid=16959 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16965/stat : 16965 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273034365712 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16966] ppid=16959 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16966/stat : 16966 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273033313168 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16967] ppid=16959 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/16961/task/16967/stat : 16967 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273032260112 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16968] ppid=16959 vsize=28231652 memory=139785482105775 CPUtime=0 cores=0-7 /proc/16961/task/16968/stat : 16968 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273031207568 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16969] ppid=16959 vsize=28231652 memory=139785482108080 CPUtime=0 cores=0-7 /proc/16961/task/16969/stat : 16969 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273030154512 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16970] ppid=16959 vsize=28231652 memory=139785482110384 CPUtime=0 cores=0-7 /proc/16961/task/16970/stat : 16970 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28909211648 12457 33554432000 4194304 4196468 140727486058928 140273029101968 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16971] ppid=16959 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16971/stat : 16971 (java) S 16959 16959 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510281049 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271211752176 140273083861634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16972] ppid=16959 vsize=28231652 memory=279570964227728 CPUtime=0 cores=0-7 /proc/16961/task/16972/stat : 16972 (java) S 16959 16959 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510281050 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271210698400 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16973] ppid=16959 vsize=28231652 memory=279570964234640 CPUtime=0 cores=0-7 /proc/16961/task/16973/stat : 16973 (java) S 16959 16959 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510281050 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271209645296 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16974] ppid=16959 vsize=28231652 memory=279570964175920 CPUtime=0 cores=0-7 /proc/16961/task/16974/stat : 16974 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281052 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271208593872 140273083869083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16975] ppid=16959 vsize=28231652 memory=279570964248464 CPUtime=0.03 cores=0-7 /proc/16961/task/16975/stat : 16975 (java) R 16959 16959 15168 0 -1 4202560 618 0 0 0 3 0 0 0 20 0 20 0 510281052 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271207531360 140273061502352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16976] ppid=16959 vsize=28231652 memory=279570964255376 CPUtime=0.03 cores=0-7 /proc/16961/task/16976/stat : 16976 (java) S 16959 16959 15168 0 -1 1077944384 272 0 0 0 3 0 0 0 20 0 20 0 510281052 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271206488432 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16977] ppid=16959 vsize=28231652 memory=279570964253072 CPUtime=0.01 cores=0-7 /proc/16961/task/16977/stat : 16977 (java) S 16959 16959 15168 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 510281053 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271205435376 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16978] ppid=16959 vsize=28231652 memory=279570964269232 CPUtime=0.12 cores=0-7 /proc/16961/task/16978/stat : 16978 (java) S 16959 16959 15168 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 510281053 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271204382832 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16979] ppid=16959 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16979/stat : 16979 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281053 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271203331040 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16980] ppid=16959 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16961/task/16980/stat : 16980 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281053 28909211648 12457 33554432000 4194304 4196468 140727486058928 140271202278576 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51276 KiB [startup+0.700983 s] /proc/loadavg: 6.70 6.91 6.91 3/211 16980 /proc/meminfo: memFree=25168788/32770624 swapFree=66935948/67108860 [pid=16959] ppid=16956 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16959/stat : 16959 (xcsp3-exec) S 16956 16959 15168 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510281046 115843072 362 33554432000 4194304 5098028 140726938481264 140726938479368 139675847307900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30408704 140726938485585 140726938485845 140726938485845 140726938488774 0 /proc/16959/statm: 28282 362 304 221 0 87 0 [pid=16961] ppid=16959 vsize=28233776 memory=89156 CPUtime=1.69 cores=0-7 /proc/16961/stat : 16961 (java) S 16959 16959 15168 0 -1 1077944320 16078 0 0 0 162 7 0 0 20 0 20 0 510281047 28911386624 22289 33554432000 4194304 4196468 140727486058928 140727486041472 140273083850487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 /proc/16961/statm: 7058444 22289 3456 1 0 7019544 0 [pid=16961/tid=16962] ppid=16959 vsize=28233776 memory=279570964627120 CPUtime=0.67 cores=0-7 /proc/16961/task/16962/stat : 16962 (java) R 16959 16959 15168 0 -1 4202560 9225 0 0 0 63 4 0 0 20 0 20 0 510281047 28911386624 22289 33554432000 4194304 4196468 140727486058928 140273088087088 140273067930974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16963] ppid=16959 vsize=28233776 memory=139785482314608 CPUtime=0 cores=0-7 /proc/16961/task/16963/stat : 16963 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510281048 28911386624 22289 33554432000 4194304 4196468 140727486058928 140273036471312 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16964] ppid=16959 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16964/stat : 16964 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510281048 28911386624 22289 33554432000 4194304 4196468 140727486058928 140273035418768 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16965] ppid=16959 vsize=28233776 memory=1128 CPUtime=0 cores=0-7 /proc/16961/task/16965/stat : 16965 (java) S 16959 16959 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510281048 28911386624 22289 33554432000 4194304 4196468 140727486058928 140273034365712 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 ################ # More data... # ################ [pid=16961/tid=16978] ppid=16959 vsize=28770392 memory=976208 CPUtime=0.8 cores=0-7 /proc/16961/task/16978/stat : 16978 (java) S 16959 16959 15168 0 -1 1077944384 8660 0 0 0 79 1 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271204382832 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16979] ppid=16959 vsize=28770392 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/16961/task/16979/stat : 16979 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271203331040 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16980] ppid=16959 vsize=28770392 memory=970668 CPUtime=0.04 cores=0-7 /proc/16961/task/16980/stat : 16980 (java) S 16959 16959 15168 0 -1 1077944384 1227 0 0 0 2 2 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271202278576 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17085] ppid=16959 vsize=28770392 memory=1436 CPUtime=150.47 cores=0-7 /proc/16961/task/17085/stat : 17085 (java) R 16959 16959 15168 0 -1 4202560 3806 0 0 0 15045 2 0 0 20 0 28 0 510281225 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271192247144 140272716227836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17086] ppid=16959 vsize=28770392 memory=1448 CPUtime=150.32 cores=0-7 /proc/16961/task/17086/stat : 17086 (java) R 16959 16959 15168 0 -1 4202560 3376 0 0 0 15030 2 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271181725872 140273063575546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17087] ppid=16959 vsize=28770392 memory=971180 CPUtime=150.22 cores=0-7 /proc/16961/task/17087/stat : 17087 (java) R 16959 16959 15168 0 -1 4202560 3644 0 0 0 15018 4 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271190139184 140273068189392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17088] ppid=16959 vsize=28770392 memory=2520 CPUtime=150.01 cores=0-7 /proc/16961/task/17088/stat : 17088 (java) R 16959 16959 15168 0 -1 4202560 19861 0 0 0 14994 7 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271189086320 140272718227849 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17089] ppid=16959 vsize=28770392 memory=279570964826624 CPUtime=149.76 cores=0-7 /proc/16961/task/17089/stat : 17089 (java) R 16959 16959 15168 0 -1 4202560 6595 0 0 0 14972 4 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271188036192 140272714707475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17090] ppid=16959 vsize=28770392 memory=-3967418655009478193 CPUtime=149.85 cores=0-7 /proc/16961/task/17090/stat : 17090 (java) R 16959 16959 15168 0 -1 4202560 9730 0 0 0 14980 5 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271185927776 140272717091165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17091] ppid=16959 vsize=28770392 memory=1448 CPUtime=150.12 cores=0-7 /proc/16961/task/17091/stat : 17091 (java) R 16959 16959 15168 0 -1 4202560 8210 0 0 0 15009 3 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271184875536 140272717315369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17092] ppid=16959 vsize=28770392 memory=886492 CPUtime=150.27 cores=0-7 /proc/16961/task/17092/stat : 17092 (java) R 16959 16959 15168 0 -1 4202560 39329 0 0 0 15013 14 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271193297264 140272714825152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 Current children cumulated CPU time: 1218.63 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 978268 KiB [startup+154.801 s] /proc/loadavg: 8.52 7.54 7.14 9/219 17102 /proc/meminfo: memFree=24254680/32770624 swapFree=66935948/67108860 [pid=16959] ppid=16956 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16959/stat : 16959 (xcsp3-exec) S 16956 16959 15168 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510281046 115843072 362 33554432000 4194304 5098028 140726938481264 140726938479368 139675847307900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30408704 140726938485585 140726938485845 140726938485845 140726938488774 0 /proc/16959/statm: 28282 362 304 221 0 87 0 [pid=16961] ppid=16959 vsize=28770392 memory=976820 CPUtime=1221.83 cores=0-7 /proc/16961/stat : 16961 (java) S 16959 16959 15168 0 -1 1077944320 181094 0 0 0 122053 130 0 0 20 0 28 0 510281047 29460881408 244205 33554432000 4194304 4196468 140727486058928 140727486041472 140273083850487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 /proc/16961/statm: 7192598 244205 3547 1 0 7153698 0 [pid=16961/tid=16962] ppid=16959 vsize=28770392 memory=0 CPUtime=0.73 cores=0-7 /proc/16961/task/16962/stat : 16962 (java) S 16959 16959 15168 0 -1 1077944384 9335 0 0 0 69 4 0 0 20 0 28 0 510281047 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273088091264 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16963] ppid=16959 vsize=28770392 memory=0 CPUtime=0.66 cores=0-7 /proc/16961/task/16963/stat : 16963 (java) S 16959 16959 15168 0 -1 1077944384 3028 0 0 0 59 7 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273036471312 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16964] ppid=16959 vsize=28770392 memory=0 CPUtime=0.66 cores=0-7 /proc/16961/task/16964/stat : 16964 (java) S 16959 16959 15168 0 -1 1077944384 2726 0 0 0 58 8 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273035418768 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16965] ppid=16959 vsize=28770392 memory=145788369929366 CPUtime=0.66 cores=0-7 /proc/16961/task/16965/stat : 16965 (java) S 16959 16959 15168 0 -1 1077944384 3025 0 0 0 58 8 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273034365712 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16966] ppid=16959 vsize=28770392 memory=1980 CPUtime=0.65 cores=0-7 /proc/16961/task/16966/stat : 16966 (java) S 16959 16959 15168 0 -1 1077944384 1369 0 0 0 58 7 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273033313168 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16967] ppid=16959 vsize=28770392 memory=2520 CPUtime=0.67 cores=0-7 /proc/16961/task/16967/stat : 16967 (java) S 16959 16959 15168 0 -1 1077944384 2672 0 0 0 58 9 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273032260112 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16968] ppid=16959 vsize=28770392 memory=1760 CPUtime=0.64 cores=0-7 /proc/16961/task/16968/stat : 16968 (java) S 16959 16959 15168 0 -1 1077944384 2752 0 0 0 58 6 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273031207568 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16969] ppid=16959 vsize=28770392 memory=1660 CPUtime=0.66 cores=0-7 /proc/16961/task/16969/stat : 16969 (java) S 16959 16959 15168 0 -1 1077944384 1795 0 0 0 58 8 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273030154512 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16970] ppid=16959 vsize=28770392 memory=111632 CPUtime=0.66 cores=0-7 /proc/16961/task/16970/stat : 16970 (java) S 16959 16959 15168 0 -1 1077944384 3681 0 0 0 59 7 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273029101968 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16971] ppid=16959 vsize=28770392 memory=796 CPUtime=0.42 cores=0-7 /proc/16961/task/16971/stat : 16971 (java) S 16959 16959 15168 0 -1 1077944384 14911 0 0 0 35 7 0 0 20 0 28 0 510281049 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271211752176 140273083861634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16972] ppid=16959 vsize=28770392 memory=11528 CPUtime=0 cores=0-7 /proc/16961/task/16972/stat : 16972 (java) S 16959 16959 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510281050 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271210698464 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16973] ppid=16959 vsize=28770392 memory=780 CPUtime=0 cores=0-7 /proc/16961/task/16973/stat : 16973 (java) S 16959 16959 15168 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510281050 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271209645296 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16974] ppid=16959 vsize=28770392 memory=776 CPUtime=0 cores=0-7 /proc/16961/task/16974/stat : 16974 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510281052 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271208593872 140273083869083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16975] ppid=16959 vsize=28770392 memory=1560 CPUtime=1.53 cores=0-7 /proc/16961/task/16975/stat : 16975 (java) S 16959 16959 15168 0 -1 1077944384 7173 0 0 0 152 1 0 0 20 0 28 0 510281052 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271207540976 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16976] ppid=16959 vsize=28770392 memory=3592 CPUtime=1.71 cores=0-7 /proc/16961/task/16976/stat : 16976 (java) S 16959 16959 15168 0 -1 1077944384 12238 0 0 0 169 2 0 0 20 0 28 0 510281052 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271206488432 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16977] ppid=16959 vsize=28770392 memory=1128 CPUtime=1.53 cores=0-7 /proc/16961/task/16977/stat : 16977 (java) S 16959 16959 15168 0 -1 1077944384 8536 0 0 0 151 2 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271205435376 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16978] ppid=16959 vsize=28770392 memory=1436 CPUtime=0.8 cores=0-7 /proc/16961/task/16978/stat : 16978 (java) S 16959 16959 15168 0 -1 1077944384 8660 0 0 0 79 1 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271204382832 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16979] ppid=16959 vsize=28770392 memory=880 CPUtime=0 cores=0-7 /proc/16961/task/16979/stat : 16979 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271203331040 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16980] ppid=16959 vsize=28770392 memory=1980 CPUtime=0.04 cores=0-7 /proc/16961/task/16980/stat : 16980 (java) S 16959 16959 15168 0 -1 1077944384 1227 0 0 0 2 2 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271202278576 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17085] ppid=16959 vsize=28770392 memory=2520 CPUtime=150.87 cores=0-7 /proc/16961/task/17085/stat : 17085 (java) R 16959 16959 15168 0 -1 4202560 3808 0 0 0 15085 2 0 0 20 0 28 0 510281225 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271192247144 140272715186187 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17086] ppid=16959 vsize=28770392 memory=1760 CPUtime=150.72 cores=0-7 /proc/16961/task/17086/stat : 17086 (java) R 16959 16959 15168 0 -1 4202560 3377 0 0 0 15070 2 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271181725872 140272715642457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17087] ppid=16959 vsize=28770392 memory=1660 CPUtime=150.62 cores=0-7 /proc/16961/task/17087/stat : 17087 (java) R 16959 16959 15168 0 -1 4202560 3646 0 0 0 15058 4 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271190139184 140272715115060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17088] ppid=16959 vsize=28770392 memory=111632 CPUtime=150.41 cores=0-7 /proc/16961/task/17088/stat : 17088 (java) R 16959 16959 15168 0 -1 4202560 19861 0 0 0 15034 7 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271189086320 140273069918612 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17089] ppid=16959 vsize=28770392 memory=796 CPUtime=150.16 cores=0-7 /proc/16961/task/17089/stat : 17089 (java) R 16959 16959 15168 0 -1 4202560 6595 0 0 0 15012 4 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271188036080 140272715643030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17090] ppid=16959 vsize=28770392 memory=0 CPUtime=150.25 cores=0-7 /proc/16961/task/17090/stat : 17090 (java) R 16959 16959 15168 0 -1 4202560 9732 0 0 0 15020 5 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271185927776 140272717055298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17091] ppid=16959 vsize=28770392 memory=6944656592455359580 CPUtime=150.52 cores=0-7 /proc/16961/task/17091/stat : 17091 (java) R 16959 16959 15168 0 -1 4202560 8212 0 0 0 15049 3 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271184875536 140272714830604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17092] ppid=16959 vsize=28770392 memory=139785483006562 CPUtime=150.67 cores=0-7 /proc/16961/task/17092/stat : 17092 (java) R 16959 16959 15168 0 -1 4202560 39331 0 0 0 15053 14 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271193297264 140273069918612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 Current children cumulated CPU time: 1221.83 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 978268 KiB [startup+155.002 s]* /proc/loadavg: 8.55 7.56 7.15 9/219 17102 /proc/meminfo: memFree=24252520/32770624 swapFree=66935948/67108860 [pid=16959] ppid=16956 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16959/stat : 16959 (xcsp3-exec) S 16956 16959 15168 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510281046 115843072 362 33554432000 4194304 5098028 140726938481264 140726938479368 139675847307900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30408704 140726938485585 140726938485845 140726938485845 140726938488774 0 /proc/16959/statm: 28282 362 304 221 0 87 0 [pid=16961] ppid=16959 vsize=28770392 memory=976820 CPUtime=1223.5 cores=0-7 /proc/16961/stat : 16961 (java) S 16959 16959 15168 0 -1 1077944320 181097 0 0 0 122220 130 0 0 20 0 28 0 510281047 29460881408 244205 33554432000 4194304 4196468 140727486058928 140727486041472 140273083850487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 /proc/16961/statm: 7192598 244205 3547 1 0 7153698 0 [pid=16961/tid=16962] ppid=16959 vsize=28770392 memory=6791534058613427641 CPUtime=0.73 cores=0-7 /proc/16961/task/16962/stat : 16962 (java) S 16959 16959 15168 0 -1 1077944384 9335 0 0 0 69 4 0 0 20 0 28 0 510281047 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273088091264 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16963] ppid=16959 vsize=28770392 memory=4872558044660077418 CPUtime=0.66 cores=0-7 /proc/16961/task/16963/stat : 16963 (java) S 16959 16959 15168 0 -1 1077944384 3028 0 0 0 59 7 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273036471312 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16964] ppid=16959 vsize=28770392 memory=0 CPUtime=0.66 cores=0-7 /proc/16961/task/16964/stat : 16964 (java) S 16959 16959 15168 0 -1 1077944384 2726 0 0 0 58 8 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273035418768 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16965] ppid=16959 vsize=28770392 memory=0 CPUtime=0.66 cores=0-7 /proc/16961/task/16965/stat : 16965 (java) S 16959 16959 15168 0 -1 1077944384 3025 0 0 0 58 8 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273034365712 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16966] ppid=16959 vsize=28770392 memory=0 CPUtime=0.65 cores=0-7 /proc/16961/task/16966/stat : 16966 (java) S 16959 16959 15168 0 -1 1077944384 1369 0 0 0 58 7 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273033313168 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16967] ppid=16959 vsize=28770392 memory=0 CPUtime=0.67 cores=0-7 /proc/16961/task/16967/stat : 16967 (java) S 16959 16959 15168 0 -1 1077944384 2672 0 0 0 58 9 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273032260112 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16968] ppid=16959 vsize=28770392 memory=0 CPUtime=0.64 cores=0-7 /proc/16961/task/16968/stat : 16968 (java) S 16959 16959 15168 0 -1 1077944384 2752 0 0 0 58 6 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273031207568 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16969] ppid=16959 vsize=28770392 memory=0 CPUtime=0.66 cores=0-7 /proc/16961/task/16969/stat : 16969 (java) S 16959 16959 15168 0 -1 1077944384 1795 0 0 0 58 8 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273030154512 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16970] ppid=16959 vsize=28770392 memory=0 CPUtime=0.66 cores=0-7 /proc/16961/task/16970/stat : 16970 (java) S 16959 16959 15168 0 -1 1077944384 3681 0 0 0 59 7 0 0 20 0 28 0 510281048 29460881408 244205 33554432000 4194304 4196468 140727486058928 140273029101968 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16971] ppid=16959 vsize=28770392 memory=0 CPUtime=0.42 cores=0-7 /proc/16961/task/16971/stat : 16971 (java) S 16959 16959 15168 0 -1 1077944384 14911 0 0 0 35 7 0 0 20 0 28 0 510281049 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271211752176 140273083861634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16972] ppid=16959 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16972/stat : 16972 (java) S 16959 16959 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510281050 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271210698464 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16973] ppid=16959 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16973/stat : 16973 (java) S 16959 16959 15168 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510281050 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271209645296 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16974] ppid=16959 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16974/stat : 16974 (java) S 16959 16959 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510281052 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271208593872 140273083869083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16975] ppid=16959 vsize=28770392 memory=0 CPUtime=1.53 cores=0-7 /proc/16961/task/16975/stat : 16975 (java) S 16959 16959 15168 0 -1 1077944384 7173 0 0 0 152 1 0 0 20 0 28 0 510281052 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271207540976 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16976] ppid=16959 vsize=28770392 memory=0 CPUtime=1.71 cores=0-7 /proc/16961/task/16976/stat : 16976 (java) S 16959 16959 15168 0 -1 1077944384 12238 0 0 0 169 2 0 0 20 0 28 0 510281052 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271206488432 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16977] ppid=16959 vsize=28770392 memory=0 CPUtime=1.53 cores=0-7 /proc/16961/task/16977/stat : 16977 (java) S 16959 16959 15168 0 -1 1077944384 8536 0 0 0 151 2 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271205435376 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16978] ppid=16959 vsize=28770392 memory=0 CPUtime=0.8 cores=0-7 /proc/16961/task/16978/stat : 16978 (java) S 16959 16959 15168 0 -1 1077944384 8660 0 0 0 79 1 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271204382832 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16979] ppid=16959 vsize=28770392 memory=0 CPUtime=0 cores=0-7 /proc/16961/task/16979/stat : 16979 (java) S 16959 16959 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271203331040 140273083860693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=16980] ppid=16959 vsize=28770392 memory=3512 CPUtime=0.04 cores=0-7 /proc/16961/task/16980/stat : 16980 (java) S 16959 16959 15168 0 -1 1077944384 1227 0 0 0 2 2 0 0 20 0 28 0 510281053 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271202278576 140273083861634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17085] ppid=16959 vsize=28770392 memory=64988 CPUtime=151.07 cores=0-7 /proc/16961/task/17085/stat : 17085 (java) R 16959 16959 15168 0 -1 4202560 3808 0 0 0 15105 2 0 0 20 0 28 0 510281225 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271192247144 140272715183155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17086] ppid=16959 vsize=28770392 memory=2020 CPUtime=150.93 cores=0-7 /proc/16961/task/17086/stat : 17086 (java) R 16959 16959 15168 0 -1 4202560 3378 0 0 0 15091 2 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271181725872 140272715184298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17087] ppid=16959 vsize=28770392 memory=988 CPUtime=150.83 cores=0-7 /proc/16961/task/17087/stat : 17087 (java) R 16959 16959 15168 0 -1 4202560 3647 0 0 0 15079 4 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271190139184 140272715453440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17088] ppid=16959 vsize=28770392 memory=1368 CPUtime=150.62 cores=0-7 /proc/16961/task/17088/stat : 17088 (java) R 16959 16959 15168 0 -1 4202560 19861 0 0 0 15055 7 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271189086320 140272715184616 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17089] ppid=16959 vsize=28770392 memory=1056 CPUtime=150.37 cores=0-7 /proc/16961/task/17089/stat : 17089 (java) R 16959 16959 15168 0 -1 4202560 6595 0 0 0 15033 4 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271188036080 140272710293304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17090] ppid=16959 vsize=28770392 memory=1716 CPUtime=150.47 cores=0-7 /proc/16961/task/17090/stat : 17090 (java) R 16959 16959 15168 0 -1 4202560 9732 0 0 0 15042 5 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271185927776 140272715184616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17091] ppid=16959 vsize=28770392 memory=6056 CPUtime=150.73 cores=0-7 /proc/16961/task/17091/stat : 17091 (java) R 16959 16959 15168 0 -1 4202560 8213 0 0 0 15070 3 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271184875536 140272715186201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 [pid=16961/tid=17092] ppid=16959 vsize=28770392 memory=11528 CPUtime=150.88 cores=0-7 /proc/16961/task/17092/stat : 17092 (java) R 16959 16959 15168 0 -1 4202560 39331 0 0 0 15074 14 0 0 20 0 28 0 510281226 29460881408 244205 33554432000 4194304 4196468 140727486058928 140271193297264 140272710293240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140727486067670 140727486067846 140727486067846 140727486070735 0 Current children cumulated CPU time: 1223.5 s Current children cumulated vsize: 28883520 KiB Current children cumulated memory: 978268 KiB Child status: 0 Real time (s): 155.102 CPU time (s): 1224.13 CPU user time (s): 1222.81 CPU system time (s): 1.32462 CPU usage (%): 789.243 Max. virtual memory (cumulated for all children) (KiB): 28883520 Max. memory (cumulated for all children) (KiB): 978268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1222.81 system time used= 1.32462 maximum resident set size= 977336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 181985 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37112 involuntary context switches= 16056 # summary of solver processes directly reported to runsolver: # pid: 16959 # total CPU time (s): 1224.13 # total CPU user time (s): 1222.81 # total CPU system time (s): 1.32462 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.45786 second user time and 1.76484 second system time The end
Begin job on node147 at 2019-09-24 18:47:09 IDJOB=4407082 IDBENCH=115954 IDSOLVER=2871 FILE ID=node147/4407082-1569343673 RUNJOBID= node147-1569335935-15195 PBS_JOBID= 21705050 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407082-1569343673/watcher-4407082-1569343673 -o /var/tmp/evaluation-result-4407082-1569343673/solver-4407082-1569343673 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2009945970 HOME/instance-4407082-1569343673.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5296a674fcd135b0317e95ffe6d81fd1 RANDOM SEED=2009945970 node147.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.52 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.52 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.52 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.52 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: 25219624 kB MemAvailable: 31774916 kB Buffers: 137012 kB Cached: 6478332 kB SwapCached: 68688 kB Active: 3291260 kB Inactive: 3397056 kB Active(anon): 3932 kB Inactive(anon): 126840 kB Active(file): 3287328 kB Inactive(file): 3270216 kB Unevictable: 107772 kB Mlocked: 107772 kB SwapTotal: 67108860 kB SwapFree: 66935948 kB Dirty: 26356 kB Writeback: 0 kB AnonPages: 113568 kB Mapped: 56808 kB Shmem: 49088 kB Slab: 455328 kB SReclaimable: 426208 kB SUnreclaim: 29120 kB KernelStack: 3408 kB PageTables: 5700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node147 at 2019-09-24 18:49:44