Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 39 | 933.536 | 118.433 |
Name | StillLife/StillLife-m1-s1/ StillLife-07-10.xml |
MD5SUM | ebe39bf25244fda615bb1bf8fe88192a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 31.2202 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of constraints | 166 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":70},{"size":9,"count":70}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":70},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":40}] |
Number of extensional constraints | 96 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":96},{"type":"sum","count":70}] |
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-4399880-1568700848.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399880-1568700848.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.69/0.75 c solve instance... 2.22/0.81 o 0 2.22/0.81 o 4 2.22/0.82 o 6 2.22/0.84 o 10 2.22/0.85 o 33 5.22/1.23 o 34 5.22/1.24 o 35 9.10/1.79 o 36 15.33/2.56 o 37 27.26/4.04 o 38 27.26/4.05 o 39 933.37/118.41 s OPTIMUM FOUND 933.37/118.41 v <instantiation> 933.37/118.41 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[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[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[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[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[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[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] 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[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[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[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[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[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[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] </list> 933.37/118.41 v <values>1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 1 3 3 4 3 3 4 2 3 4 2 3 3 4 3 3 5 3 5 3 2 4 5 5 5 5 5 3 5 5 4 2 3 2 2 2 3 4 3 3 2 3 5 5 5 5 5 3 5 5 3 4 3 4 2 3 5 3 5 3 4 2 2 4 2 4 3 2 4 2 2 </values> 933.37/118.41 v </instantiation>
OK 39
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 (14789 MiB free) memory of node 1: 16384 MiB (15694 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399880-1568700848/watcher-4399880-1568700848 -o /tmp/evaluation-result-4399880-1568700848/solver-4399880-1568700848 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1967000912 HOME/instance-4399880-1568700848.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=1934, runsolver pid=1931 Current StackSize limit: 8192 KiB [startup+0.100116 s]* /proc/loadavg: 3.70 5.10 6.68 2/211 1956 /proc/meminfo: memFree=31199896/32770624 swapFree=66977412/67108860 [pid=1934] ppid=1931 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1934/stat : 1934 (xcsp3-exec) S 1931 1934 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446341837 115843072 364 33554432000 4194304 5098028 140735805237152 140735805235256 140276170760828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33832960 140735805240181 140735805240425 140735805240425 140735805243338 0 /proc/1934/statm: 28282 364 305 221 0 87 0 [pid=1936] ppid=1934 vsize=28227396 memory=29108 CPUtime=0.12 cores=0-7 /proc/1936/stat : 1936 (java) S 1934 1934 1890 0 -1 1077944320 5751 0 0 0 11 1 0 0 20 0 20 0 446341837 28904853504 7277 33554432000 4194304 4196468 140720971416432 140720971398976 140658157727479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 /proc/1936/statm: 7056849 7277 3121 1 0 7019032 0 [pid=1936/tid=1937] ppid=1934 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7 /proc/1936/task/1937/stat : 1937 (java) R 1934 1934 1890 0 -1 4202560 3652 0 0 0 8 1 0 0 20 0 20 0 446341837 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658161966720 140658157739414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1938] ppid=1934 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1936/task/1938/stat : 1938 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658110348432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1939] ppid=1934 vsize=28227396 memory=140081589552768 CPUtime=0 cores=0-7 /proc/1936/task/1939/stat : 1939 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658109295632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1940] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1940/stat : 1940 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658108242832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1941] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1941/stat : 1941 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658107190032 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1942] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1942/stat : 1942 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658106137232 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1943] ppid=1934 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1936/task/1943/stat : 1943 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658105084432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1944] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1944/stat : 1944 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658104031632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1945] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1945/stat : 1945 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 7277 33554432000 4194304 4196468 140720971416432 140658102978832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1946] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1946/stat : 1946 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341840 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656755334000 140658157738626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1947] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1947/stat : 1947 (java) S 1934 1934 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446341840 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656754279968 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1948] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1948/stat : 1948 (java) S 1934 1934 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446341840 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656753227120 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1949] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1949/stat : 1949 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656752175440 140658157746075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1950] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1950/stat : 1950 (java) S 1934 1934 1890 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656751122800 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1951] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1951/stat : 1951 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656750070000 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1952] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1952/stat : 1952 (java) S 1934 1934 1890 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656749017200 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1954] ppid=1934 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1936/task/1954/stat : 1954 (java) S 1934 1934 1890 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656747964400 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1955] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1955/stat : 1955 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656746912864 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1956] ppid=1934 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1936/task/1956/stat : 1956 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 7277 33554432000 4194304 4196468 140720971416432 140656745860144 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30564 KiB [startup+0.210208 s]* /proc/loadavg: 3.70 5.10 6.68 2/211 1956 /proc/meminfo: memFree=31185516/32770624 swapFree=66977412/67108860 [pid=1934] ppid=1931 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1934/stat : 1934 (xcsp3-exec) S 1931 1934 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446341837 115843072 364 33554432000 4194304 5098028 140735805237152 140735805235256 140276170760828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33832960 140735805240181 140735805240425 140735805240425 140735805243338 0 /proc/1934/statm: 28282 364 305 221 0 87 0 [pid=1936] ppid=1934 vsize=28227396 memory=40844 CPUtime=0.33 cores=0-7 /proc/1936/stat : 1936 (java) S 1934 1934 1890 0 -1 1077944320 9515 0 0 0 30 3 0 0 20 0 20 0 446341837 28904853504 10211 33554432000 4194304 4196468 140720971416432 140720971398976 140658157727479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 /proc/1936/statm: 7056849 10211 3248 1 0 7019032 0 [pid=1936/tid=1937] ppid=1934 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/1936/task/1937/stat : 1937 (java) R 1934 1934 1890 0 -1 4202560 6652 0 0 0 17 2 0 0 20 0 20 0 446341837 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658161964544 140658157739414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1938] ppid=1934 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7 /proc/1936/task/1938/stat : 1938 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658110348432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1939] ppid=1934 vsize=28227396 memory=140081589573453 CPUtime=0 cores=0-7 /proc/1936/task/1939/stat : 1939 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658109295632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1940] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1940/stat : 1940 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658108242832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1941] ppid=1934 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1936/task/1941/stat : 1941 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658107190032 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1942] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1942/stat : 1942 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658106137232 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1943] ppid=1934 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1936/task/1943/stat : 1943 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658105084432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1944] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1944/stat : 1944 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658104031632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1945] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1945/stat : 1945 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28904853504 10211 33554432000 4194304 4196468 140720971416432 140658102978832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1946] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1946/stat : 1946 (java) S 1934 1934 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446341840 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656755334000 140658157738626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1947] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1947/stat : 1947 (java) S 1934 1934 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446341840 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656754279968 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1948] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1948/stat : 1948 (java) S 1934 1934 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446341840 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656753227120 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1949] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1949/stat : 1949 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656752175440 140658157746075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1950] ppid=1934 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1936/task/1950/stat : 1950 (java) S 1934 1934 1890 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656751122800 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1951] ppid=1934 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1936/task/1951/stat : 1951 (java) S 1934 1934 1890 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656750070000 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1952] ppid=1934 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1936/task/1952/stat : 1952 (java) S 1934 1934 1890 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656749017200 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1954] ppid=1934 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/1936/task/1954/stat : 1954 (java) R 1934 1934 1890 0 -1 4202560 768 0 0 0 7 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656747964400 140658136288805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1955] ppid=1934 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1955/stat : 1955 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656746912864 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1956] ppid=1934 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1936/task/1956/stat : 1956 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341843 28904853504 10211 33554432000 4194304 4196468 140720971416432 140656745860144 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42300 KiB [startup+0.309732 s]* /proc/loadavg: 3.70 5.10 6.68 5/211 1956 /proc/meminfo: memFree=31178492/32770624 swapFree=66977412/67108860 [pid=1934] ppid=1931 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1934/stat : 1934 (xcsp3-exec) S 1931 1934 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446341837 115843072 364 33554432000 4194304 5098028 140735805237152 140735805235256 140276170760828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33832960 140735805240181 140735805240425 140735805240425 140735805243338 0 /proc/1934/statm: 28282 364 305 221 0 87 0 [pid=1936] ppid=1934 vsize=28231652 memory=49960 CPUtime=0.52 cores=0-7 /proc/1936/stat : 1936 (java) S 1934 1934 1890 0 -1 1077944320 10843 0 0 0 48 4 0 0 20 0 20 0 446341837 28909211648 12490 33554432000 4194304 4196468 140720971416432 140720971398976 140658157727479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 /proc/1936/statm: 7057913 12490 3355 1 0 7019032 0 [pid=1936/tid=1937] ppid=1934 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/1936/task/1937/stat : 1937 (java) R 1934 1934 1890 0 -1 4202560 7771 0 0 0 27 3 0 0 20 0 20 0 446341837 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658161958592 140658141807966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1938] ppid=1934 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1936/task/1938/stat : 1938 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658110348432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1939] ppid=1934 vsize=28231652 memory=2832 CPUtime=0 cores=0-7 /proc/1936/task/1939/stat : 1939 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658109295632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1940] ppid=1934 vsize=28231652 memory=1084 CPUtime=0 cores=0-7 /proc/1936/task/1940/stat : 1940 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658108242832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1941] ppid=1934 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/1936/task/1941/stat : 1941 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658107190032 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1942] ppid=1934 vsize=28231652 memory=14048 CPUtime=0 cores=0-7 /proc/1936/task/1942/stat : 1942 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658106137232 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1943] ppid=1934 vsize=28231652 memory=25200 CPUtime=0 cores=0-7 /proc/1936/task/1943/stat : 1943 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658105084432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1944] ppid=1934 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/1936/task/1944/stat : 1944 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658104031632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1945] ppid=1934 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1945/stat : 1945 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28909211648 12530 33554432000 4194304 4196468 140720971416432 140658102978832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1946] ppid=1934 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1946/stat : 1946 (java) S 1934 1934 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446341840 28909211648 12530 33554432000 4194304 4196468 140720971416432 140656755334000 140658157738626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1947] ppid=1934 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1947/stat : 1947 (java) S 1934 1934 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446341840 28909211648 12530 33554432000 4194304 4196468 140720971416432 140656754279968 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1948] ppid=1934 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1948/stat : 1948 (java) S 1934 1934 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446341840 28909211648 12530 33554432000 4194304 4196468 140720971416432 140656753227120 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1949] ppid=1934 vsize=28231652 memory=140081432200655 CPUtime=0 cores=0-7 /proc/1936/task/1949/stat : 1949 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341843 28909211648 12530 33554432000 4194304 4196468 140720971416432 140656752175440 140658157746075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1950] ppid=1934 vsize=28231652 memory=67 CPUtime=0.03 cores=0-7 /proc/1936/task/1950/stat : 1950 (java) R 1934 1934 1890 0 -1 4202560 677 0 0 0 3 0 0 0 20 0 20 0 446341843 28909211648 12530 33554432000 4194304 4196468 140720971416432 140656751112800 140658142853793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1951] ppid=1934 vsize=28231652 memory=51172 CPUtime=0.02 cores=0-7 /proc/1936/task/1951/stat : 1951 (java) S 1934 1934 1890 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 20 0 446341843 28909211648 12559 33554432000 4194304 4196468 140720971416432 140656750070000 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1952] ppid=1934 vsize=28231652 memory=53476 CPUtime=0.02 cores=0-7 /proc/1936/task/1952/stat : 1952 (java) S 1934 1934 1890 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 20 0 446341843 28909211648 12559 33554432000 4194304 4196468 140720971416432 140656749017200 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1954] ppid=1934 vsize=28231652 memory=55780 CPUtime=0.12 cores=0-7 /proc/1936/task/1954/stat : 1954 (java) S 1934 1934 1890 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 20 0 446341843 28909211648 12559 33554432000 4194304 4196468 140720971416432 140656747964400 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1955] ppid=1934 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7 /proc/1936/task/1955/stat : 1955 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446341843 28909211648 12559 33554432000 4194304 4196468 140720971416432 140656746912864 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1956] ppid=1934 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7 /proc/1936/task/1956/stat : 1956 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341843 28909211648 12559 33554432000 4194304 4196468 140720971416432 140656745860144 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51416 KiB [startup+0.700955 s] /proc/loadavg: 3.70 5.10 6.68 4/211 1956 /proc/meminfo: memFree=31168136/32770624 swapFree=66977412/67108860 [pid=1934] ppid=1931 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1934/stat : 1934 (xcsp3-exec) S 1931 1934 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446341837 115843072 364 33554432000 4194304 5098028 140735805237152 140735805235256 140276170760828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33832960 140735805240181 140735805240425 140735805240425 140735805243338 0 /proc/1934/statm: 28282 364 305 221 0 87 0 [pid=1936] ppid=1934 vsize=28233776 memory=87884 CPUtime=1.69 cores=0-7 /proc/1936/stat : 1936 (java) S 1934 1934 1890 0 -1 1077944320 15681 0 0 0 163 6 0 0 20 0 20 0 446341837 28911386624 21971 33554432000 4194304 4196468 140720971416432 140720971398976 140658157727479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 /proc/1936/statm: 7058444 21971 3459 1 0 7019544 0 [pid=1936/tid=1937] ppid=1934 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/1936/task/1937/stat : 1937 (java) R 1934 1934 1890 0 -1 4202560 9224 0 0 0 64 4 0 0 20 0 20 0 446341837 28911386624 21971 33554432000 4194304 4196468 140720971416432 140658161964784 140657779835617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1938] ppid=1934 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1938/stat : 1938 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28911386624 21971 33554432000 4194304 4196468 140720971416432 140658110348432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1939] ppid=1934 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1939/stat : 1939 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446341838 28911386624 21971 33554432000 4194304 4196468 140720971416432 140658109295632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1940] ppid=1934 vsize=28233776 memory=2004 CPUtime=0 cores=0-7 /proc/1936/task/1940/stat : 1940 (java) S 1934 1934 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446341838 28911386624 21971 33554432000 4194304 4196468 140720971416432 140658108242832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 ################ # More data... # ################ [pid=1936/tid=1954] ppid=1934 vsize=28769364 memory=924 CPUtime=0.72 cores=0-7 /proc/1936/task/1954/stat : 1954 (java) S 1934 1934 1890 0 -1 1077944384 6665 0 0 0 71 1 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656747964400 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1955] ppid=1934 vsize=28769364 memory=14048 CPUtime=0 cores=0-7 /proc/1936/task/1955/stat : 1955 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656746912864 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1956] ppid=1934 vsize=28769364 memory=25200 CPUtime=0.02 cores=0-7 /proc/1936/task/1956/stat : 1956 (java) S 1934 1934 1890 0 -1 1077944384 1149 0 0 0 0 2 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656745860144 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2047] ppid=1934 vsize=28769364 memory=2120 CPUtime=112.03 cores=0-7 /proc/1936/task/2047/stat : 2047 (java) R 1934 1934 1890 0 -1 4202560 1987 0 0 0 11201 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656730562248 140657786398142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2048] ppid=1934 vsize=28769364 memory=4100 CPUtime=111.94 cores=0-7 /proc/1936/task/2048/stat : 2048 (java) R 1934 1934 1890 0 -1 4202560 2079 0 0 0 11193 1 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656731615928 140657785770443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2049] ppid=1934 vsize=28769364 memory=532 CPUtime=112.11 cores=0-7 /proc/1936/task/2049/stat : 2049 (java) R 1934 1934 1890 0 -1 4202560 1982 0 0 0 11209 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656733724600 140657785770124 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2050] ppid=1934 vsize=28769364 memory=1564 CPUtime=112.18 cores=0-7 /proc/1936/task/2050/stat : 2050 (java) R 1934 1934 1890 0 -1 4202560 9109 0 0 0 11215 3 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656732670480 140657787095808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2051] ppid=1934 vsize=28769364 memory=924 CPUtime=111.91 cores=0-7 /proc/1936/task/2051/stat : 2051 (java) R 1934 1934 1890 0 -1 4202560 6562 0 0 0 11189 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656726359728 140657785501312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2052] ppid=1934 vsize=28769364 memory=1668 CPUtime=111.78 cores=0-7 /proc/1936/task/2052/stat : 2052 (java) R 1934 1934 1890 0 -1 4202560 5286 0 0 0 11176 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656736882392 140657780954555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2053] ppid=1934 vsize=28769364 memory=1808 CPUtime=111.64 cores=0-7 /proc/1936/task/2053/stat : 2053 (java) R 1934 1934 1890 0 -1 4202560 6886 0 0 0 11161 3 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656734774328 140657786403257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2054] ppid=1934 vsize=28769364 memory=920 CPUtime=111.84 cores=0-7 /proc/1936/task/2054/stat : 2054 (java) R 1934 1934 1890 0 -1 4202560 2127 0 0 0 11183 1 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656729514304 140657785770898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 Current children cumulated CPU time: 927.06 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 563760 KiB [startup+118.001 s]* /proc/loadavg: 7.49 6.06 6.85 9/218 2059 /proc/meminfo: memFree=30664732/32770624 swapFree=66977412/67108860 [pid=1934] ppid=1931 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1934/stat : 1934 (xcsp3-exec) S 1931 1934 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446341837 115843072 364 33554432000 4194304 5098028 140735805237152 140735805235256 140276170760828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33832960 140735805240181 140735805240425 140735805240425 140735805243338 0 /proc/1934/statm: 28282 364 305 221 0 87 0 [pid=1936] ppid=1934 vsize=28769364 memory=562304 CPUtime=930.3 cores=0-7 /proc/1936/stat : 1936 (java) S 1934 1934 1890 0 -1 1077944320 97920 0 0 0 92949 81 0 0 20 0 28 0 446341837 29459828736 140576 33554432000 4194304 4196468 140720971416432 140720971398976 140658157727479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 /proc/1936/statm: 7192341 140576 3531 1 0 7153441 0 [pid=1936/tid=1937] ppid=1934 vsize=28769364 memory=8317482817917895235 CPUtime=0.75 cores=0-7 /proc/1936/task/1937/stat : 1937 (java) S 1934 1934 1890 0 -1 1077944384 9358 0 0 0 71 4 0 0 20 0 28 0 446341837 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658161968256 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1938] ppid=1934 vsize=28769364 memory=4126316290023845779 CPUtime=0.42 cores=0-7 /proc/1936/task/1938/stat : 1938 (java) S 1934 1934 1890 0 -1 1077944384 1934 0 0 0 37 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658110348432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1939] ppid=1934 vsize=28769364 memory=4100 CPUtime=0.41 cores=0-7 /proc/1936/task/1939/stat : 1939 (java) S 1934 1934 1890 0 -1 1077944384 2806 0 0 0 36 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658109295632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1940] ppid=1934 vsize=28769364 memory=532 CPUtime=0.43 cores=0-7 /proc/1936/task/1940/stat : 1940 (java) S 1934 1934 1890 0 -1 1077944384 2241 0 0 0 38 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658108242832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1941] ppid=1934 vsize=28769364 memory=1564 CPUtime=0.42 cores=0-7 /proc/1936/task/1941/stat : 1941 (java) S 1934 1934 1890 0 -1 1077944384 1473 0 0 0 37 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658107190032 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1942] ppid=1934 vsize=28769364 memory=924 CPUtime=0.43 cores=0-7 /proc/1936/task/1942/stat : 1942 (java) S 1934 1934 1890 0 -1 1077944384 1987 0 0 0 38 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658106137232 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1943] ppid=1934 vsize=28769364 memory=1668 CPUtime=0.42 cores=0-7 /proc/1936/task/1943/stat : 1943 (java) S 1934 1934 1890 0 -1 1077944384 1083 0 0 0 38 4 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658105084432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1944] ppid=1934 vsize=28769364 memory=1808 CPUtime=0.42 cores=0-7 /proc/1936/task/1944/stat : 1944 (java) S 1934 1934 1890 0 -1 1077944384 2216 0 0 0 37 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658104031632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1945] ppid=1934 vsize=28769364 memory=920 CPUtime=0.43 cores=0-7 /proc/1936/task/1945/stat : 1945 (java) S 1934 1934 1890 0 -1 1077944384 1618 0 0 0 38 5 0 0 20 0 28 0 446341838 29459828736 140576 33554432000 4194304 4196468 140720971416432 140658102978832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1946] ppid=1934 vsize=28769364 memory=3912 CPUtime=0.29 cores=0-7 /proc/1936/task/1946/stat : 1946 (java) S 1934 1934 1890 0 -1 1077944384 4919 0 0 0 25 4 0 0 20 0 28 0 446341840 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656755334000 140658157738626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1947] ppid=1934 vsize=28769364 memory=1412 CPUtime=0 cores=0-7 /proc/1936/task/1947/stat : 1947 (java) S 1934 1934 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446341840 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656754279968 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1948] ppid=1934 vsize=28769364 memory=3564 CPUtime=0 cores=0-7 /proc/1936/task/1948/stat : 1948 (java) S 1934 1934 1890 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446341840 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656753227120 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1949] ppid=1934 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/1936/task/1949/stat : 1949 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656752175440 140658157746075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1950] ppid=1934 vsize=28769364 memory=545684 CPUtime=1.19 cores=0-7 /proc/1936/task/1950/stat : 1950 (java) S 1934 1934 1890 0 -1 1077944384 6480 0 0 0 118 1 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656751122800 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1951] ppid=1934 vsize=28769364 memory=1440 CPUtime=1.48 cores=0-7 /proc/1936/task/1951/stat : 1951 (java) S 1934 1934 1890 0 -1 1077944384 8833 0 0 0 146 2 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656750070000 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1952] ppid=1934 vsize=28769364 memory=912 CPUtime=1.24 cores=0-7 /proc/1936/task/1952/stat : 1952 (java) S 1934 1934 1890 0 -1 1077944384 5499 0 0 0 123 1 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656749017200 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1954] ppid=1934 vsize=28769364 memory=1984 CPUtime=0.72 cores=0-7 /proc/1936/task/1954/stat : 1954 (java) S 1934 1934 1890 0 -1 1077944384 6665 0 0 0 71 1 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656747964400 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1955] ppid=1934 vsize=28769364 memory=2480 CPUtime=0 cores=0-7 /proc/1936/task/1955/stat : 1955 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656746912864 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1956] ppid=1934 vsize=28769364 memory=1456 CPUtime=0.02 cores=0-7 /proc/1936/task/1956/stat : 1956 (java) S 1934 1934 1890 0 -1 1077944384 1149 0 0 0 0 2 0 0 20 0 28 0 446341843 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656745860144 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2047] ppid=1934 vsize=28769364 memory=547216 CPUtime=112.44 cores=0-7 /proc/1936/task/2047/stat : 2047 (java) R 1934 1934 1890 0 -1 4202560 1987 0 0 0 11242 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656730565712 140657787433635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2048] ppid=1934 vsize=28769364 memory=796 CPUtime=112.35 cores=0-7 /proc/1936/task/2048/stat : 2048 (java) R 1934 1934 1890 0 -1 4202560 2079 0 0 0 11234 1 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656731615928 140657786381477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2049] ppid=1934 vsize=28769364 memory=1164 CPUtime=112.52 cores=0-7 /proc/1936/task/2049/stat : 2049 (java) R 1934 1934 1890 0 -1 4202560 1982 0 0 0 11250 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656733725096 140657780954759 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2050] ppid=1934 vsize=28769364 memory=0 CPUtime=112.59 cores=0-7 /proc/1936/task/2050/stat : 2050 (java) R 1934 1934 1890 0 -1 4202560 9109 0 0 0 11256 3 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656732670480 140657786381026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2051] ppid=1934 vsize=28769364 memory=0 CPUtime=112.31 cores=0-7 /proc/1936/task/2051/stat : 2051 (java) R 1934 1934 1890 0 -1 4202560 6562 0 0 0 11229 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656726359728 140657780954774 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2052] ppid=1934 vsize=28769364 memory=33 CPUtime=112.19 cores=0-7 /proc/1936/task/2052/stat : 2052 (java) R 1934 1934 1890 0 -1 4202560 5286 0 0 0 11217 2 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656736882392 140657785611431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2053] ppid=1934 vsize=28769364 memory=7295938381028020304 CPUtime=112.05 cores=0-7 /proc/1936/task/2053/stat : 2053 (java) R 1934 1934 1890 0 -1 4202560 6886 0 0 0 11202 3 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656734774328 140657785611522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2054] ppid=1934 vsize=28769364 memory=7223880786990092368 CPUtime=112.25 cores=0-7 /proc/1936/task/2054/stat : 2054 (java) R 1934 1934 1890 0 -1 4202560 2127 0 0 0 11224 1 0 0 20 0 28 0 446342243 29459828736 140576 33554432000 4194304 4196468 140720971416432 140656729514224 140657786403393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 Current children cumulated CPU time: 930.3 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 563760 KiB [startup+118.401 s] /proc/loadavg: 7.49 6.06 6.85 9/218 2059 /proc/meminfo: memFree=30664732/32770624 swapFree=66977412/67108860 [pid=1934] ppid=1931 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/1934/stat : 1934 (xcsp3-exec) S 1931 1934 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446341837 115843072 364 33554432000 4194304 5098028 140735805237152 140735805235256 140276170760828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33832960 140735805240181 140735805240425 140735805240425 140735805243338 0 /proc/1934/statm: 28282 364 305 221 0 87 0 [pid=1936] ppid=1934 vsize=28769364 memory=576120 CPUtime=933.37 cores=0-7 /proc/1936/stat : 1936 (java) S 1934 1934 1890 0 -1 1077944320 97958 0 0 0 93256 81 0 0 20 0 28 0 446341837 29459828736 144030 33554432000 4194304 4196468 140720971416432 140720971398976 140658157727479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 /proc/1936/statm: 7192341 144030 3531 1 0 7153441 0 [pid=1936/tid=1937] ppid=1934 vsize=28769364 memory=8112282956445269571 CPUtime=0.75 cores=0-7 /proc/1936/task/1937/stat : 1937 (java) S 1934 1934 1890 0 -1 1077944384 9358 0 0 0 71 4 0 0 20 0 28 0 446341837 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658161968256 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1938] ppid=1934 vsize=28769364 memory=47728 CPUtime=0.43 cores=0-7 /proc/1936/task/1938/stat : 1938 (java) S 1934 1934 1890 0 -1 1077944384 1935 0 0 0 38 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658110348432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1939] ppid=1934 vsize=28769364 memory=988 CPUtime=0.42 cores=0-7 /proc/1936/task/1939/stat : 1939 (java) S 1934 1934 1890 0 -1 1077944384 2809 0 0 0 37 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658109295632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1940] ppid=1934 vsize=28769364 memory=2004 CPUtime=0.43 cores=0-7 /proc/1936/task/1940/stat : 1940 (java) S 1934 1934 1890 0 -1 1077944384 2242 0 0 0 38 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658108242832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1941] ppid=1934 vsize=28769364 memory=1416 CPUtime=0.42 cores=0-7 /proc/1936/task/1941/stat : 1941 (java) S 1934 1934 1890 0 -1 1077944384 1474 0 0 0 37 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658107190032 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1942] ppid=1934 vsize=28769364 memory=8112282956445269571 CPUtime=0.44 cores=0-7 /proc/1936/task/1942/stat : 1942 (java) S 1934 1934 1890 0 -1 1077944384 1997 0 0 0 39 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658106137232 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1943] ppid=1934 vsize=28769364 memory=1416 CPUtime=0.42 cores=0-7 /proc/1936/task/1943/stat : 1943 (java) S 1934 1934 1890 0 -1 1077944384 1090 0 0 0 38 4 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658105084432 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1944] ppid=1934 vsize=28769364 memory=5787477641288517003 CPUtime=0.42 cores=0-7 /proc/1936/task/1944/stat : 1944 (java) S 1934 1934 1890 0 -1 1077944384 2223 0 0 0 37 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658104031632 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1945] ppid=1934 vsize=28769364 memory=692 CPUtime=0.43 cores=0-7 /proc/1936/task/1945/stat : 1945 (java) S 1934 1934 1890 0 -1 1077944384 1624 0 0 0 38 5 0 0 20 0 28 0 446341838 29459828736 144030 33554432000 4194304 4196468 140720971416432 140658102978832 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1946] ppid=1934 vsize=28769364 memory=1056 CPUtime=0.29 cores=0-7 /proc/1936/task/1946/stat : 1946 (java) S 1934 1934 1890 0 -1 1077944384 4919 0 0 0 25 4 0 0 20 0 28 0 446341840 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656755334000 140658157738626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1947] ppid=1934 vsize=28769364 memory=1556 CPUtime=0 cores=0-7 /proc/1936/task/1947/stat : 1947 (java) S 1934 1934 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446341840 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656754279968 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1948] ppid=1934 vsize=28769364 memory=280162866513056 CPUtime=0 cores=0-7 /proc/1936/task/1948/stat : 1948 (java) S 1934 1934 1890 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446341840 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656753227120 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1949] ppid=1934 vsize=28769364 memory=-2537689246120445521 CPUtime=0 cores=0-7 /proc/1936/task/1949/stat : 1949 (java) S 1934 1934 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656752175440 140658157746075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1950] ppid=1934 vsize=28769364 memory=0 CPUtime=1.19 cores=0-7 /proc/1936/task/1950/stat : 1950 (java) S 1934 1934 1890 0 -1 1077944384 6480 0 0 0 118 1 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656751122800 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1951] ppid=1934 vsize=28769364 memory=29906170573 CPUtime=1.48 cores=0-7 /proc/1936/task/1951/stat : 1951 (java) S 1934 1934 1890 0 -1 1077944384 8833 0 0 0 146 2 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656750070000 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1952] ppid=1934 vsize=28769364 memory=129256324 CPUtime=1.24 cores=0-7 /proc/1936/task/1952/stat : 1952 (java) S 1934 1934 1890 0 -1 1077944384 5499 0 0 0 123 1 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656749017200 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1954] ppid=1934 vsize=28769364 memory=26467204 CPUtime=0.72 cores=0-7 /proc/1936/task/1954/stat : 1954 (java) S 1934 1934 1890 0 -1 1077944384 6665 0 0 0 71 1 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656747964400 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1955] ppid=1934 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/1936/task/1955/stat : 1955 (java) S 1934 1934 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656746912864 140658157737685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=1956] ppid=1934 vsize=28769364 memory=9122745479247552727 CPUtime=0.02 cores=0-7 /proc/1936/task/1956/stat : 1956 (java) S 1934 1934 1890 0 -1 1077944384 1149 0 0 0 0 2 0 0 20 0 28 0 446341843 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656745860144 140658157738626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2047] ppid=1934 vsize=28769364 memory=-9174445032661854264 CPUtime=112.82 cores=0-7 /proc/1936/task/2047/stat : 2047 (java) R 1934 1934 1890 0 -1 4202560 1987 0 0 0 11280 2 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656730562248 140657785770432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2048] ppid=1934 vsize=28769364 memory=-3181844270025757230 CPUtime=112.73 cores=0-7 /proc/1936/task/2048/stat : 2048 (java) R 1934 1934 1890 0 -1 4202560 2079 0 0 0 11272 1 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656731615560 140657785607642 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2049] ppid=1934 vsize=28769364 memory=-2746958450906831424 CPUtime=112.9 cores=0-7 /proc/1936/task/2049/stat : 2049 (java) R 1934 1934 1890 0 -1 4202560 1983 0 0 0 11288 2 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656733721144 140657786877404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2050] ppid=1934 vsize=28769364 memory=-7025424297587845161 CPUtime=112.95 cores=0-7 /proc/1936/task/2050/stat : 2050 (java) R 1934 1934 1890 0 -1 4202560 9109 0 0 0 11292 3 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656732667440 140657783332527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2051] ppid=1934 vsize=28769364 memory=14048 CPUtime=112.68 cores=0-7 /proc/1936/task/2051/stat : 2051 (java) R 1934 1934 1890 0 -1 4202560 6562 0 0 0 11266 2 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656726359976 140657785770840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2052] ppid=1934 vsize=28769364 memory=25200 CPUtime=112.57 cores=0-7 /proc/1936/task/2052/stat : 2052 (java) R 1934 1934 1890 0 -1 4202560 5286 0 0 0 11255 2 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656736878296 140657785501312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2053] ppid=1934 vsize=28769364 memory=2120 CPUtime=112.43 cores=0-7 /proc/1936/task/2053/stat : 2053 (java) R 1934 1934 1890 0 -1 4202560 6887 0 0 0 11240 3 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656734776464 140657787933719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 [pid=1936/tid=2054] ppid=1934 vsize=28769364 memory=4100 CPUtime=112.63 cores=0-7 /proc/1936/task/2054/stat : 2054 (java) R 1934 1934 1890 0 -1 4202560 2127 0 0 0 11262 1 0 0 20 0 28 0 446342243 29459828736 144030 33554432000 4194304 4196468 140720971416432 140656729510840 140657787704999 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37584896 140720971420650 140720971420822 140720971420822 140720971423695 0 Current children cumulated CPU time: 933.37 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 577576 KiB Child status: 0 Real time (s): 118.433 CPU time (s): 933.536 CPU user time (s): 932.701 CPU system time (s): 0.835218 CPU usage (%): 788.24 Max. virtual memory (cumulated for all children) (KiB): 28884164 Max. memory (cumulated for all children) (KiB): 577576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 932.701 system time used= 0.835218 maximum resident set size= 578688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99639 page faults= 0 swaps= 0 block input operations= 0 block output operations= 272 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28830 involuntary context switches= 11509 # summary of solver processes directly reported to runsolver: # pid: 1934 # total CPU time (s): 933.536 # total CPU user time (s): 932.701 # total CPU system time (s): 0.835218 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.0908 second user time and 1.31776 second system time The end
Begin job on node104 at 2019-09-17 07:03:49 IDJOB=4399880 IDBENCH=116014 IDSOLVER=2854 FILE ID=node104/4399880-1568700848 RUNJOBID= node104-1568696629-1917 PBS_JOBID= 21703905 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-07-10.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-4399880-1568700848/watcher-4399880-1568700848 -o /tmp/evaluation-result-4399880-1568700848/solver-4399880-1568700848 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1967000912 HOME/instance-4399880-1568700848.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ebe39bf25244fda615bb1bf8fe88192a RANDOM SEED=1967000912 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 31216368 kB MemAvailable: 31857572 kB Buffers: 102512 kB Cached: 828044 kB SwapCached: 32292 kB Active: 631044 kB Inactive: 335312 kB Active(anon): 4000 kB Inactive(anon): 80988 kB Active(file): 627044 kB Inactive(file): 254324 kB Unevictable: 109676 kB Mlocked: 109676 kB SwapTotal: 67108860 kB SwapFree: 66977412 kB Dirty: 25932 kB Writeback: 0 kB AnonPages: 114808 kB Mapped: 47924 kB Shmem: 40488 kB Slab: 182244 kB SReclaimable: 151340 kB SUnreclaim: 30904 kB KernelStack: 3280 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58988 MiB End job on node104 at 2019-09-17 07:05:47