Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 22 | 14.6681 | 2.40009 |
Name | StillLife/StillLife-m1-s1/ StillLife-03-14.xml |
MD5SUM | bb3a1ca81e7aea213eb86a812d55e65a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 4.78559 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 84 |
Number of constraints | 110 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":42},{"size":9,"count":42}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":42},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":12}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":12}] |
Number of extensional constraints | 68 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":68},{"type":"sum","count":42}] |
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-4407234-1569346349.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407234-1569346349.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.30/0.68 c solve instance... 1.67/0.72 o 0 1.67/0.73 o 4 1.67/0.74 o 6 1.67/0.75 o 8 1.67/0.77 o 10 1.67/0.78 o 19 1.67/0.80 o 20 3.06/0.91 o 21 3.06/0.93 o 22 14.02/2.38 s OPTIMUM FOUND 14.02/2.38 v <instantiation> 14.02/2.38 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] </list> 14.02/2.38 v <values>0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 2 3 2 4 2 3 2 2 2 2 2 2 3 2 3 6 3 4 3 6 3 4 3 3 4 3 6 3 2 3 2 2 2 3 2 4 3 3 4 2 3 2 </values> 14.02/2.38 v </instantiation>
OK 22
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 (12743 MiB free) memory of node 1: 16384 MiB (14315 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407234-1569346349/watcher-4407234-1569346349 -o /var/tmp/evaluation-result-4407234-1569346349/solver-4407234-1569346349 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1229534081 HOME/instance-4407234-1569346349.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13986, runsolver pid=13983 Current StackSize limit: 8192 KiB [startup+0.100123 s]* /proc/loadavg: 8.00 8.17 8.19 2/213 14007 /proc/meminfo: memFree=27690264/32770624 swapFree=66957756/67108860 [pid=13986] ppid=13983 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13986/stat : 13986 (xcsp3-exec) S 13983 13986 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510873509 115843072 364 33554432000 4194304 5098028 140729983509984 140729983508088 140041210229372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12652544 140729983513431 140729983513690 140729983513690 140729983516614 0 /proc/13986/statm: 28282 364 305 221 0 87 0 [pid=13988] ppid=13986 vsize=28227396 memory=29972 CPUtime=0.12 cores=0-7 /proc/13988/stat : 13988 (java) S 13986 13986 11717 0 -1 1077944320 5468 0 0 0 11 1 0 0 20 0 20 0 510873510 28904853504 7493 33554432000 4194304 4196468 140728069745552 140728069728096 140686725893879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 /proc/13988/statm: 7056849 7493 3113 1 0 7019032 0 [pid=13988/tid=13989] ppid=13986 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13988/task/13989/stat : 13989 (java) R 13986 13986 11717 0 -1 4202560 3410 0 0 0 9 0 0 0 20 0 20 0 510873510 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686730116880 140686725915226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13990] ppid=13986 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13988/task/13990/stat : 13990 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686689000080 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13991] ppid=13986 vsize=28227396 memory=140435737671296 CPUtime=0 cores=0-7 /proc/13988/task/13991/stat : 13991 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686275762704 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13992] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13992/stat : 13992 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686274709904 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13993] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13993/stat : 13993 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686273657104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13994] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13994/stat : 13994 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686272605328 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13995] ppid=13986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13988/task/13995/stat : 13995 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686271552528 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13996] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13996/stat : 13996 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686270499728 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13997] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13997/stat : 13997 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 7493 33554432000 4194304 4196468 140728069745552 140686269446928 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13998] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13998/stat : 13998 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873512 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685104929136 140686725905026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13999] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13999/stat : 13999 (java) S 13986 13986 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510873513 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685103875104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14000] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14000/stat : 14000 (java) S 13986 13986 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510873513 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685102822256 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14001] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14001/stat : 14001 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685101770576 140686725912475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14002] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14002/stat : 14002 (java) S 13986 13986 11717 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685100718960 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14003] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14003/stat : 14003 (java) R 13986 13986 11717 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685099666160 140686707246192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14004] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14004/stat : 14004 (java) R 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685098613360 140686725905026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14005] ppid=13986 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13988/task/14005/stat : 14005 (java) R 13986 13986 11717 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 20 0 510873515 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685097560560 140686725905814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14006] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14006/stat : 14006 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685096508000 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14007] ppid=13986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13988/task/14007/stat : 14007 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873516 28904853504 7493 33554432000 4194304 4196468 140728069745552 140685095455280 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31428 KiB [startup+0.210792 s]* /proc/loadavg: 8.00 8.17 8.19 3/213 14007 /proc/meminfo: memFree=27677484/32770624 swapFree=66957756/67108860 [pid=13986] ppid=13983 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13986/stat : 13986 (xcsp3-exec) S 13983 13986 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510873509 115843072 364 33554432000 4194304 5098028 140729983509984 140729983508088 140041210229372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12652544 140729983513431 140729983513690 140729983513690 140729983516614 0 /proc/13986/statm: 28282 364 305 221 0 87 0 [pid=13988] ppid=13986 vsize=28227396 memory=40512 CPUtime=0.33 cores=0-7 /proc/13988/stat : 13988 (java) S 13986 13986 11717 0 -1 1077944320 8944 0 0 0 31 2 0 0 20 0 20 0 510873510 28904853504 10128 33554432000 4194304 4196468 140728069745552 140728069728096 140686725893879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 /proc/13988/statm: 7056849 10128 3255 1 0 7019032 0 [pid=13988/tid=13989] ppid=13986 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13988/task/13989/stat : 13989 (java) R 13986 13986 11717 0 -1 4202560 6179 0 0 0 18 1 0 0 20 0 20 0 510873510 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686730125040 140686725905814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13990] ppid=13986 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/13988/task/13990/stat : 13990 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686689000080 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13991] ppid=13986 vsize=28227396 memory=3762678237650876064 CPUtime=0 cores=0-7 /proc/13988/task/13991/stat : 13991 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686275762704 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13992] ppid=13986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13988/task/13992/stat : 13992 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686274709904 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13993] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13993/stat : 13993 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686273657104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13994] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13994/stat : 13994 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686272605328 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13995] ppid=13986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13988/task/13995/stat : 13995 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686271552528 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13996] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13996/stat : 13996 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686270499728 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13997] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13997/stat : 13997 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873511 28904853504 10128 33554432000 4194304 4196468 140728069745552 140686269446928 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13998] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13998/stat : 13998 (java) S 13986 13986 11717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510873512 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685104929136 140686725905026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13999] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13999/stat : 13999 (java) S 13986 13986 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510873513 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685103875104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14000] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14000/stat : 14000 (java) S 13986 13986 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510873513 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685102822256 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14001] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14001/stat : 14001 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685101770576 140686725912475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14002] ppid=13986 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13988/task/14002/stat : 14002 (java) S 13986 13986 11717 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 510873515 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685100718960 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14003] ppid=13986 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13988/task/14003/stat : 14003 (java) S 13986 13986 11717 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 510873515 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685099666160 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14004] ppid=13986 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/13988/task/14004/stat : 14004 (java) S 13986 13986 11717 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 510873515 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685098613360 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14005] ppid=13986 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/13988/task/14005/stat : 14005 (java) R 13986 13986 11717 0 -1 4202560 788 0 0 0 8 0 0 0 20 0 20 0 510873515 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685097560368 140686725905814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14006] ppid=13986 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14006/stat : 14006 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873515 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685096508000 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14007] ppid=13986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13988/task/14007/stat : 14007 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873516 28904853504 10128 33554432000 4194304 4196468 140728069745552 140685095455280 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41968 KiB [startup+0.310601 s]* /proc/loadavg: 8.00 8.17 8.19 3/213 14007 /proc/meminfo: memFree=27670848/32770624 swapFree=66957756/67108860 [pid=13986] ppid=13983 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13986/stat : 13986 (xcsp3-exec) S 13983 13986 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510873509 115843072 364 33554432000 4194304 5098028 140729983509984 140729983508088 140041210229372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12652544 140729983513431 140729983513690 140729983513690 140729983516614 0 /proc/13986/statm: 28282 364 305 221 0 87 0 [pid=13988] ppid=13986 vsize=28231652 memory=49404 CPUtime=0.52 cores=0-7 /proc/13988/stat : 13988 (java) S 13986 13986 11717 0 -1 1077944320 10259 0 0 0 49 3 0 0 20 0 20 0 510873510 28909211648 12351 33554432000 4194304 4196468 140728069745552 140728069728096 140686725893879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 /proc/13988/statm: 7057913 12351 3308 1 0 7019032 0 [pid=13988/tid=13989] ppid=13986 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13988/task/13989/stat : 13989 (java) R 13986 13986 11717 0 -1 4202560 7255 0 0 0 27 2 0 0 20 0 20 0 510873510 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686730124992 140686725915805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13990] ppid=13986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13990/stat : 13990 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686689000080 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13991] ppid=13986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13991/stat : 13991 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686275762704 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13992] ppid=13986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13992/stat : 13992 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686274709904 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13993] ppid=13986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13993/stat : 13993 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686273657104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13994] ppid=13986 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/13988/task/13994/stat : 13994 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686272605328 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13995] ppid=13986 vsize=28231652 memory=140435632780207 CPUtime=0 cores=0-7 /proc/13988/task/13995/stat : 13995 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686271552528 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13996] ppid=13986 vsize=28231652 memory=140435632782512 CPUtime=0 cores=0-7 /proc/13988/task/13996/stat : 13996 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686270499728 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13997] ppid=13986 vsize=28231652 memory=140435632784816 CPUtime=0 cores=0-7 /proc/13988/task/13997/stat : 13997 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510873511 28909211648 12351 33554432000 4194304 4196468 140728069745552 140686269446928 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13998] ppid=13986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13998/stat : 13998 (java) S 13986 13986 11717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510873512 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685104929136 140686725905026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13999] ppid=13986 vsize=28231652 memory=280871265576592 CPUtime=0 cores=0-7 /proc/13988/task/13999/stat : 13999 (java) S 13986 13986 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510873513 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685103875104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14000] ppid=13986 vsize=28231652 memory=280871265583504 CPUtime=0 cores=0-7 /proc/13988/task/14000/stat : 14000 (java) S 13986 13986 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510873513 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685102822256 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14001] ppid=13986 vsize=28231652 memory=280871265524656 CPUtime=0 cores=0-7 /proc/13988/task/14001/stat : 14001 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873515 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685101770576 140686725912475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14002] ppid=13986 vsize=28231652 memory=280871265597328 CPUtime=0.02 cores=0-7 /proc/13988/task/14002/stat : 14002 (java) S 13986 13986 11717 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 20 0 510873515 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685100718960 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14003] ppid=13986 vsize=28231652 memory=280871265604240 CPUtime=0.04 cores=0-7 /proc/13988/task/14003/stat : 14003 (java) R 13986 13986 11717 0 -1 4202560 315 0 0 0 4 0 0 0 20 0 20 0 510873515 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685099656544 140686707438005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14004] ppid=13986 vsize=28231652 memory=280871265601936 CPUtime=0.02 cores=0-7 /proc/13988/task/14004/stat : 14004 (java) S 13986 13986 11717 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 20 0 510873515 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685098613360 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14005] ppid=13986 vsize=28231652 memory=280871265618096 CPUtime=0.13 cores=0-7 /proc/13988/task/14005/stat : 14005 (java) S 13986 13986 11717 0 -1 1077944384 929 0 0 0 13 0 0 0 20 0 20 0 510873515 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685097560560 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14006] ppid=13986 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14006/stat : 14006 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873515 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685096508000 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14007] ppid=13986 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13988/task/14007/stat : 14007 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873516 28909211648 12351 33554432000 4194304 4196468 140728069745552 140685095455280 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50860 KiB [startup+0.700967 s] /proc/loadavg: 8.00 8.17 8.19 5/213 14007 /proc/meminfo: memFree=27655768/32770624 swapFree=66957756/67108860 [pid=13986] ppid=13983 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13986/stat : 13986 (xcsp3-exec) S 13983 13986 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510873509 115843072 364 33554432000 4194304 5098028 140729983509984 140729983508088 140041210229372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12652544 140729983513431 140729983513690 140729983513690 140729983516614 0 /proc/13986/statm: 28282 364 305 221 0 87 0 [pid=13988] ppid=13986 vsize=28233776 memory=86356 CPUtime=1.67 cores=0-7 /proc/13988/stat : 13988 (java) S 13986 13986 11717 0 -1 1077944320 15326 0 0 0 161 6 0 0 20 0 20 0 510873510 28911386624 21589 33554432000 4194304 4196468 140728069745552 140728069728096 140686725893879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 /proc/13988/statm: 7058444 21589 3453 1 0 7019544 0 [pid=13988/tid=13989] ppid=13986 vsize=28233776 memory=280871265975984 CPUtime=0.67 cores=0-7 /proc/13988/task/13989/stat : 13989 (java) R 13986 13986 11717 0 -1 4202560 8934 0 0 0 64 3 0 0 20 0 20 0 510873510 28911386624 21589 33554432000 4194304 4196468 140728069745552 140686730128576 140686709974366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13990] ppid=13986 vsize=28233776 memory=140435632989040 CPUtime=0 cores=0-7 /proc/13988/task/13990/stat : 13990 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28911386624 21589 33554432000 4194304 4196468 140728069745552 140686689000080 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13991] ppid=13986 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13991/stat : 13991 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510873511 28911386624 21589 33554432000 4194304 4196468 140728069745552 140686275762704 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13992] ppid=13986 vsize=28233776 memory=6160 CPUtime=0 cores=0-7 /proc/13988/task/13992/stat : 13992 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510873511 28911386624 21589 33554432000 4194304 4196468 140728069745552 140686274709904 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 ################ # More data... # ################ [pid=13988/tid=14005] ppid=13986 vsize=28768336 memory=0 CPUtime=0.63 cores=0-7 /proc/13988/task/14005/stat : 14005 (java) S 13986 13986 11717 0 -1 1077944384 2820 0 0 0 62 1 0 0 20 0 28 0 510873515 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685097560560 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14006] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14006/stat : 14006 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510873515 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685096508000 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14007] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14007/stat : 14007 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510873516 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685095455280 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14080] ppid=13986 vsize=28768336 memory=0 CPUtime=0.9 cores=0-7 /proc/13988/task/14080/stat : 14080 (java) R 13986 13986 11717 0 -1 4202560 19 0 0 0 90 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685085183104 140686367768006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14081] ppid=13986 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7 /proc/13988/task/14081/stat : 14081 (java) R 13986 13986 11717 0 -1 4202560 20 0 0 0 89 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685078871456 140686367462565 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14082] ppid=13986 vsize=28768336 memory=0 CPUtime=0.85 cores=0-7 /proc/13988/task/14082/stat : 14082 (java) R 13986 13986 11717 0 -1 4202560 18 0 0 0 85 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685080974536 140686368319218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14083] ppid=13986 vsize=28768336 memory=0 CPUtime=0.73 cores=0-7 /proc/13988/task/14083/stat : 14083 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 73 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685083078696 140686368878093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14084] ppid=13986 vsize=28768336 memory=0 CPUtime=0.85 cores=0-7 /proc/13988/task/14084/stat : 14084 (java) R 13986 13986 11717 0 -1 4202560 20 0 0 0 85 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685079923320 140686368749248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14085] ppid=13986 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7 /proc/13988/task/14085/stat : 14085 (java) R 13986 13986 11717 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685086238552 140686368877835 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14086] ppid=13986 vsize=28768336 memory=3472592183261933599 CPUtime=0.9 cores=0-7 /proc/13988/task/14086/stat : 14086 (java) R 13986 13986 11717 0 -1 4202560 19 0 0 0 90 0 0 0 20 0 28 0 510873603 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685084131608 140686368135715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14087] ppid=13986 vsize=28768336 memory=2319692686270144563 CPUtime=0.71 cores=0-7 /proc/13988/task/14087/stat : 14087 (java) R 13986 13986 11717 0 -1 4202560 21 0 0 0 71 0 0 0 20 0 28 0 510873604 29458776064 53350 33554432000 4194304 4196468 140728069745552 140685082025704 140686711104203 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 Current children cumulated CPU time: 11.71 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 214856 KiB [startup+2.20199 s] /proc/loadavg: 7.92 8.15 8.18 9/221 14087 /proc/meminfo: memFree=27508308/32770624 swapFree=66957756/67108860 [pid=13986] ppid=13983 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13986/stat : 13986 (xcsp3-exec) S 13983 13986 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510873509 115843072 364 33554432000 4194304 5098028 140729983509984 140729983508088 140041210229372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12652544 140729983513431 140729983513690 140729983513690 140729983516614 0 /proc/13986/statm: 28282 364 305 221 0 87 0 [pid=13988] ppid=13986 vsize=28768336 memory=213452 CPUtime=13.24 cores=0-7 /proc/13988/stat : 13988 (java) S 13986 13986 11717 0 -1 1077944320 22072 0 0 0 1312 12 0 0 20 0 28 0 510873510 29458776064 53363 33554432000 4194304 4196468 140728069745552 140728069728096 140686725893879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 /proc/13988/statm: 7192084 53363 3493 1 0 7153184 0 [pid=13988/tid=13989] ppid=13986 vsize=28768336 memory=3787834 CPUtime=0.68 cores=0-7 /proc/13988/task/13989/stat : 13989 (java) S 13986 13986 11717 0 -1 1077944384 8940 0 0 0 65 3 0 0 20 0 28 0 510873510 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686730134656 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13990] ppid=13986 vsize=28768336 memory=43757117805 CPUtime=0 cores=0-7 /proc/13988/task/13990/stat : 13990 (java) S 13986 13986 11717 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686689000080 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13991] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13991/stat : 13991 (java) S 13986 13986 11717 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686275762704 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13992] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13992/stat : 13992 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686274709904 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13993] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13993/stat : 13993 (java) S 13986 13986 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686273657104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13994] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13994/stat : 13994 (java) S 13986 13986 11717 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686272605328 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13995] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13995/stat : 13995 (java) S 13986 13986 11717 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686271552528 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13996] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13996/stat : 13996 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686270499728 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13997] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13997/stat : 13997 (java) S 13986 13986 11717 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686269446928 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13998] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13998/stat : 13998 (java) S 13986 13986 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510873512 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685104929136 140686725905026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13999] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13999/stat : 13999 (java) S 13986 13986 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510873513 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685103875104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14000] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14000/stat : 14000 (java) S 13986 13986 11717 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510873513 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685102822256 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14001] ppid=13986 vsize=28768336 memory=8026650869813564775 CPUtime=0 cores=0-7 /proc/13988/task/14001/stat : 14001 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685101770576 140686725912475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14002] ppid=13986 vsize=28768336 memory=7957689449132282197 CPUtime=0.92 cores=0-7 /proc/13988/task/14002/stat : 14002 (java) S 13986 13986 11717 0 -1 1077944384 2079 0 0 0 91 1 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685100718960 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14003] ppid=13986 vsize=28768336 memory=7588671304909280615 CPUtime=0.94 cores=0-7 /proc/13988/task/14003/stat : 14003 (java) S 13986 13986 11717 0 -1 1077944384 3536 0 0 0 94 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685099666160 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14004] ppid=13986 vsize=28768336 memory=7588671304909280615 CPUtime=0.87 cores=0-7 /proc/13988/task/14004/stat : 14004 (java) S 13986 13986 11717 0 -1 1077944384 1598 0 0 0 87 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685098613360 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14005] ppid=13986 vsize=28768336 memory=6369868150210126928 CPUtime=0.64 cores=0-7 /proc/13988/task/14005/stat : 14005 (java) S 13986 13986 11717 0 -1 1077944384 2824 0 0 0 63 1 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685097560560 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14006] ppid=13986 vsize=28768336 memory=8099531882097108048 CPUtime=0 cores=0-7 /proc/13988/task/14006/stat : 14006 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685096508000 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14007] ppid=13986 vsize=28768336 memory=7957689449132282197 CPUtime=0 cores=0-7 /proc/13988/task/14007/stat : 14007 (java) R 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510873516 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685095455280 140686725905026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14080] ppid=13986 vsize=28768336 memory=7957689449132282197 CPUtime=1.09 cores=0-7 /proc/13988/task/14080/stat : 14080 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 109 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685085183240 140686367111155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14081] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=1.07 cores=0-7 /proc/13988/task/14081/stat : 14081 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 107 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685078871456 140686366756544 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14082] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=1.03 cores=0-7 /proc/13988/task/14082/stat : 14082 (java) R 13986 13986 11717 0 -1 4202560 20 0 0 0 103 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685080978264 140686368162886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14083] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=0.92 cores=0-7 /proc/13988/task/14083/stat : 14083 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 92 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685083079784 140686367686533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14084] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=1.02 cores=0-7 /proc/13988/task/14084/stat : 14084 (java) R 13986 13986 11717 0 -1 4202560 21 0 0 0 102 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685079923320 140686367111155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14085] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=1.07 cores=0-7 /proc/13988/task/14085/stat : 14085 (java) R 13986 13986 11717 0 -1 4202560 20 0 0 0 107 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685086240672 140686362776312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14086] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=1.09 cores=0-7 /proc/13988/task/14086/stat : 14086 (java) R 13986 13986 11717 0 -1 4202560 24 0 0 0 109 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685084132072 140686362775744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14087] ppid=13986 vsize=28768336 memory=7955166091236687980 CPUtime=0.89 cores=0-7 /proc/13988/task/14087/stat : 14087 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 89 0 0 0 20 0 28 0 510873604 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685082025576 140686368878285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 Current children cumulated CPU time: 13.24 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 214908 KiB [startup+2.30199 s] /proc/loadavg: 7.92 8.15 8.18 9/221 14087 /proc/meminfo: memFree=27508308/32770624 swapFree=66957756/67108860 [pid=13986] ppid=13983 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13986/stat : 13986 (xcsp3-exec) S 13983 13986 11717 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510873509 115843072 364 33554432000 4194304 5098028 140729983509984 140729983508088 140041210229372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12652544 140729983513431 140729983513690 140729983513690 140729983516614 0 /proc/13986/statm: 28282 364 305 221 0 87 0 [pid=13988] ppid=13986 vsize=28768336 memory=213452 CPUtime=14.02 cores=0-7 /proc/13988/stat : 13988 (java) S 13986 13986 11717 0 -1 1077944320 22081 0 0 0 1390 12 0 0 20 0 28 0 510873510 29458776064 53363 33554432000 4194304 4196468 140728069745552 140728069728096 140686725893879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 /proc/13988/statm: 7192084 53363 3493 1 0 7153184 0 [pid=13988/tid=13989] ppid=13986 vsize=28768336 memory=140440032638591 CPUtime=0.68 cores=0-7 /proc/13988/task/13989/stat : 13989 (java) S 13986 13986 11717 0 -1 1077944384 8940 0 0 0 65 3 0 0 20 0 28 0 510873510 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686730134656 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13990] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13990/stat : 13990 (java) S 13986 13986 11717 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686689000080 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13991] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13991/stat : 13991 (java) S 13986 13986 11717 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686275762704 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13992] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13992/stat : 13992 (java) S 13986 13986 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686274709904 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13993] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13993/stat : 13993 (java) S 13986 13986 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686273657104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13994] ppid=13986 vsize=28768336 memory=57 CPUtime=0 cores=0-7 /proc/13988/task/13994/stat : 13994 (java) S 13986 13986 11717 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686272605328 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13995] ppid=13986 vsize=28768336 memory=1943562 CPUtime=0 cores=0-7 /proc/13988/task/13995/stat : 13995 (java) S 13986 13986 11717 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686271552528 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13996] ppid=13986 vsize=28768336 memory=1944740 CPUtime=0 cores=0-7 /proc/13988/task/13996/stat : 13996 (java) S 13986 13986 11717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686270499728 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13997] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13997/stat : 13997 (java) S 13986 13986 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510873511 29458776064 53363 33554432000 4194304 4196468 140728069745552 140686269446928 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13998] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13998/stat : 13998 (java) S 13986 13986 11717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510873512 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685104929136 140686725905026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=13999] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/13999/stat : 13999 (java) S 13986 13986 11717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510873513 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685103875104 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14000] ppid=13986 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/13988/task/14000/stat : 14000 (java) S 13986 13986 11717 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510873513 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685102822256 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14001] ppid=13986 vsize=28768336 memory=4580 CPUtime=0 cores=0-7 /proc/13988/task/14001/stat : 14001 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685101770576 140686725912475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14002] ppid=13986 vsize=28768336 memory=0 CPUtime=0.92 cores=0-7 /proc/13988/task/14002/stat : 14002 (java) S 13986 13986 11717 0 -1 1077944384 2079 0 0 0 91 1 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685100718960 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14003] ppid=13986 vsize=28768336 memory=0 CPUtime=0.94 cores=0-7 /proc/13988/task/14003/stat : 14003 (java) S 13986 13986 11717 0 -1 1077944384 3536 0 0 0 94 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685099666160 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14004] ppid=13986 vsize=28768336 memory=0 CPUtime=0.87 cores=0-7 /proc/13988/task/14004/stat : 14004 (java) S 13986 13986 11717 0 -1 1077944384 1598 0 0 0 87 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685098613360 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14005] ppid=13986 vsize=28768336 memory=57 CPUtime=0.64 cores=0-7 /proc/13988/task/14005/stat : 14005 (java) R 13986 13986 11717 0 -1 1077944384 2824 0 0 0 63 1 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685097560560 140686725905026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14006] ppid=13986 vsize=28768336 memory=7091036787602121812 CPUtime=0 cores=0-7 /proc/13988/task/14006/stat : 14006 (java) S 13986 13986 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510873515 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685096508000 140686725904085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14007] ppid=13986 vsize=28768336 memory=4641074187873313646 CPUtime=0 cores=0-7 /proc/13988/task/14007/stat : 14007 (java) S 13986 13986 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510873516 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685095455280 140686725905026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14080] ppid=13986 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7 /proc/13988/task/14080/stat : 14080 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 119 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685085186416 140686368468006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14081] ppid=13986 vsize=28768336 memory=7669177627966857581 CPUtime=1.16 cores=0-7 /proc/13988/task/14081/stat : 14081 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 116 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685078871392 140686364986987 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14082] ppid=13986 vsize=28768336 memory=8026650869813564775 CPUtime=1.12 cores=0-7 /proc/13988/task/14082/stat : 14082 (java) R 13986 13986 11717 0 -1 4202560 20 0 0 0 112 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685080978264 140686367686150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14083] ppid=13986 vsize=28768336 memory=6224092777004422504 CPUtime=1.01 cores=0-7 /proc/13988/task/14083/stat : 14083 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 101 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685083082992 140686367112627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14084] ppid=13986 vsize=28768336 memory=1456 CPUtime=1.12 cores=0-7 /proc/13988/task/14084/stat : 14084 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 112 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685079924704 140728069834966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14085] ppid=13986 vsize=28768336 memory=213452 CPUtime=1.16 cores=0-7 /proc/13988/task/14085/stat : 14085 (java) R 13986 13986 11717 0 -1 4202560 20 0 0 0 116 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685086236152 140686367111760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14086] ppid=13986 vsize=28768336 memory=43 CPUtime=1.19 cores=0-7 /proc/13988/task/14086/stat : 14086 (java) R 13986 13986 11717 0 -1 4202560 24 0 0 0 119 0 0 0 20 0 28 0 510873603 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685084133440 140686367686312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 [pid=13988/tid=14087] ppid=13986 vsize=28768336 memory=140435632793704 CPUtime=0.98 cores=0-7 /proc/13988/task/14087/stat : 14087 (java) R 13986 13986 11717 0 -1 4202560 22 0 0 0 98 0 0 0 20 0 28 0 510873604 29458776064 53363 33554432000 4194304 4196468 140728069745552 140685082029800 140686368877784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14827520 140728069747676 140728069747851 140728069747851 140728069750735 0 Current children cumulated CPU time: 14.02 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 214908 KiB Child status: 0 Real time (s): 2.40009 CPU time (s): 14.6681 CPU user time (s): 14.5394 CPU system time (s): 0.128679 CPU usage (%): 611.147 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 214908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5394 system time used= 0.128679 maximum resident set size= 214448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22654 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4164 involuntary context switches= 401 # summary of solver processes directly reported to runsolver: # pid: 13986 # total CPU time (s): 14.6681 # total CPU user time (s): 14.5394 # total CPU system time (s): 0.128679 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043326 second user time and 0.069468 second system time The end
Begin job on node149 at 2019-09-24 19:31:50 IDJOB=4407234 IDBENCH=115951 IDSOLVER=2872 FILE ID=node149/4407234-1569346349 RUNJOBID= node149-1569335940-11744 PBS_JOBID= 21705048 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-03-14.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407234-1569346349/watcher-4407234-1569346349 -o /var/tmp/evaluation-result-4407234-1569346349/solver-4407234-1569346349 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1229534081 HOME/instance-4407234-1569346349.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb3a1ca81e7aea213eb86a812d55e65a RANDOM SEED=1229534081 node149.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.81 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.81 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.81 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.81 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: 27708868 kB MemAvailable: 31805016 kB Buffers: 102600 kB Cached: 4087412 kB SwapCached: 42408 kB Active: 2923940 kB Inactive: 1312296 kB Active(anon): 4520 kB Inactive(anon): 95480 kB Active(file): 2919420 kB Inactive(file): 1216816 kB Unevictable: 108416 kB Mlocked: 108416 kB SwapTotal: 67108860 kB SwapFree: 66957756 kB Dirty: 26248 kB Writeback: 0 kB AnonPages: 128096 kB Mapped: 57264 kB Shmem: 44908 kB Slab: 417664 kB SReclaimable: 388372 kB SUnreclaim: 29292 kB KernelStack: 3744 kB PageTables: 5736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-24 19:31:53