Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 8051.62 | 1014.42 |
Name | StripPacking/StripPacking-m1-series1/ StripPacking-C3P2.xml |
MD5SUM | ec554133dcdc77f0ded322158f487a65 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 226.379 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 145 |
Number of constraints | 88 |
Number of domains | 30 |
Minimum domain size | 1 |
Maximum domain size | 60 |
Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":83},{"size":30,"count":29},{"size":60,"count":29}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":29},{"degree":2,"count":58},{"degree":3,"count":58}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 116 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":3,"count":29},{"arity":116,"count":1}] |
Number of extensional constraints | 29 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"extension","count":29},{"type":"intension","count":58},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399643-1568700930.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399643-1568700930.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.97/0.82 c solve instance... 8051.57/1014.41 s SATISFIABLE 8051.57/1014.41 v <instantiation> 8051.57/1014.41 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] w[17] w[18] w[19] w[20] w[21] w[22] w[23] w[24] w[25] w[26] w[27] w[28] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] h[17] h[18] h[19] h[20] h[21] h[22] h[23] h[24] h[25] h[26] h[27] h[28] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16] r[17] r[18] r[19] r[20] r[21] r[22] r[23] r[24] r[25] r[26] r[27] r[28] </list> 8051.57/1014.41 v <values>35 19 20 10 34 19 9 0 26 9 37 5 33 53 31 53 53 9 27 0 33 33 47 10 10 0 5 12 26 24 24 0 26 26 17 6 24 17 0 0 16 17 25 24 13 0 10 0 0 26 0 0 17 16 16 27 10 19 18 12 7 23 1 7 11 5 7 11 10 5 4 7 4 7 7 3 6 9 1 4 6 9 2 5 5 25 21 6 2 10 4 4 7 4 6 2 6 19 11 2 5 2 12 13 6 10 16 4 10 24 9 1 8 3 7 5 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 </values> 8051.57/1014.41 v </instantiation>
OK
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 (11619 MiB free) memory of node 1: 16384 MiB (14990 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399643-1568700930/watcher-4399643-1568700930 -o /tmp/evaluation-result-4399643-1568700930/solver-4399643-1568700930 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 54260880 HOME/instance-4399643-1568700930.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29984, runsolver pid=29981 [startup+0.100116 s]* /proc/loadavg: 2.33 5.55 6.87 2/211 30005 /proc/meminfo: memFree=27230392/32770624 swapFree=66999436/67108860 [pid=29984] ppid=29981 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29984/stat : 29984 (xcsp3-exec) S 29981 29984 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446031414 115843072 363 33554432000 4194304 5098028 140735683972608 140735683970712 139967823934076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12259328 140735683978103 140735683978345 140735683978345 140735683981258 0 /proc/29984/statm: 28282 363 304 221 0 87 0 [pid=29986] ppid=29984 vsize=28227396 memory=30220 CPUtime=0.13 cores=0-7 /proc/29986/stat : 29986 (java) S 29984 29984 29646 0 -1 1077944320 5524 0 0 0 11 2 0 0 20 0 20 0 446031414 28904853504 7555 33554432000 4194304 4196468 140732934582640 140732934565184 140603442130679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 /proc/29986/statm: 7056849 7555 3118 1 0 7019032 0 [pid=29986/tid=29987] ppid=29984 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/29986/task/29987/stat : 29987 (java) R 29984 29984 29646 0 -1 4202560 3437 0 0 0 8 1 0 0 20 0 20 0 446031414 28904853504 7555 33554432000 4194304 4196468 140732934582640 140603446362928 140603423525885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29988] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29988/stat : 29988 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602993662864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29989] ppid=29984 vsize=28227396 memory=140514769753728 CPUtime=0 cores=0-7 /proc/29986/task/29989/stat : 29989 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602992610064 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29990] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29990/stat : 29990 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602991557776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29991] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29991/stat : 29991 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602990504976 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29992] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29992/stat : 29992 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602989451664 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29993] ppid=29984 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/29993/stat : 29993 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602988398864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29994] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29994/stat : 29994 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602987346576 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29995] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29995/stat : 29995 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 7555 33554432000 4194304 4196468 140732934582640 140602986293776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29996] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29996/stat : 29996 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031416 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601821158000 140603442141826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29997] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29997/stat : 29997 (java) S 29984 29984 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446031417 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601820103968 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29998] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29998/stat : 29998 (java) S 29984 29984 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446031417 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601819051632 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29999] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29999/stat : 29999 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031419 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601817999952 140603442149275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30000] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30000/stat : 30000 (java) S 29984 29984 29646 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 446031419 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601816946800 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30001] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30001/stat : 30001 (java) S 29984 29984 29646 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601815894000 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30002] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30002/stat : 30002 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601814841712 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30003] ppid=29984 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29986/task/30003/stat : 30003 (java) R 29984 29984 29646 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 20 0 446031420 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601813788912 140603442152026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30004] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30004/stat : 30004 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601812736864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30005] ppid=29984 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/30005/stat : 30005 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 7555 33554432000 4194304 4196468 140732934582640 140601811684144 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31672 KiB [startup+0.21012 s]* /proc/loadavg: 2.33 5.55 6.87 2/211 30005 /proc/meminfo: memFree=27217084/32770624 swapFree=66999436/67108860 [pid=29984] ppid=29981 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29984/stat : 29984 (xcsp3-exec) S 29981 29984 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446031414 115843072 363 33554432000 4194304 5098028 140735683972608 140735683970712 139967823934076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12259328 140735683978103 140735683978345 140735683978345 140735683981258 0 /proc/29984/statm: 28282 363 304 221 0 87 0 [pid=29986] ppid=29984 vsize=28227396 memory=41140 CPUtime=0.34 cores=0-7 /proc/29986/stat : 29986 (java) S 29984 29984 29646 0 -1 1077944320 9049 0 0 0 30 4 0 0 20 0 20 0 446031414 28904853504 10285 33554432000 4194304 4196468 140732934582640 140732934565184 140603442130679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 /proc/29986/statm: 7056849 10285 3270 1 0 7019032 0 [pid=29986/tid=29987] ppid=29984 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29986/task/29987/stat : 29987 (java) R 29984 29984 29646 0 -1 4202560 6263 0 0 0 18 2 0 0 20 0 20 0 446031414 28904853504 10285 33554432000 4194304 4196468 140732934582640 140603446368704 140603442142614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29988] ppid=29984 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/29986/task/29988/stat : 29988 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602993662864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29989] ppid=29984 vsize=28227396 memory=288370890921465472 CPUtime=0 cores=0-7 /proc/29986/task/29989/stat : 29989 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602992610064 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29990] ppid=29984 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/29990/stat : 29990 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602991557776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29991] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29991/stat : 29991 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602990504976 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29992] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29992/stat : 29992 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602989451664 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29993] ppid=29984 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/29993/stat : 29993 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602988398864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29994] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29994/stat : 29994 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602987346576 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29995] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29995/stat : 29995 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28904853504 10285 33554432000 4194304 4196468 140732934582640 140602986293776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29996] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29996/stat : 29996 (java) S 29984 29984 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446031416 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601821158000 140603442141826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29997] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29997/stat : 29997 (java) S 29984 29984 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446031417 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601820103968 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29998] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29998/stat : 29998 (java) S 29984 29984 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446031417 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601819051632 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29999] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29999/stat : 29999 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031419 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601817999952 140603442149275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30000] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30000/stat : 30000 (java) S 29984 29984 29646 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 446031419 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601816946800 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30001] ppid=29984 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29986/task/30001/stat : 30001 (java) R 29984 29984 29646 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 446031420 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601815894000 140603442141826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30002] ppid=29984 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/30002/stat : 30002 (java) S 29984 29984 29646 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601814841712 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30003] ppid=29984 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/29986/task/30003/stat : 30003 (java) R 29984 29984 29646 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 20 0 446031420 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601813788912 140603442142614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30004] ppid=29984 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30004/stat : 30004 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601812736864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30005] ppid=29984 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/30005/stat : 30005 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031420 28904853504 10285 33554432000 4194304 4196468 140732934582640 140601811684144 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42592 KiB [startup+0.30947 s]* /proc/loadavg: 2.33 5.55 6.87 3/211 30005 /proc/meminfo: memFree=27210644/32770624 swapFree=66999436/67108860 [pid=29984] ppid=29981 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29984/stat : 29984 (xcsp3-exec) S 29981 29984 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446031414 115843072 363 33554432000 4194304 5098028 140735683972608 140735683970712 139967823934076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12259328 140735683978103 140735683978345 140735683978345 140735683981258 0 /proc/29984/statm: 28282 363 304 221 0 87 0 [pid=29986] ppid=29984 vsize=28231652 memory=49864 CPUtime=0.52 cores=0-7 /proc/29986/stat : 29986 (java) S 29984 29984 29646 0 -1 1077944320 10354 0 0 0 48 4 0 0 20 0 20 0 446031414 28909211648 12466 33554432000 4194304 4196468 140732934582640 140732934565184 140603442130679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 /proc/29986/statm: 7057913 12466 3352 1 0 7019032 0 [pid=29986/tid=29987] ppid=29984 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29986/task/29987/stat : 29987 (java) R 29984 29984 29646 0 -1 4202560 7318 0 0 0 27 2 0 0 20 0 20 0 446031414 28909211648 12466 33554432000 4194304 4196468 140732934582640 140603446361792 140603426211166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29988] ppid=29984 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29988/stat : 29988 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602993662864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29989] ppid=29984 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29989/stat : 29989 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602992610064 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29990] ppid=29984 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29990/stat : 29990 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602991557776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29991] ppid=29984 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29991/stat : 29991 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602990504976 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29992] ppid=29984 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/29986/task/29992/stat : 29992 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602989451664 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29993] ppid=29984 vsize=28231652 memory=140514619913135 CPUtime=0 cores=0-7 /proc/29986/task/29993/stat : 29993 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602988398864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29994] ppid=29984 vsize=28231652 memory=140514619915440 CPUtime=0 cores=0-7 /proc/29986/task/29994/stat : 29994 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602987346576 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29995] ppid=29984 vsize=28231652 memory=140514619917744 CPUtime=0 cores=0-7 /proc/29986/task/29995/stat : 29995 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28909211648 12466 33554432000 4194304 4196468 140732934582640 140602986293776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29996] ppid=29984 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29996/stat : 29996 (java) S 29984 29984 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446031416 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601821158000 140603442141826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29997] ppid=29984 vsize=28231652 memory=281029239842448 CPUtime=0 cores=0-7 /proc/29986/task/29997/stat : 29997 (java) S 29984 29984 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446031417 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601820103968 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29998] ppid=29984 vsize=28231652 memory=281029239849360 CPUtime=0 cores=0-7 /proc/29986/task/29998/stat : 29998 (java) S 29984 29984 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446031417 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601819051632 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29999] ppid=29984 vsize=28231652 memory=281029239790512 CPUtime=0 cores=0-7 /proc/29986/task/29999/stat : 29999 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031419 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601817999952 140603442149275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30000] ppid=29984 vsize=28231652 memory=281029239863184 CPUtime=0.01 cores=0-7 /proc/29986/task/30000/stat : 30000 (java) S 29984 29984 29646 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 446031419 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601816946800 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30001] ppid=29984 vsize=28231652 memory=281029239870096 CPUtime=0.03 cores=0-7 /proc/29986/task/30001/stat : 30001 (java) S 29984 29984 29646 0 -1 1077944384 364 0 0 0 3 0 0 0 20 0 20 0 446031420 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601815894000 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30002] ppid=29984 vsize=28231652 memory=281029239867792 CPUtime=0.03 cores=0-7 /proc/29986/task/30002/stat : 30002 (java) R 29984 29984 29646 0 -1 4202560 197 0 0 0 3 0 0 0 20 0 20 0 446031420 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601814832096 140603419782544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30003] ppid=29984 vsize=28231652 memory=281029239883952 CPUtime=0.12 cores=0-7 /proc/29986/task/30003/stat : 30003 (java) S 29984 29984 29646 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 446031420 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601813788912 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30004] ppid=29984 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/30004/stat : 30004 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031420 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601812736864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30005] ppid=29984 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29986/task/30005/stat : 30005 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446031420 28909211648 12466 33554432000 4194304 4196468 140732934582640 140601811684144 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51316 KiB [startup+0.700976 s] /proc/loadavg: 2.33 5.55 6.87 5/211 30005 /proc/meminfo: memFree=27197676/32770624 swapFree=66999436/67108860 [pid=29984] ppid=29981 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29984/stat : 29984 (xcsp3-exec) S 29981 29984 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446031414 115843072 363 33554432000 4194304 5098028 140735683972608 140735683970712 139967823934076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12259328 140735683978103 140735683978345 140735683978345 140735683981258 0 /proc/29984/statm: 28282 363 304 221 0 87 0 [pid=29986] ppid=29984 vsize=28233776 memory=84532 CPUtime=1.61 cores=0-7 /proc/29986/stat : 29986 (java) S 29984 29984 29646 0 -1 1077944320 14837 0 0 0 154 7 0 0 20 0 20 0 446031414 28911386624 21133 33554432000 4194304 4196468 140732934582640 140732934565184 140603442130679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 /proc/29986/statm: 7058444 21133 3451 1 0 7019544 0 [pid=29986/tid=29987] ppid=29984 vsize=28233776 memory=281029240241840 CPUtime=0.68 cores=0-7 /proc/29986/task/29987/stat : 29987 (java) R 29984 29984 29646 0 -1 4202560 9017 0 0 0 64 4 0 0 20 0 20 0 446031414 28911386624 21133 33554432000 4194304 4196468 140732934582640 140603446365664 140603426211166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29988] ppid=29984 vsize=28233776 memory=140514620121968 CPUtime=0 cores=0-7 /proc/29986/task/29988/stat : 29988 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28911386624 21133 33554432000 4194304 4196468 140732934582640 140602993662864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29989] ppid=29984 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29986/task/29989/stat : 29989 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446031415 28911386624 21133 33554432000 4194304 4196468 140732934582640 140602992610064 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29990] ppid=29984 vsize=28233776 memory=6020 CPUtime=0 cores=0-7 /proc/29986/task/29990/stat : 29990 (java) S 29984 29984 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446031415 28911386624 21133 33554432000 4194304 4196468 140732934582640 140602991557776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 ################ # More data... # ################ [pid=29986/tid=30003] ppid=29984 vsize=28768336 memory=1980 CPUtime=0.95 cores=0-7 /proc/29986/task/30003/stat : 30003 (java) S 29984 29984 29646 0 -1 1077944384 10680 0 0 0 93 2 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601813788912 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30004] ppid=29984 vsize=28768336 memory=2540 CPUtime=0 cores=0-7 /proc/29986/task/30004/stat : 30004 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601812736864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30005] ppid=29984 vsize=28768336 memory=1760 CPUtime=0.3 cores=0-7 /proc/29986/task/30005/stat : 30005 (java) S 29984 29984 29646 0 -1 1077944384 3678 0 0 0 17 13 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601811684144 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30006] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=995.47 cores=0-7 /proc/29986/task/30006/stat : 30006 (java) R 29984 29984 29646 0 -1 4202560 34243 0 0 0 99529 18 0 0 20 0 28 0 446031497 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601800368488 140603086872570 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30007] ppid=29984 vsize=28768336 memory=532 CPUtime=996.09 cores=0-7 /proc/29986/task/30007/stat : 30007 (java) R 29984 29984 29646 0 -1 4202560 39497 0 0 0 99588 21 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601799316264 140603087228986 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30008] ppid=29984 vsize=28768336 memory=1556 CPUtime=997.96 cores=0-7 /proc/29986/task/30008/stat : 30008 (java) R 29984 29984 29646 0 -1 4202560 46924 0 0 0 99772 24 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601798263032 140603423779627 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30009] ppid=29984 vsize=28768336 memory=932 CPUtime=997.91 cores=0-7 /proc/29986/task/30009/stat : 30009 (java) R 29984 29984 29646 0 -1 4202560 75257 0 0 0 99756 35 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601797210152 140603088314208 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30010] ppid=29984 vsize=28768336 memory=3680 CPUtime=996.54 cores=0-7 /proc/29986/task/30010/stat : 30010 (java) R 29984 29984 29646 0 -1 4202560 48942 0 0 0 99625 29 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601796157944 140603087492634 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30011] ppid=29984 vsize=28768336 memory=864 CPUtime=998.43 cores=0-7 /proc/29986/task/30011/stat : 30011 (java) R 29984 29984 29646 0 -1 4202560 51906 0 0 0 99808 35 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601610850080 140603088029796 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30012] ppid=29984 vsize=28768336 memory=1436 CPUtime=998.9 cores=0-7 /proc/29986/task/30012/stat : 30012 (java) R 29984 29984 29646 0 -1 4202560 39809 0 0 0 99867 23 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601609798520 140603086265630 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30013] ppid=29984 vsize=28768336 memory=1652 CPUtime=996.48 cores=0-7 /proc/29986/task/30013/stat : 30013 (java) R 29984 29984 29646 0 -1 4202560 107993 0 0 0 99582 66 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601608747952 140603088314269 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 Current children cumulated CPU time: 8045.16 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1526964 KiB [startup+1014.01 s]* /proc/loadavg: 8.20 8.19 7.78 9/220 30114 /proc/meminfo: memFree=25733352/32770624 swapFree=66999436/67108860 [pid=29984] ppid=29981 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29984/stat : 29984 (xcsp3-exec) S 29981 29984 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446031414 115843072 363 33554432000 4194304 5098028 140735683972608 140735683970712 139967823934076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12259328 140735683978103 140735683978345 140735683978345 140735683981258 0 /proc/29984/statm: 28282 363 304 221 0 87 0 [pid=29986] ppid=29984 vsize=28768336 memory=1525512 CPUtime=8048.48 cores=0-7 /proc/29986/stat : 29986 (java) S 29984 29984 29646 0 -1 1077944320 796749 0 0 0 803861 987 0 0 20 0 28 0 446031414 29458776064 381378 33554432000 4194304 4196468 140732934582640 140732934565184 140603442130679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 /proc/29986/statm: 7192084 381378 3545 1 0 7153184 0 [pid=29986/tid=29987] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=0.81 cores=0-7 /proc/29986/task/29987/stat : 29987 (java) S 29984 29984 29646 0 -1 1077944384 9111 0 0 0 77 4 0 0 20 0 28 0 446031414 29458776064 381378 33554432000 4194304 4196468 140732934582640 140603446371456 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29988] ppid=29984 vsize=28768336 memory=4126316290023845779 CPUtime=6.84 cores=0-7 /proc/29986/task/29988/stat : 29988 (java) S 29984 29984 29646 0 -1 1077944384 26248 0 0 0 612 72 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602993662864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29989] ppid=29984 vsize=28768336 memory=7013348607221326187 CPUtime=6.87 cores=0-7 /proc/29986/task/29989/stat : 29989 (java) S 29984 29984 29646 0 -1 1077944384 24536 0 0 0 618 69 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602992610064 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29990] ppid=29984 vsize=28768336 memory=7813295019412318528 CPUtime=6.8 cores=0-7 /proc/29986/task/29990/stat : 29990 (java) S 29984 29984 29646 0 -1 1077944384 24313 0 0 0 612 68 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602991557776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29991] ppid=29984 vsize=28768336 memory=7156598479713363813 CPUtime=6.8 cores=0-7 /proc/29986/task/29991/stat : 29991 (java) S 29984 29984 29646 0 -1 1077944384 22836 0 0 0 610 70 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602990504976 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29992] ppid=29984 vsize=28768336 memory=7512114578044973668 CPUtime=6.86 cores=0-7 /proc/29986/task/29992/stat : 29992 (java) S 29984 29984 29646 0 -1 1077944384 23330 0 0 0 619 67 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602989451664 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29993] ppid=29984 vsize=28768336 memory=5931910773141761891 CPUtime=6.82 cores=0-7 /proc/29986/task/29993/stat : 29993 (java) S 29984 29984 29646 0 -1 1077944384 22328 0 0 0 614 68 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602988398864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29994] ppid=29984 vsize=28768336 memory=7739556284812771428 CPUtime=6.73 cores=0-7 /proc/29986/task/29994/stat : 29994 (java) S 29984 29984 29646 0 -1 1077944384 21056 0 0 0 607 66 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602987346576 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29995] ppid=29984 vsize=28768336 memory=7739556284812771428 CPUtime=6.81 cores=0-7 /proc/29986/task/29995/stat : 29995 (java) S 29984 29984 29646 0 -1 1077944384 21549 0 0 0 613 68 0 0 20 0 28 0 446031415 29458776064 381378 33554432000 4194304 4196468 140732934582640 140602986293776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29996] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=3.57 cores=0-7 /proc/29986/task/29996/stat : 29996 (java) S 29984 29984 29646 0 -1 1077944384 97769 0 0 0 181 176 0 0 20 0 28 0 446031416 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601821158000 140603442141826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29997] ppid=29984 vsize=28768336 memory=772 CPUtime=0 cores=0-7 /proc/29986/task/29997/stat : 29997 (java) S 29984 29984 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446031417 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601820104032 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29998] ppid=29984 vsize=28768336 memory=10596 CPUtime=0 cores=0-7 /proc/29986/task/29998/stat : 29998 (java) S 29984 29984 29646 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446031417 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601819051648 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29999] ppid=29984 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/29986/task/29999/stat : 29999 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446031419 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601817999952 140603442149275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30000] ppid=29984 vsize=28768336 memory=988 CPUtime=2.12 cores=0-7 /proc/29986/task/30000/stat : 30000 (java) S 29984 29984 29646 0 -1 1077944384 14287 0 0 0 209 3 0 0 20 0 28 0 446031419 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601816946800 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30001] ppid=29984 vsize=28768336 memory=4164 CPUtime=2.41 cores=0-7 /proc/29986/task/30001/stat : 30001 (java) S 29984 29984 29646 0 -1 1077944384 15448 0 0 0 237 4 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601815894000 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30002] ppid=29984 vsize=28768336 memory=2828 CPUtime=2.48 cores=0-7 /proc/29986/task/30002/stat : 30002 (java) S 29984 29984 29646 0 -1 1077944384 13638 0 0 0 245 3 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601814841712 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30003] ppid=29984 vsize=28768336 memory=1048 CPUtime=0.95 cores=0-7 /proc/29986/task/30003/stat : 30003 (java) S 29984 29984 29646 0 -1 1077944384 10680 0 0 0 93 2 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601813788912 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30004] ppid=29984 vsize=28768336 memory=6020 CPUtime=0 cores=0-7 /proc/29986/task/30004/stat : 30004 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601812736864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30005] ppid=29984 vsize=28768336 memory=612 CPUtime=0.3 cores=0-7 /proc/29986/task/30005/stat : 30005 (java) S 29984 29984 29646 0 -1 1077944384 3678 0 0 0 17 13 0 0 20 0 28 0 446031420 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601811684144 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30006] ppid=29984 vsize=28768336 memory=1220 CPUtime=995.89 cores=0-7 /proc/29986/task/30006/stat : 30006 (java) R 29984 29984 29646 0 -1 4202560 34252 0 0 0 99571 18 0 0 20 0 28 0 446031497 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601800368488 140603089090548 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30007] ppid=29984 vsize=28768336 memory=14004 CPUtime=996.49 cores=0-7 /proc/29986/task/30007/stat : 30007 (java) R 29984 29984 29646 0 -1 4202560 39502 0 0 0 99628 21 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601799316264 140603088687743 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30008] ppid=29984 vsize=28768336 memory=14060 CPUtime=998.38 cores=0-7 /proc/29986/task/30008/stat : 30008 (java) R 29984 29984 29646 0 -1 4202560 46937 0 0 0 99814 24 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601798263032 140603086871301 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30009] ppid=29984 vsize=28768336 memory=2116 CPUtime=998.33 cores=0-7 /proc/29986/task/30009/stat : 30009 (java) R 29984 29984 29646 0 -1 4202560 75265 0 0 0 99798 35 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601797210152 140603089092393 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30010] ppid=29984 vsize=28768336 memory=1452 CPUtime=996.96 cores=0-7 /proc/29986/task/30010/stat : 30010 (java) R 29984 29984 29646 0 -1 4202560 48954 0 0 0 99667 29 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601796157944 140603088686704 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30011] ppid=29984 vsize=28768336 memory=1592812 CPUtime=998.85 cores=0-7 /proc/29986/task/30011/stat : 30011 (java) R 29984 29984 29646 0 -1 4202560 51909 0 0 0 99850 35 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601610850080 140603088109288 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30012] ppid=29984 vsize=28768336 memory=932 CPUtime=999.32 cores=0-7 /proc/29986/task/30012/stat : 30012 (java) R 29984 29984 29646 0 -1 4202560 39825 0 0 0 99909 23 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601609798520 140603086708986 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30013] ppid=29984 vsize=28768336 memory=3680 CPUtime=996.89 cores=0-7 /proc/29986/task/30013/stat : 30013 (java) R 29984 29984 29646 0 -1 4202560 108002 0 0 0 99623 66 0 0 20 0 28 0 446031498 29458776064 381378 33554432000 4194304 4196468 140732934582640 140601608747952 140603087228015 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 Current children cumulated CPU time: 8048.48 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1526964 KiB [startup+1014.41 s] /proc/loadavg: 8.20 8.19 7.78 9/220 30114 /proc/meminfo: memFree=25733352/32770624 swapFree=66999436/67108860 [pid=29984] ppid=29981 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29984/stat : 29984 (xcsp3-exec) S 29981 29984 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446031414 115843072 363 33554432000 4194304 5098028 140735683972608 140735683970712 139967823934076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12259328 140735683978103 140735683978345 140735683978345 140735683981258 0 /proc/29984/statm: 28282 363 304 221 0 87 0 [pid=29986] ppid=29984 vsize=28768336 memory=1517816 CPUtime=8051.57 cores=0-7 /proc/29986/stat : 29986 (java) S 29984 29984 29646 0 -1 1077944320 797288 0 0 0 804169 988 0 0 20 0 28 0 446031414 29458776064 379454 33554432000 4194304 4196468 140732934582640 140732934565184 140603442130679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 /proc/29986/statm: 7192084 379454 3545 1 0 7153184 0 [pid=29986/tid=29987] ppid=29984 vsize=28768336 memory=1525512 CPUtime=0.81 cores=0-7 /proc/29986/task/29987/stat : 29987 (java) S 29984 29984 29646 0 -1 1077944384 9111 0 0 0 77 4 0 0 20 0 28 0 446031414 29458776064 379454 33554432000 4194304 4196468 140732934582640 140603446371456 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29988] ppid=29984 vsize=28768336 memory=-3622645143214314312 CPUtime=6.84 cores=0-7 /proc/29986/task/29988/stat : 29988 (java) S 29984 29984 29646 0 -1 1077944384 26261 0 0 0 612 72 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602993662864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29989] ppid=29984 vsize=28768336 memory=1525512 CPUtime=6.87 cores=0-7 /proc/29986/task/29989/stat : 29989 (java) R 29984 29984 29646 0 -1 1077944384 24586 0 0 0 618 69 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602992610064 140603442140885 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29990] ppid=29984 vsize=28768336 memory=1563516 CPUtime=6.81 cores=0-7 /proc/29986/task/29990/stat : 29990 (java) S 29984 29984 29646 0 -1 1077944384 24421 0 0 0 613 68 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602991557776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29991] ppid=29984 vsize=28768336 memory=3624 CPUtime=6.81 cores=0-7 /proc/29986/task/29991/stat : 29991 (java) S 29984 29984 29646 0 -1 1077944384 22909 0 0 0 611 70 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602990504976 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29992] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=6.86 cores=0-7 /proc/29986/task/29992/stat : 29992 (java) S 29984 29984 29646 0 -1 1077944384 23369 0 0 0 619 67 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602989451664 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29993] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=6.83 cores=0-7 /proc/29986/task/29993/stat : 29993 (java) S 29984 29984 29646 0 -1 1077944384 22393 0 0 0 615 68 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602988398864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29994] ppid=29984 vsize=28768336 memory=3624 CPUtime=6.73 cores=0-7 /proc/29986/task/29994/stat : 29994 (java) S 29984 29984 29646 0 -1 1077944384 21116 0 0 0 607 66 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602987346576 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29995] ppid=29984 vsize=28768336 memory=48004 CPUtime=6.81 cores=0-7 /proc/29986/task/29995/stat : 29995 (java) S 29984 29984 29646 0 -1 1077944384 21575 0 0 0 613 68 0 0 20 0 28 0 446031415 29458776064 379454 33554432000 4194304 4196468 140732934582640 140602986293776 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29996] ppid=29984 vsize=28768336 memory=3624 CPUtime=3.58 cores=0-7 /proc/29986/task/29996/stat : 29996 (java) S 29984 29984 29646 0 -1 1077944384 97771 0 0 0 182 176 0 0 20 0 28 0 446031416 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601821158000 140603442141826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29997] ppid=29984 vsize=28768336 memory=48004 CPUtime=0 cores=0-7 /proc/29986/task/29997/stat : 29997 (java) S 29984 29984 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446031417 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601820104032 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29998] ppid=29984 vsize=28768336 memory=988 CPUtime=0 cores=0-7 /proc/29986/task/29998/stat : 29998 (java) S 29984 29984 29646 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446031417 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601819051648 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=29999] ppid=29984 vsize=28768336 memory=2016 CPUtime=0 cores=0-7 /proc/29986/task/29999/stat : 29999 (java) S 29984 29984 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446031419 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601817999952 140603442149275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30000] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=2.12 cores=0-7 /proc/29986/task/30000/stat : 30000 (java) S 29984 29984 29646 0 -1 1077944384 14287 0 0 0 209 3 0 0 20 0 28 0 446031419 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601816946800 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30001] ppid=29984 vsize=28768336 memory=4126316290023845779 CPUtime=2.41 cores=0-7 /proc/29986/task/30001/stat : 30001 (java) S 29984 29984 29646 0 -1 1077944384 15448 0 0 0 237 4 0 0 20 0 28 0 446031420 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601815894000 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30002] ppid=29984 vsize=28768336 memory=14004 CPUtime=2.48 cores=0-7 /proc/29986/task/30002/stat : 30002 (java) S 29984 29984 29646 0 -1 1077944384 13638 0 0 0 245 3 0 0 20 0 28 0 446031420 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601814841712 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30003] ppid=29984 vsize=28768336 memory=14060 CPUtime=0.95 cores=0-7 /proc/29986/task/30003/stat : 30003 (java) S 29984 29984 29646 0 -1 1077944384 10680 0 0 0 93 2 0 0 20 0 28 0 446031420 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601813788912 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30004] ppid=29984 vsize=28768336 memory=2116 CPUtime=0 cores=0-7 /proc/29986/task/30004/stat : 30004 (java) S 29984 29984 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446031420 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601812736864 140603442140885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30005] ppid=29984 vsize=28768336 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/29986/task/30005/stat : 30005 (java) S 29984 29984 29646 0 -1 1077944384 3678 0 0 0 17 13 0 0 20 0 28 0 446031420 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601811684144 140603442141826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30006] ppid=29984 vsize=28768336 memory=988 CPUtime=996.26 cores=0-7 /proc/29986/task/30006/stat : 30006 (java) R 29984 29984 29646 0 -1 4202560 34257 0 0 0 99608 18 0 0 20 0 28 0 446031497 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601800367120 140603089092197 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30007] ppid=29984 vsize=28768336 memory=2016 CPUtime=996.87 cores=0-7 /proc/29986/task/30007/stat : 30007 (java) R 29984 29984 29646 0 -1 4202560 39519 0 0 0 99666 21 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601799316264 140603086265860 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30008] ppid=29984 vsize=28768336 memory=1424 CPUtime=998.76 cores=0-7 /proc/29986/task/30008/stat : 30008 (java) R 29984 29984 29646 0 -1 4202560 46953 0 0 0 99852 24 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601798262032 140603090583160 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30009] ppid=29984 vsize=28768336 memory=1540 CPUtime=998.71 cores=0-7 /proc/29986/task/30009/stat : 30009 (java) R 29984 29984 29646 0 -1 4202560 75271 0 0 0 99836 35 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601797212832 140603088686632 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30010] ppid=29984 vsize=28768336 memory=1712 CPUtime=997.34 cores=0-7 /proc/29986/task/30010/stat : 30010 (java) R 29984 29984 29646 0 -1 4202560 48967 0 0 0 99705 29 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601796157808 140603089037718 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30011] ppid=29984 vsize=28768336 memory=988 CPUtime=999.24 cores=0-7 /proc/29986/task/30011/stat : 30011 (java) R 29984 29984 29646 0 -1 4202560 51942 0 0 0 99888 36 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601610850600 140603089013577 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30012] ppid=29984 vsize=28768336 memory=4164 CPUtime=999.7 cores=0-7 /proc/29986/task/30012/stat : 30012 (java) R 29984 29984 29646 0 -1 4202560 39830 0 0 0 99947 23 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601609798384 140603090288955 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 [pid=29986/tid=30013] ppid=29984 vsize=28768336 memory=2828 CPUtime=997.27 cores=0-7 /proc/29986/task/30013/stat : 30013 (java) R 29984 29984 29646 0 -1 4202560 108010 0 0 0 99661 66 0 0 20 0 28 0 446031498 29458776064 379454 33554432000 4194304 4196468 140732934582640 140601608744784 140603086264885 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 21696512 140732934587370 140732934587542 140732934587542 140732934590415 0 Current children cumulated CPU time: 8051.57 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1519268 KiB Child status: 0 Real time (s): 1014.42 CPU time (s): 8051.62 CPU user time (s): 8041.72 CPU system time (s): 9.89578 CPU usage (%): 793.713 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 1645564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8041.72 system time used= 9.89578 maximum resident set size= 1644112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 798719 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1760 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 89600 involuntary context switches= 98684 # summary of solver processes directly reported to runsolver: # pid: 29984 # total CPU time (s): 8051.62 # total CPU user time (s): 8041.72 # total CPU system time (s): 9.89578 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.5931 second user time and 11.3173 second system time The end
Begin job on node140 at 2019-09-17 08:14:49 IDJOB=4399643 IDBENCH=120505 IDSOLVER=2854 FILE ID=node140/4399643-1568700930 RUNJOBID= node140-1568700822-29673 PBS_JOBID= 21703906 Free space on /tmp= 58116 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StripPacking/StripPacking-m1-series1/StripPacking-C3P2.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-4399643-1568700930/watcher-4399643-1568700930 -o /tmp/evaluation-result-4399643-1568700930/solver-4399643-1568700930 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 54260880 HOME/instance-4399643-1568700930.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65 RANDOM SEED=54260880 node140.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.43 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.43 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.43 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.43 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: 27248164 kB MemAvailable: 31848124 kB Buffers: 196944 kB Cached: 4645284 kB SwapCached: 2596 kB Active: 1625144 kB Inactive: 3225164 kB Active(anon): 4216 kB Inactive(anon): 52776 kB Active(file): 1620928 kB Inactive(file): 3172388 kB Unevictable: 107428 kB Mlocked: 107428 kB SwapTotal: 67108860 kB SwapFree: 66999436 kB Dirty: 26252 kB Writeback: 0 kB AnonPages: 42852 kB Mapped: 48852 kB Shmem: 40584 kB Slab: 264928 kB SReclaimable: 235104 kB SUnreclaim: 29824 kB KernelStack: 3824 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506424 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58088 MiB End job on node140 at 2019-09-17 08:31:44