0.30/0.25 c version: 2017-08-22
0.30/0.25 c seed: 2106859281
0.30/0.25 c timeout: 20160
0.30/0.25 c memlimit: 22000
0.30/0.25 c nbcore: 8
0.30/0.28 c Parsing instance...
0.83/0.53 c Parsing done, starting search...
1.41/1.00 s SATISFIABLE
1.41/1.00 v <instantiation>
1.41/1.00 v <list>
1.41/1.00 v x[0][0] x[1][0] x[2][0] s[0][1][0] s[0][2][0] s[1][2][0]
1.41/1.00 v </list>
1.41/1.00 v <values>
1.41/1.00 v 1 1 1 1 1 1
1.41/1.00 v </values>
1.41/1.00 v </instantiation>
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 (11269 MiB free)
memory of node 1: 16384 MiB (9788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285071-1503424051/watcher-4285071-1503424051 -o /tmp/evaluation-result-4285071-1503424051/solver-4285071-1503424051 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503415160-5437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2106859281 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285071-1503424051.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=8227, runsolver pid=8224
[startup+0.100124 s]*
/proc/loadavg: 2.48 3.74 6.28 2/199 8247
/proc/meminfo: memFree=21544552/32770624 swapFree=67108860/67108860
[pid=8227] ppid=8224 vsize=26000852 memory=33424 CPUtime=0.12 cores=0-7
/proc/8227/stat : 8227 (java) S 8224 8227 5410 0 -1 1077944320 8234 0 0 0 10 2 0 0 20 0 20 0 175492950 26624872448 8356 33554432000 4194304 4196468 140735246879408 140735246861952 140581139693303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
/proc/8227/statm: 6500213 8356 3413 1 0 6487932 0
[pid=8227/tid=8229] ppid=8224 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8227/task/8229/stat : 8229 (java) R 8224 8227 5410 0 -1 4202560 6190 0 0 0 8 1 0 0 20 0 20 0 175492950 26624872448 8356 33554432000 4194304 4196468 140735246879408 140581143872176 140581139715229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8230] ppid=8224 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8227/task/8230/stat : 8230 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140581062273808 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8231] ppid=8224 vsize=26000852 memory=140168479950464 CPUtime=0 cores=0-7
/proc/8227/task/8231/stat : 8231 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140581061221264 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8232] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8232/stat : 8232 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140581060168720 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8233] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8233/stat : 8233 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140581059116176 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8234] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8234/stat : 8234 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580693760272 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8235] ppid=8224 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8227/task/8235/stat : 8235 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580692707728 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8236] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8236/stat : 8236 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580691655184 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8237] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8237/stat : 8237 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580690602640 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8238] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8238/stat : 8238 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492953 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580268018160 140581139704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8239] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8239/stat : 8239 (java) S 8224 8227 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492953 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580266964384 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8240] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8240/stat : 8240 (java) S 8224 8227 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492953 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580265911792 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8241] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8241/stat : 8241 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580264860368 140581139711899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8242] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8242/stat : 8242 (java) S 8224 8227 5410 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580263806960 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8243] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8243/stat : 8243 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580262754416 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8244] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8244/stat : 8244 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580261701872 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8245] ppid=8224 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/8227/task/8245/stat : 8245 (java) S 8224 8227 5410 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580260649328 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8246] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8246/stat : 8246 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580259597024 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8247] ppid=8224 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8227/task/8247/stat : 8247 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 8356 33554432000 4194304 4196468 140735246879408 140580258544560 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 33424 KiB
[startup+0.209681 s]*
/proc/loadavg: 2.48 3.74 6.28 3/199 8247
/proc/meminfo: memFree=21535872/32770624 swapFree=67108860/67108860
[pid=8227] ppid=8224 vsize=26000852 memory=42584 CPUtime=0.3 cores=0-7
/proc/8227/stat : 8227 (java) S 8224 8227 5410 0 -1 1077944320 9264 0 0 0 27 3 0 0 20 0 20 0 175492950 26624872448 10646 33554432000 4194304 4196468 140735246879408 140735246861952 140581139693303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
/proc/8227/statm: 6500213 10646 3569 1 0 6487932 0
[pid=8227/tid=8229] ppid=8224 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/8227/task/8229/stat : 8229 (java) R 8224 8227 5410 0 -1 4202560 6825 0 0 0 18 2 0 0 20 0 20 0 175492950 26624872448 10646 33554432000 4194304 4196468 140735246879408 140581143920192 140581123773790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8230] ppid=8224 vsize=26000852 memory=12768 CPUtime=0 cores=0-7
/proc/8227/task/8230/stat : 8230 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140581062273808 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8231] ppid=8224 vsize=26000852 memory=140168479956496 CPUtime=0 cores=0-7
/proc/8227/task/8231/stat : 8231 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140581061221264 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8232] ppid=8224 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8227/task/8232/stat : 8232 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140581060168720 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8233] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8233/stat : 8233 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140581059116176 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8234] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8234/stat : 8234 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580693760272 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8235] ppid=8224 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8227/task/8235/stat : 8235 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580692707728 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8236] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8236/stat : 8236 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580691655184 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8237] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8237/stat : 8237 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580690602640 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8238] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8238/stat : 8238 (java) S 8224 8227 5410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175492953 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580268018160 140581139704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8239] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8239/stat : 8239 (java) S 8224 8227 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492953 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580266964384 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8240] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8240/stat : 8240 (java) S 8224 8227 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492953 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580265911792 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8241] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8241/stat : 8241 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580264860368 140581139711899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8242] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8242/stat : 8242 (java) S 8224 8227 5410 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580263806960 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8243] ppid=8224 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8227/task/8243/stat : 8243 (java) S 8224 8227 5410 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580262754416 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8244] ppid=8224 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/8227/task/8244/stat : 8244 (java) S 8224 8227 5410 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580261701872 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8245] ppid=8224 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/8227/task/8245/stat : 8245 (java) S 8224 8227 5410 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580260649328 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8246] ppid=8224 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8246/stat : 8246 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580259597024 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8247] ppid=8224 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/8227/task/8247/stat : 8247 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26624872448 10646 33554432000 4194304 4196468 140735246879408 140580258544560 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42584 KiB
[startup+0.309373 s]*
/proc/loadavg: 2.48 3.74 6.28 3/199 8247
/proc/meminfo: memFree=21529048/32770624 swapFree=67108860/67108860
[pid=8227] ppid=8224 vsize=26000872 memory=51188 CPUtime=0.48 cores=0-7
/proc/8227/stat : 8227 (java) S 8224 8227 5410 0 -1 1077944320 10538 0 0 0 44 4 0 0 20 0 20 0 175492950 26624892928 12797 33554432000 4194304 4196468 140735246879408 140735246861952 140581139693303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
/proc/8227/statm: 6500218 12797 3722 1 0 6487932 0
[pid=8227/tid=8229] ppid=8224 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8227/task/8229/stat : 8229 (java) R 8224 8227 5410 0 -1 4202560 7601 0 0 0 27 2 0 0 20 0 20 0 175492950 26624892928 12797 33554432000 4194304 4196468 140735246879408 140581143924208 140580738859251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8230] ppid=8224 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8230/stat : 8230 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140581062273808 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8231] ppid=8224 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8231/stat : 8231 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140581061221264 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8232] ppid=8224 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8232/stat : 8232 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140581060168720 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8233] ppid=8224 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8233/stat : 8233 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140581059116176 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8234] ppid=8224 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/8227/task/8234/stat : 8234 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580693760272 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8235] ppid=8224 vsize=26000872 memory=140168338174895 CPUtime=0 cores=0-7
/proc/8227/task/8235/stat : 8235 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580692707728 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8236] ppid=8224 vsize=26000872 memory=140168338177200 CPUtime=0 cores=0-7
/proc/8227/task/8236/stat : 8236 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580691655184 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8237] ppid=8224 vsize=26000872 memory=140168338179504 CPUtime=0 cores=0-7
/proc/8227/task/8237/stat : 8237 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580690602640 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8238] ppid=8224 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8238/stat : 8238 (java) S 8224 8227 5410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175492953 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580268018160 140581139704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8239] ppid=8224 vsize=26000872 memory=280336676365968 CPUtime=0 cores=0-7
/proc/8227/task/8239/stat : 8239 (java) S 8224 8227 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492953 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580266964384 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8240] ppid=8224 vsize=26000872 memory=280336676372880 CPUtime=0 cores=0-7
/proc/8227/task/8240/stat : 8240 (java) S 8224 8227 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492953 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580265911792 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8241] ppid=8224 vsize=26000872 memory=280336676314160 CPUtime=0 cores=0-7
/proc/8227/task/8241/stat : 8241 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580264860368 140581139711899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8242] ppid=8224 vsize=26000872 memory=280336676386704 CPUtime=0.02 cores=0-7
/proc/8227/task/8242/stat : 8242 (java) S 8224 8227 5410 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580263806960 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8243] ppid=8224 vsize=26000872 memory=280336676393616 CPUtime=0.03 cores=0-7
/proc/8227/task/8243/stat : 8243 (java) S 8224 8227 5410 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580262754416 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8244] ppid=8224 vsize=26000872 memory=280336676391312 CPUtime=0.03 cores=0-7
/proc/8227/task/8244/stat : 8244 (java) R 8224 8227 5410 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580261701872 140581139704450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8245] ppid=8224 vsize=26000872 memory=280336676407920 CPUtime=0.08 cores=0-7
/proc/8227/task/8245/stat : 8245 (java) S 8224 8227 5410 0 -1 1077944384 418 0 0 0 8 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580260649328 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8246] ppid=8224 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8246/stat : 8246 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580259597024 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8247] ppid=8224 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/8227/task/8247/stat : 8247 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26624892928 12797 33554432000 4194304 4196468 140735246879408 140580258544560 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 51188 KiB
[startup+0.700837 s]
/proc/loadavg: 2.48 3.74 6.28 2/199 8247
/proc/meminfo: memFree=21515400/32770624 swapFree=67108860/67108860
[pid=8227] ppid=8224 vsize=26004968 memory=81844 CPUtime=1.06 cores=0-7
/proc/8227/stat : 8227 (java) S 8224 8227 5410 0 -1 1077944320 13081 0 0 0 100 6 0 0 20 0 20 0 175492950 26629087232 20461 33554432000 4194304 4196468 140735246879408 140735246861952 140581139693303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
/proc/8227/statm: 6501242 20461 3753 1 0 6488956 0
[pid=8227/tid=8229] ppid=8224 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7
/proc/8227/task/8229/stat : 8229 (java) R 8224 8227 5410 0 -1 4202560 9643 0 0 0 63 4 0 0 20 0 20 0 175492950 26629087232 20461 33554432000 4194304 4196468 140735246879408 140581143920944 140581139715229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8230] ppid=8224 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8230/stat : 8230 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140581062273808 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8231] ppid=8224 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8231/stat : 8231 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140581061221264 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8232] ppid=8224 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8232/stat : 8232 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140581060168720 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8233] ppid=8224 vsize=26004968 memory=1004 CPUtime=0 cores=0-7
/proc/8227/task/8233/stat : 8233 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140581059116176 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8234] ppid=8224 vsize=26004968 memory=5788 CPUtime=0 cores=0-7
/proc/8227/task/8234/stat : 8234 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580693760272 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8235] ppid=8224 vsize=26004968 memory=1196 CPUtime=0 cores=0-7
/proc/8227/task/8235/stat : 8235 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580692707728 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8236] ppid=8224 vsize=26004968 memory=4612 CPUtime=0 cores=0-7
/proc/8227/task/8236/stat : 8236 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580691655184 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8237] ppid=8224 vsize=26004968 memory=15876 CPUtime=0 cores=0-7
/proc/8227/task/8237/stat : 8237 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492951 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580690602640 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8238] ppid=8224 vsize=26004968 memory=18448 CPUtime=0 cores=0-7
/proc/8227/task/8238/stat : 8238 (java) S 8224 8227 5410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175492953 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580268018160 140581139704450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8239] ppid=8224 vsize=26004968 memory=26828 CPUtime=0 cores=0-7
/proc/8227/task/8239/stat : 8239 (java) S 8224 8227 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492953 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580266964384 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8240] ppid=8224 vsize=26004968 memory=4044 CPUtime=0 cores=0-7
/proc/8227/task/8240/stat : 8240 (java) S 8224 8227 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492953 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580265911792 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8241] ppid=8224 vsize=26004968 memory=1792 CPUtime=0 cores=0-7
/proc/8227/task/8241/stat : 8241 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580264860368 140581139711899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8242] ppid=8224 vsize=26004968 memory=636 CPUtime=0.03 cores=0-7
/proc/8227/task/8242/stat : 8242 (java) S 8224 8227 5410 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580263806960 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8243] ppid=8224 vsize=26004968 memory=1420 CPUtime=0.07 cores=0-7
/proc/8227/task/8243/stat : 8243 (java) S 8224 8227 5410 0 -1 1077944384 397 0 0 0 7 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580262754416 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8244] ppid=8224 vsize=26004968 memory=11108 CPUtime=0.09 cores=0-7
/proc/8227/task/8244/stat : 8244 (java) S 8224 8227 5410 0 -1 1077944384 455 0 0 0 9 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580261701872 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8245] ppid=8224 vsize=26004968 memory=1712 CPUtime=0.16 cores=0-7
/proc/8227/task/8245/stat : 8245 (java) S 8224 8227 5410 0 -1 1077944384 633 0 0 0 16 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580260649328 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8246] ppid=8224 vsize=26004968 memory=1952 CPUtime=0 cores=0-7
/proc/8227/task/8246/stat : 8246 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580259597024 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8247] ppid=8224 vsize=26004968 memory=8624 CPUtime=0 cores=0-7
/proc/8227/task/8247/stat : 8247 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492956 26629087232 20461 33554432000 4194304 4196468 140735246879408 140580258544560 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 26004968 KiB
Current children cumulated memory: 81844 KiB
[startup+1.01162 s]
# the end of solver process 8227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.60719 s, system=0.093213 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800884 s]
/proc/loadavg: 2.48 3.74 6.28 2/199 8247
/proc/meminfo: memFree=21515400/32770624 swapFree=67108860/67108860
[pid=8227] ppid=8224 vsize=26073580 memory=90772 CPUtime=1.29 cores=0-7
/proc/8227/stat : 8227 (java) S 8224 8227 5410 0 -1 1077944320 13790 0 0 0 122 7 0 0 20 0 21 0 175492950 26699345920 22693 33554432000 4194304 4196468 140735246879408 140735246861952 140581139693303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
/proc/8227/statm: 6518395 22693 3771 1 0 6506109 0
[pid=8227/tid=8229] ppid=8224 vsize=26073580 memory=792 CPUtime=0.77 cores=0-7
/proc/8227/task/8229/stat : 8229 (java) R 8224 8227 5410 0 -1 4202560 10155 0 0 0 73 4 0 0 20 0 21 0 175492950 26699345920 22693 33554432000 4194304 4196468 140735246879408 140581143924176 140581139715229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8230] ppid=8224 vsize=26073580 memory=1004 CPUtime=0 cores=0-7
/proc/8227/task/8230/stat : 8230 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140581062273808 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8231] ppid=8224 vsize=26073580 memory=5788 CPUtime=0 cores=0-7
/proc/8227/task/8231/stat : 8231 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140581061221264 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8232] ppid=8224 vsize=26073580 memory=1196 CPUtime=0 cores=0-7
/proc/8227/task/8232/stat : 8232 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140581060168720 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8233] ppid=8224 vsize=26073580 memory=4612 CPUtime=0 cores=0-7
/proc/8227/task/8233/stat : 8233 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140581059116176 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8234] ppid=8224 vsize=26073580 memory=15876 CPUtime=0 cores=0-7
/proc/8227/task/8234/stat : 8234 (java) S 8224 8227 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580693760272 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8235] ppid=8224 vsize=26073580 memory=18448 CPUtime=0 cores=0-7
/proc/8227/task/8235/stat : 8235 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580692707728 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8236] ppid=8224 vsize=26073580 memory=26828 CPUtime=0 cores=0-7
/proc/8227/task/8236/stat : 8236 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580691655184 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8237] ppid=8224 vsize=26073580 memory=280336676376016 CPUtime=0 cores=0-7
/proc/8227/task/8237/stat : 8237 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 175492951 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580690602640 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8238] ppid=8224 vsize=26073580 memory=280336676163088 CPUtime=0 cores=0-7
/proc/8227/task/8238/stat : 8238 (java) S 8224 8227 5410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 175492953 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580268018160 140581139704450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8239] ppid=8224 vsize=26073580 memory=280336676162960 CPUtime=0 cores=0-7
/proc/8227/task/8239/stat : 8239 (java) S 8224 8227 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 175492953 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580266964384 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8240] ppid=8224 vsize=26073580 memory=164 CPUtime=0 cores=0-7
/proc/8227/task/8240/stat : 8240 (java) S 8224 8227 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 175492953 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580265911792 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8241] ppid=8224 vsize=26073580 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8241/stat : 8241 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580264860368 140581139711899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8242] ppid=8224 vsize=26073580 memory=0 CPUtime=0.06 cores=0-7
/proc/8227/task/8242/stat : 8242 (java) S 8224 8227 5410 0 -1 1077944384 584 0 0 0 6 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580263806960 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8243] ppid=8224 vsize=26073580 memory=0 CPUtime=0.08 cores=0-7
/proc/8227/task/8243/stat : 8243 (java) S 8224 8227 5410 0 -1 1077944384 409 0 0 0 8 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580262754416 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8244] ppid=8224 vsize=26073580 memory=0 CPUtime=0.11 cores=0-7
/proc/8227/task/8244/stat : 8244 (java) S 8224 8227 5410 0 -1 1077944384 480 0 0 0 11 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580261701872 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8245] ppid=8224 vsize=26073580 memory=0 CPUtime=0.22 cores=0-7
/proc/8227/task/8245/stat : 8245 (java) S 8224 8227 5410 0 -1 1077944384 751 0 0 0 22 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580260649328 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8246] ppid=8224 vsize=26073580 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8246/stat : 8246 (java) S 8224 8227 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580259597024 140581139703509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
[pid=8227/tid=8247] ppid=8224 vsize=26073580 memory=0 CPUtime=0 cores=0-7
/proc/8227/task/8247/stat : 8247 (java) S 8224 8227 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 175492956 26699345920 22693 33554432000 4194304 4196468 140735246879408 140580258544560 140581139704450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140735246881889 140735246882075 140735246882075 140735246884815 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 26073580 KiB
Current children cumulated memory: 90772 KiB
[startup+1.0008 s]*
/proc/loadavg: 2.48 3.74 6.28 3/212 8261
/proc/meminfo: memFree=21443464/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.01169
CPU time (s): 1.70041
CPU user time (s): 1.60719
CPU system time (s): 0.093213
CPU usage (%): 168.075
Max. virtual memory (cumulated for all children) (KiB): 26142192
Max. memory (cumulated for all children) (KiB): 103656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.60719
system time used= 0.093213
maximum resident set size= 138188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15601
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= 3017
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 8227
# total CPU time (s): 1.70041
# total CPU user time (s): 1.60719
# total CPU system time (s): 0.093213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026971 second user time and 0.044042 second system time
The end
Begin job on node107 at 2017-08-22 19:33:10
IDJOB=4285071
IDBENCH=123829
IDSOLVER=2681
FILE ID=node107/4285071-1503424051
RUNJOBID= node107-1503415160-5437
PBS_JOBID= 20632126
Free space on /tmp= 61252 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Bibd/Bibd-sc-mini/Bibd-sc-03-03-01.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285071-1503424051/watcher-4285071-1503424051 -o /tmp/evaluation-result-4285071-1503424051/solver-4285071-1503424051 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503415160-5437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2106859281 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285071-1503424051.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 4b6c8c10035a5a2f3a1a70c0b85cf1c0
RANDOM SEED=2106859281
node107.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.84
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.84
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.84
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.84
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: 21564184 kB
MemAvailable: 31946360 kB
Buffers: 281780 kB
Cached: 10385940 kB
SwapCached: 0 kB
Active: 1789612 kB
Inactive: 8934896 kB
Active(anon): 59276 kB
Inactive(anon): 41324 kB
Active(file): 1730336 kB
Inactive(file): 8893572 kB
Unevictable: 7640 kB
Mlocked: 7640 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42724 kB
Writeback: 0 kB
AnonPages: 84024 kB
Mapped: 55432 kB
Shmem: 41612 kB
Slab: 175496 kB
SReclaimable: 148204 kB
SUnreclaim: 27292 kB
KernelStack: 3536 kB
PageTables: 5644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 344832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 91520 kB
DirectMap2M: 33454080 kB
Free space on /tmp at the end= 61212 MiB
End job on node107 at 2017-08-22 19:33:11