0.67/0.55 c version: 2018-07-02
0.67/0.55 c seed: 883249298
0.67/0.55 c timeout: 20160
0.67/0.55 c memlimit: 22000
0.67/0.55 c nbcore: 8
0.67/0.58 c Parsing instance...
1.17/0.85 c Parsing done, starting search...
5.24/2.23 s SATISFIABLE
5.24/2.23 v <instantiation>
5.24/2.23 v <list>
5.24/2.23 v v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23]
5.24/2.23 v </list>
5.24/2.23 v <values>
5.24/2.23 v 4 1 3 1 10 4 3 6 9 11 12 5 7 8 6 10 2 5 9 2 7 11 8 12 3 1 19 16 6 2 5 0 17 11 14 7 20 12 22 13 18 8 15 4 21 9 23 10
5.24/2.23 v </values>
5.24/2.23 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 (10818 MiB free)
memory of node 1: 16384 MiB (12182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291252-1532653605/watcher-4291252-1532653605 -o /tmp/evaluation-result-4291252-1532653605/solver-4291252-1532653605 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532646015-7507 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 883249298 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291252-1532653605.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=8293, runsolver pid=8290
[startup+0.100136 s]*
/proc/loadavg: 7.49 8.60 8.81 2/204 8313
/proc/meminfo: memFree=23536320/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=26103424 memory=31200 CPUtime=0.11 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 7248 0 0 0 10 1 0 0 20 0 20 0 82923688 26729906176 7800 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6525856 7800 3136 1 0 6487932 0
[pid=8293/tid=8295] ppid=8290 vsize=26103424 memory=4786372520141026202 CPUtime=0.09 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) R 8290 8293 7480 0 -1 4202560 5417 0 0 0 8 1 0 0 20 0 20 0 82923689 26729906176 7866 33554432000 4194304 4196468 140723429286000 140366368661872 140366350656688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=26103424 memory=732369840881126373 CPUtime=0 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 7866 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=26103424 memory=139702543672960 CPUtime=0 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 7866 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 7926 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 7926 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 7926 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 7926 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 7926 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923691 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8305] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8305/stat : 8305 (java) S 8290 8293 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82923691 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365490230432 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8306] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8306/stat : 8306 (java) S 8290 8293 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82923692 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365489177328 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8307] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8307/stat : 8307 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365488125904 140366364477339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8308] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8308/stat : 8308 (java) S 8290 8293 7480 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365487074032 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8309] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8309/stat : 8309 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365486021488 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8310] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8310/stat : 8310 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365484968432 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8311] ppid=8290 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8311/stat : 8311 (java) S 8290 8293 7480 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365483915888 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8312] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8312/stat : 8312 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365482863072 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8313] ppid=8290 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8293/task/8313/stat : 8313 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 7926 33554432000 4194304 4196468 140723429286000 140365481810608 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 31200 KiB
[startup+0.21057 s]*
/proc/loadavg: 7.49 8.60 8.81 4/204 8313
/proc/meminfo: memFree=23522616/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=26103424 memory=43256 CPUtime=0.3 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 10477 0 0 0 28 2 0 0 20 0 20 0 82923688 26729906176 10814 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6525856 10814 3394 1 0 6487932 0
[pid=8293/tid=8295] ppid=8290 vsize=26103424 memory=0 CPUtime=0.2 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) R 8290 8293 7480 0 -1 4202560 8196 0 0 0 18 2 0 0 20 0 20 0 82923689 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366368680016 140366348539230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=26103424 memory=139702543672960 CPUtime=0 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=26103424 memory=139702543672960 CPUtime=0 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 10814 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82923691 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8305] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8305/stat : 8305 (java) S 8290 8293 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82923691 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365490230432 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8306] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8306/stat : 8306 (java) S 8290 8293 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82923692 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365489177328 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8307] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8307/stat : 8307 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365488125904 140366364477339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8308] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8308/stat : 8308 (java) S 8290 8293 7480 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365487074032 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8309] ppid=8290 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8309/stat : 8309 (java) R 8290 8293 7480 0 -1 4202560 199 0 0 0 1 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365486021488 140366364470678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8310] ppid=8290 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8310/stat : 8310 (java) R 8290 8293 7480 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365484968432 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8311] ppid=8290 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/8293/task/8311/stat : 8311 (java) R 8290 8293 7480 0 -1 4202560 313 0 0 0 6 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365483915888 140366364469890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8312] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8312/stat : 8312 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365482863072 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8313] ppid=8290 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8293/task/8313/stat : 8313 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 10814 33554432000 4194304 4196468 140723429286000 140365481810608 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43256 KiB
[startup+0.310559 s]*
/proc/loadavg: 7.49 8.60 8.81 2/204 8313
/proc/meminfo: memFree=23518832/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=26103424 memory=46776 CPUtime=0.43 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 10900 0 0 0 40 3 0 0 20 0 20 0 82923688 26729906176 11694 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6525856 11694 3398 1 0 6487932 0
[pid=8293/tid=8295] ppid=8290 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) R 8290 8293 7480 0 -1 4202560 8539 0 0 0 28 2 0 0 20 0 20 0 82923689 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366368667584 140366364480669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=26103424 memory=139702401329839 CPUtime=0 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=26103424 memory=139702401332144 CPUtime=0 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 11694 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923690 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82923691 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8305] ppid=8290 vsize=26103424 memory=2110053008447396 CPUtime=0 cores=0-7
/proc/8293/task/8305/stat : 8305 (java) S 8290 8293 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82923691 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365490230432 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8306] ppid=8290 vsize=26103424 memory=2110053008470740 CPUtime=0 cores=0-7
/proc/8293/task/8306/stat : 8306 (java) S 8290 8293 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82923692 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365489177328 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8307] ppid=8290 vsize=26103424 memory=2110053008452004 CPUtime=0 cores=0-7
/proc/8293/task/8307/stat : 8307 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365488125904 140366364477339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8308] ppid=8290 vsize=26103424 memory=2110053008470772 CPUtime=0.01 cores=0-7
/proc/8293/task/8308/stat : 8308 (java) S 8290 8293 7480 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365487074032 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8309] ppid=8290 vsize=26103424 memory=2110053008470804 CPUtime=0.01 cores=0-7
/proc/8293/task/8309/stat : 8309 (java) S 8290 8293 7480 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365486021488 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8310] ppid=8290 vsize=26103424 memory=2110053008470564 CPUtime=0.01 cores=0-7
/proc/8293/task/8310/stat : 8310 (java) S 8290 8293 7480 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365484968432 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8311] ppid=8290 vsize=26103424 memory=2110053008461220 CPUtime=0.08 cores=0-7
/proc/8293/task/8311/stat : 8311 (java) R 8290 8293 7480 0 -1 4202560 329 0 0 0 8 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365483915888 140366364480090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8312] ppid=8290 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8312/stat : 8312 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365482863072 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8313] ppid=8290 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8293/task/8313/stat : 8313 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26729906176 11694 33554432000 4194304 4196468 140723429286000 140365481810608 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46776 KiB
[startup+0.700942 s]
/proc/loadavg: 7.49 8.60 8.81 2/204 8313
/proc/meminfo: memFree=23494524/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=26105492 memory=87160 CPUtime=0.98 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 17785 0 0 0 93 5 0 0 20 0 20 0 82923688 26732023808 21790 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6526373 21790 3486 1 0 6488444 0
[pid=8293/tid=8295] ppid=8290 vsize=26105492 memory=7237970032489096280 CPUtime=0.68 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) R 8290 8293 7480 0 -1 4202560 15018 0 0 0 64 4 0 0 20 0 20 0 82923689 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366368673936 140366345958000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=26105492 memory=279404802476880 CPUtime=0 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=26105492 memory=2110053008442532 CPUtime=0 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923689 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=26105492 memory=4036 CPUtime=0 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=26105492 memory=139702401413456 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26732023808 21790 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923690 26732023808 21790 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82923691 26732023808 21790 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
################
# More data... #
################
Current children cumulated memory: 159076 KiB
[startup+2.26184 s]
# the end of solver process 8293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.23046 s, system=0.226396 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60118 s]
/proc/loadavg: 7.49 8.60 8.81 2/204 8313
/proc/meminfo: memFree=23460032/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=26111636 memory=178156 CPUtime=3.4 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 27985 0 0 0 331 9 0 0 20 0 20 0 82923688 26738315264 44539 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6527909 44539 3547 1 0 6489980 0
[pid=8293/tid=8295] ppid=8290 vsize=26111636 memory=1704 CPUtime=1.56 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) R 8290 8293 7480 0 -1 4202560 19497 0 0 0 150 6 0 0 20 0 20 0 82923689 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366368692016 140365997428003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=26111636 memory=11860 CPUtime=0 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=26111636 memory=5772 CPUtime=0 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923689 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=26111636 memory=4616 CPUtime=0 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923689 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=26111636 memory=1388 CPUtime=0 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=26111636 memory=1232 CPUtime=0 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923689 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=26111636 memory=139702401495313 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923690 26738315264 45051 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=26111636 memory=8191324994196845656 CPUtime=0 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82923690 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=26111636 memory=9215612443221087420 CPUtime=0 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 82923691 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8305] ppid=8290 vsize=26111636 memory=7661305116056447333 CPUtime=0 cores=0-7
/proc/8293/task/8305/stat : 8305 (java) S 8290 8293 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82923691 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365490230432 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8306] ppid=8290 vsize=26111636 memory=7019467088024121912 CPUtime=0 cores=0-7
/proc/8293/task/8306/stat : 8306 (java) S 8290 8293 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82923692 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365489177328 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8307] ppid=8290 vsize=26111636 memory=4294969536 CPUtime=0 cores=0-7
/proc/8293/task/8307/stat : 8307 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365488125904 140366364477339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8308] ppid=8290 vsize=26111636 memory=2244 CPUtime=0.43 cores=0-7
/proc/8293/task/8308/stat : 8308 (java) R 8290 8293 7480 0 -1 4202560 989 0 0 0 43 0 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365487060144 140366348858430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8309] ppid=8290 vsize=26111636 memory=0 CPUtime=0.43 cores=0-7
/proc/8293/task/8309/stat : 8309 (java) R 8290 8293 7480 0 -1 4202560 1134 0 0 0 43 0 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365486002000 140366347955279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8310] ppid=8290 vsize=26111636 memory=2241 CPUtime=0.39 cores=0-7
/proc/8293/task/8310/stat : 8310 (java) R 8290 8293 7480 0 -1 4202560 1687 0 0 0 39 0 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365484947904 140366343629782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8311] ppid=8290 vsize=26111636 memory=2244 CPUtime=0.55 cores=0-7
/proc/8293/task/8311/stat : 8311 (java) S 8290 8293 7480 0 -1 1077944384 3280 0 0 0 54 1 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365483915888 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8312] ppid=8290 vsize=26111636 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8312/stat : 8312 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365482863072 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8313] ppid=8290 vsize=26111636 memory=7811889654422595687 CPUtime=0 cores=0-7
/proc/8293/task/8313/stat : 8313 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82923694 26738315264 45051 33554432000 4194304 4196468 140723429286000 140365481810608 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 26111636 KiB
Current children cumulated memory: 178156 KiB
[startup+2.00115 s]*
/proc/loadavg: 7.49 8.60 8.81 2/206 8315
/proc/meminfo: memFree=23328788/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=26248860 memory=239336 CPUtime=4.33 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 31155 0 0 0 418 15 0 0 20 0 22 0 82923688 26878832640 59834 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6562215 59834 3579 1 0 6524286 0
[pid=8293/tid=8295] ppid=8290 vsize=26248860 memory=8112282956445269571 CPUtime=1.92 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) R 8290 8293 7480 0 -1 4202560 20877 0 0 0 185 7 0 0 20 0 22 0 82923689 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366368679968 140366348539230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=26248860 memory=-7003737579269690708 CPUtime=0.01 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 22 0 82923689 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=26248860 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 22 0 82923689 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=26248860 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 22 0 82923689 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=26248860 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 22 0 82923689 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=26248860 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 22 0 82923689 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=26248860 memory=7234303152781525078 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 22 0 82923690 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=26248860 memory=288286692652352360 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 22 0 82923690 26878832640 59834 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=26248860 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 22 0 82923690 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=26248860 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 811 0 0 0 1 0 0 0 20 0 22 0 82923691 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8305] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8305/stat : 8305 (java) S 8290 8293 7480 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 82923691 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365490230496 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8306] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8306/stat : 8306 (java) S 8290 8293 7480 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 82923692 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365489177344 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8307] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8307/stat : 8307 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365488125904 140366364477339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8308] ppid=8290 vsize=26248860 memory=0 CPUtime=0.53 cores=0-7
/proc/8293/task/8308/stat : 8308 (java) S 8290 8293 7480 0 -1 1077944384 1220 0 0 0 52 1 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365487074032 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8309] ppid=8290 vsize=26248860 memory=0 CPUtime=0.53 cores=0-7
/proc/8293/task/8309/stat : 8309 (java) S 8290 8293 7480 0 -1 1077944384 1181 0 0 0 53 0 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365486021488 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8310] ppid=8290 vsize=26248860 memory=0 CPUtime=0.48 cores=0-7
/proc/8293/task/8310/stat : 8310 (java) S 8290 8293 7480 0 -1 1077944384 1745 0 0 0 48 0 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365484968432 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8311] ppid=8290 vsize=26248860 memory=0 CPUtime=0.67 cores=0-7
/proc/8293/task/8311/stat : 8311 (java) S 8290 8293 7480 0 -1 1077944384 3555 0 0 0 66 1 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365483915888 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8312] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8312/stat : 8312 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365482863072 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8313] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8313/stat : 8313 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 82923694 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365481810608 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8314] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8314/stat : 8314 (java) S 8290 8293 7480 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 22 0 82923853 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365470462464 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8315] ppid=8290 vsize=26248860 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8315/stat : 8315 (java) S 8290 8293 7480 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 22 0 82923874 26878832640 59834 33554432000 4194304 4196468 140723429286000 140365467312848 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 26248860 KiB
Current children cumulated memory: 239336 KiB
[startup+2.20115 s]
/proc/loadavg: 7.49 8.60 8.81 2/206 8315
/proc/meminfo: memFree=23328788/32770624 swapFree=67108860/67108860
[pid=8293] ppid=8290 vsize=27385608 memory=244780 CPUtime=5.24 cores=0-7
/proc/8293/stat : 8293 (java) S 8290 8293 7480 0 -1 1077944320 40984 0 0 0 504 20 0 0 20 0 40 0 82923688 28042862592 61195 33554432000 4194304 4196468 140723429286000 140723429268544 140366364458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
/proc/8293/statm: 6846402 61195 3590 1 0 6807952 0
[pid=8293/tid=8295] ppid=8290 vsize=27385608 memory=-6368199152461293614 CPUtime=2 cores=0-7
/proc/8293/task/8295/stat : 8295 (java) S 8290 8293 7480 0 -1 1077944384 22485 0 0 0 193 7 0 0 20 0 40 0 82923689 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366368696208 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8296] ppid=8290 vsize=27385608 memory=6944652027076318631 CPUtime=0.01 cores=0-7
/proc/8293/task/8296/stat : 8296 (java) S 8290 8293 7480 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 40 0 82923689 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366317079056 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8297] ppid=8290 vsize=27385608 memory=6645459911560372124 CPUtime=0.01 cores=0-7
/proc/8293/task/8297/stat : 8297 (java) S 8290 8293 7480 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 40 0 82923689 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366316026512 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8298] ppid=8290 vsize=27385608 memory=6944656592455097440 CPUtime=0.01 cores=0-7
/proc/8293/task/8298/stat : 8298 (java) S 8290 8293 7480 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 40 0 82923689 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366314973456 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8299] ppid=8290 vsize=27385608 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/8293/task/8299/stat : 8299 (java) S 8290 8293 7480 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 40 0 82923689 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366313920912 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8300] ppid=8290 vsize=27385608 memory=6943526294502006880 CPUtime=0.01 cores=0-7
/proc/8293/task/8300/stat : 8300 (java) S 8290 8293 7480 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 40 0 82923689 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366312868880 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8301] ppid=8290 vsize=27385608 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/8293/task/8301/stat : 8301 (java) S 8290 8293 7480 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 40 0 82923690 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366311816336 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8302] ppid=8290 vsize=27385608 memory=-6800859132029471843 CPUtime=0 cores=0-7
/proc/8293/task/8302/stat : 8302 (java) S 8290 8293 7480 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 40 0 82923690 28042862592 61195 33554432000 4194304 4196468 140723429286000 140366310763280 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8303] ppid=8290 vsize=27385608 memory=6082205199367557205 CPUtime=0.01 cores=0-7
/proc/8293/task/8303/stat : 8303 (java) S 8290 8293 7480 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 40 0 82923690 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365915356048 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8304] ppid=8290 vsize=27385608 memory=0 CPUtime=0.01 cores=0-7
/proc/8293/task/8304/stat : 8304 (java) S 8290 8293 7480 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 40 0 82923691 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365491284208 140366364469890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8305] ppid=8290 vsize=27385608 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8305/stat : 8305 (java) S 8290 8293 7480 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 40 0 82923691 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365490230496 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8306] ppid=8290 vsize=27385608 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8306/stat : 8306 (java) S 8290 8293 7480 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 82923692 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365489177344 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8307] ppid=8290 vsize=27385608 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8307/stat : 8307 (java) S 8290 8293 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365488125904 140366364477339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8308] ppid=8290 vsize=27385608 memory=0 CPUtime=0.59 cores=0-7
/proc/8293/task/8308/stat : 8308 (java) R 8290 8293 7480 0 -1 4202560 2098 0 0 0 58 1 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365487054272 140366349208174 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8309] ppid=8290 vsize=27385608 memory=0 CPUtime=0.6 cores=0-7
/proc/8293/task/8309/stat : 8309 (java) D 8290 8293 7480 0 -1 4202560 2305 0 0 0 60 0 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365486007248 140366356748125 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8310] ppid=8290 vsize=27385608 memory=0 CPUtime=0.57 cores=0-7
/proc/8293/task/8310/stat : 8310 (java) D 8290 8293 7480 0 -1 4202560 3104 0 0 0 56 1 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365484950032 140366348852619 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8311] ppid=8290 vsize=27385608 memory=0 CPUtime=0.78 cores=0-7
/proc/8293/task/8311/stat : 8311 (java) D 8290 8293 7480 0 -1 4202560 5407 0 0 0 76 2 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365483912960 140366357555500 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8312] ppid=8290 vsize=27385608 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8312/stat : 8312 (java) S 8290 8293 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365482863072 140366364468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8313] ppid=8290 vsize=27385608 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8313/stat : 8313 (java) S 8290 8293 7480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 40 0 82923694 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365481810608 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
[pid=8293/tid=8315] ppid=8290 vsize=27385608 memory=0 CPUtime=0 cores=0-7
/proc/8293/task/8315/stat : 8315 (java) S 8290 8293 7480 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 40 0 82923874 28042862592 61195 33554432000 4194304 4196468 140723429286000 140365467312848 140366364469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27377664 140723429291086 140723429291269 140723429291269 140723429294031 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 27385608 KiB
Current children cumulated memory: 244780 KiB
Child status: 0
Real time (s): 2.26188
CPU time (s): 5.45686
CPU user time (s): 5.23046
CPU system time (s): 0.226396
CPU usage (%): 241.253
Max. virtual memory (cumulated for all children) (KiB): 27385608
Max. memory (cumulated for all children) (KiB): 244780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.23046
system time used= 0.226396
maximum resident set size= 246792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6118
involuntary context switches= 55
# summary of solver processes directly reported to runsolver:
# pid: 8293
# total CPU time (s): 5.45686
# total CPU user time (s): 5.23046
# total CPU system time (s): 0.226396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037921 second user time and 0.068668 second system time
The end
Begin job on node133 at 2018-07-27 03:06:45
IDJOB=4291252
IDBENCH=141338
IDSOLVER=2745
FILE ID=node133/4291252-1532653605
RUNJOBID= node133-1532646015-7507
PBS_JOBID= 21022207
Free space on /tmp= 48252 MiB
SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Langford/LangfordBin-12_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291252-1532653605/watcher-4291252-1532653605 -o /tmp/evaluation-result-4291252-1532653605/solver-4291252-1532653605 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532646015-7507 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 883249298 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291252-1532653605.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d44a6c2f310df02cbd65e302b0bb5238
RANDOM SEED=883249298
node133.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.24
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.24
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.24
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.24
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: 23553244 kB
MemAvailable: 31925144 kB
Buffers: 172784 kB
Cached: 8430292 kB
SwapCached: 0 kB
Active: 2814324 kB
Inactive: 5843052 kB
Active(anon): 5536 kB
Inactive(anon): 76776 kB
Active(file): 2808788 kB
Inactive(file): 5766276 kB
Unevictable: 7100 kB
Mlocked: 7100 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 35936 kB
Writeback: 0 kB
AnonPages: 61352 kB
Mapped: 39084 kB
Shmem: 25280 kB
Slab: 252736 kB
SReclaimable: 225296 kB
SUnreclaim: 27440 kB
KernelStack: 3296 kB
PageTables: 4444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 327612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 48216 MiB
End job on node133 at 2018-07-27 03:06:48