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 (2616 MiB free)
memory of node 1: 16384 MiB (753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402732-1568981278/watcher-4402732-1568981278 -o /tmp/evaluation-result-4402732-1568981278/solver-4402732-1568981278 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23611 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1072080807 HOME/instance-4402732-1568981278.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27789, runsolver pid=27786
[startup+0.100171 s]*
/proc/loadavg: 1.68 1.74 1.65 3/218 27846
/proc/meminfo: memFree=3445704/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=9972712 memory=17076 CPUtime=0.1 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 4496 12990 0 0 1 1 5 3 20 0 6 0 474065645 10212057088 4269 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2493178 4269 1935 1 0 2481616 0
[pid=27789/tid=27842] ppid=27786 vsize=9972712 memory=-8439527450518781933 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 2296 12990 0 0 1 0 5 3 20 0 6 0 474065654 10212057088 4269 33554432000 4194304 4196468 140730099531472 140682728743504 140682740987230 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=9972712 memory=4211973771407052170 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 6 0 474065655 10212057088 4269 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=9972712 memory=140045202261632 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 6 0 474065655 10212057088 4269 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 6 0 474065655 10212057088 4269 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 6 0 474065655 10212057088 4269 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209988 s]*
/proc/loadavg: 1.68 1.74 1.65 4/227 27855
/proc/meminfo: memFree=3424736/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10820164 memory=42404 CPUtime=0.27 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 7527 12990 0 0 18 1 5 3 20 0 15 0 474065645 11079847936 10601 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2705041 10601 3292 1 0 2667149 0
[pid=27789/tid=27842] ppid=27786 vsize=10820164 memory=7900017517374083699 CPUtime=0.19 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 4013 12990 0 0 11 0 5 3 20 0 15 0 474065654 11079847936 10601 33554432000 4194304 4196468 140730099531472 140682728717776 140682756918678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10820164 memory=4211973771407052170 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079847936 10601 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10820176 memory=140045202261632 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079860224 10601 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079860224 10601 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079860224 10601 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10820176 memory=140045202261632 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065656 11079860224 10601 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 13 12990 0 0 0 0 5 3 20 0 15 0 474065656 11079860224 10601 33554432000 4194304 4196468 140730099531472 140682123536032 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065657 11079860224 10601 33554432000 4194304 4196468 140730099531472 140681519555824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11079868416 10601 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10820184 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) R 27786 27789 23580 0 -1 4202560 340 12990 0 0 1 0 5 3 20 0 15 0 474065659 11079868416 10601 33554432000 4194304 4196468 140730099531472 140682214660336 140682742921052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10820184 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) S 27786 27789 23580 0 -1 1077944384 329 12990 0 0 1 0 5 3 20 0 15 0 474065659 11079868416 10601 33554432000 4194304 4196468 140730099531472 140682213607792 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10820184 memory=140045202261632 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) S 27786 27789 23580 0 -1 1077944384 608 12990 0 0 3 0 5 3 20 0 15 0 474065659 11079868416 10601 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11079868416 10601 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10820188 memory=140045202261632 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065660 11079872512 10601 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 42404 KiB
[startup+0.310431 s]*
/proc/loadavg: 1.68 1.74 1.65 4/227 27855
/proc/meminfo: memFree=3412664/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10820196 memory=50580 CPUtime=0.42 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 10536 12990 0 0 31 3 5 3 20 0 15 0 474065645 11079880704 12645 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2705049 12645 3311 1 0 2667149 0
[pid=27789/tid=27842] ppid=27786 vsize=10820196 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 7003 12990 0 0 20 2 5 3 20 0 15 0 474065654 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682728715664 140682740093573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065655 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10820196 memory=140045202261631 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065656 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 13 12990 0 0 0 0 5 3 20 0 15 0 474065656 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682123536032 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065657 11079880704 12645 33554432000 4194304 4196468 140730099531472 140681519555824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11079880704 12645 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) S 27786 27789 23580 0 -1 1077944384 349 12990 0 0 2 0 5 3 20 0 15 0 474065659 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682214660336 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) S 27786 27789 23580 0 -1 1077944384 330 12990 0 0 2 0 5 3 20 0 15 0 474065659 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682213607792 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10820196 memory=140045202261632 CPUtime=0.13 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) S 27786 27789 23580 0 -1 1077944384 617 12990 0 0 5 0 5 3 20 0 15 0 474065659 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11079880704 12645 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10820196 memory=140045202261632 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065660 11079880704 12645 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50580 KiB
[startup+0.705764 s]
/proc/loadavg: 1.68 1.74 1.65 3/227 27855
/proc/meminfo: memFree=3397900/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10824364 memory=83260 CPUtime=1.17 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 15070 12990 0 0 103 6 5 3 20 0 15 0 474065645 11084148736 20815 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2706091 20815 3509 1 0 2668173 0
[pid=27789/tid=27842] ppid=27786 vsize=10824364 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 10400 12990 0 0 56 4 5 3 20 0 15 0 474065654 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682728736288 140682756928669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10824364 memory=5938115291419928640 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065655 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10824364 memory=8320808402719879476 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065655 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10824364 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 5 12990 0 0 0 0 5 3 20 0 15 0 474065656 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10824364 memory=61 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 13 12990 0 0 0 0 5 3 20 0 15 0 474065656 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682123536032 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065657 11084148736 20815 33554432000 4194304 4196468 140730099531472 140681519555824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10824364 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11084148736 20815 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10824364 memory=280090118225952 CPUtime=0.25 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) R 27786 27789 23580 0 -1 4202560 890 12990 0 0 17 0 5 3 20 0 15 0 474065659 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682214646432 140682736152591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10824364 memory=16132 CPUtime=0.2 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) S 27786 27789 23580 0 -1 1077944384 726 12990 0 0 12 0 5 3 20 0 15 0 474065659 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682213607792 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10824364 memory=4420 CPUtime=0.25 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) S 27786 27789 23580 0 -1 1077944384 814 12990 0 0 17 0 5 3 20 0 15 0 474065659 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10824364 memory=239 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11084148736 20815 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10824364 memory=8242257093008374069 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065660 11084148736 20815 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83260 KiB
[startup+1.5041 s]
/proc/loadavg: 1.68 1.74 1.65 3/227 27855
/proc/meminfo: memFree=3356396/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10834680 memory=169000 CPUtime=2.5 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 21698 12990 0 0 231 11 5 3 20 0 15 0 474065645 11094712320 42250 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2708670 42250 3579 1 0 2670733 0
[pid=27789/tid=27842] ppid=27786 vsize=10834680 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 15281 12990 0 0 130 6 5 3 20 0 15 0 474065654 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682728691376 140682740987260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10834680 memory=116 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 107 12990 0 0 1 0 5 3 20 0 15 0 474065655 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10834680 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 249 12990 0 0 0 0 5 3 20 0 15 0 474065655 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 95 12990 0 0 1 0 5 3 20 0 15 0 474065655 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10834680 memory=1 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 51 12990 0 0 1 0 5 3 20 0 15 0 474065655 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 155 12990 0 0 1 0 5 3 20 0 15 0 474065656 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 14 12990 0 0 0 0 5 3 20 0 15 0 474065656 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682123536032 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10834680 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065657 11094712320 42250 33554432000 4194304 4196468 140730099531472 140681519555824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11094712320 42250 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10834680 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) S 27786 27789 23580 0 -1 1077944384 1003 12990 0 0 28 0 5 3 20 0 15 0 474065659 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682214660336 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10834680 memory=2276 CPUtime=0.31 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) S 27786 27789 23580 0 -1 1077944384 853 12990 0 0 23 0 5 3 20 0 15 0 474065659 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682213607792 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10834680 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) R 27786 27789 23580 0 -1 4202560 1673 12990 0 0 41 0 5 3 20 0 15 0 474065659 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682212554736 140682756918678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11094712320 42250 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065660 11094712320 42250 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+3.11085 s]
/proc/loadavg: 1.71 1.74 1.65 4/227 27855
/proc/meminfo: memFree=3246212/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10844940 memory=241624 CPUtime=6.27 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 31459 12990 0 0 603 16 5 3 20 0 15 0 474065645 11105218560 60406 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2711235 60406 3604 1 0 2673293 0
[pid=27789/tid=27842] ppid=27786 vsize=10844940 memory=0 CPUtime=3 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 18989 12990 0 0 284 8 5 3 20 0 15 0 474065654 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682728739008 140682756918678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10844940 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 120 12990 0 0 3 0 5 3 20 0 15 0 474065655 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10844940 memory=188300 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 256 12990 0 0 2 0 5 3 20 0 15 0 474065655 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10844940 memory=3616 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 108 12990 0 0 2 0 5 3 20 0 15 0 474065655 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10844940 memory=41180 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 104 12990 0 0 3 0 5 3 20 0 15 0 474065655 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10844940 memory=988 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 763 12990 0 0 3 0 5 3 20 0 15 0 474065656 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10844940 memory=209872 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 14 12990 0 0 0 0 5 3 20 0 15 0 474065656 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682123536096 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10844940 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065657 11105218560 60406 33554432000 4194304 4196468 140730099531472 140681519555840 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11105218560 60406 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10844940 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) R 27786 27789 23580 0 -1 4202560 2357 12990 0 0 90 1 5 3 20 0 15 0 474065659 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682214646520 140682738429658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10844940 memory=7807381798447966062 CPUtime=0.97 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) R 27786 27789 23580 0 -1 4202560 1870 12990 0 0 88 1 5 3 20 0 15 0 474065659 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682213595024 140682741721901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10844940 memory=7807381798447966062 CPUtime=1.33 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) R 27786 27789 23580 0 -1 1077944384 4660 12990 0 0 124 1 5 3 20 0 15 0 474065659 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10844940 memory=7884775335284332391 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11105218560 60406 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10844940 memory=30961 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065660 11105218560 60406 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 241624 KiB
[startup+3.8975 s]
# the end of solver process 27789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.54192 s, system=0.232247 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20081 s]
/proc/loadavg: 1.71 1.74 1.65 4/227 27855
/proc/meminfo: memFree=3246212/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10844940 memory=248152 CPUtime=6.58 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 36442 12990 0 0 633 17 5 3 20 0 15 0 474065645 11105218560 62038 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2711235 62038 3604 1 0 2673293 0
[pid=27789/tid=27842] ppid=27786 vsize=10844940 memory=6628 CPUtime=3.08 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 21768 12990 0 0 292 8 5 3 20 0 15 0 474065654 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682728731424 140682742276363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10844940 memory=8836 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 120 12990 0 0 3 0 5 3 20 0 15 0 474065655 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10844940 memory=11044 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 256 12990 0 0 2 0 5 3 20 0 15 0 474065655 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10844940 memory=13252 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 108 12990 0 0 2 0 5 3 20 0 15 0 474065655 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10844940 memory=15460 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 104 12990 0 0 3 0 5 3 20 0 15 0 474065655 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10844940 memory=17668 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 763 12990 0 0 3 0 5 3 20 0 15 0 474065656 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10844940 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 14 12990 0 0 0 0 5 3 20 0 15 0 474065656 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682123536096 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10844940 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065657 11105218560 62038 33554432000 4194304 4196468 140730099531472 140681519555840 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10844940 memory=24292 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11105218560 62038 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10844940 memory=26500 CPUtime=1.07 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) R 27786 27789 23580 0 -1 4202560 2964 12990 0 0 98 1 5 3 20 0 15 0 474065659 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682214641456 140682756928090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10844940 memory=28708 CPUtime=1.05 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) R 27786 27789 23580 0 -1 4202560 3085 12990 0 0 96 1 5 3 20 0 15 0 474065659 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682213594360 140682741013869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10844940 memory=30916 CPUtime=1.37 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) S 27786 27789 23580 0 -1 1077944384 5059 12990 0 0 128 1 5 3 20 0 15 0 474065659 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10844940 memory=301741373374332954 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11105218560 62038 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10844940 memory=321726105394610490 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 1 12990 0 0 0 0 5 3 20 0 15 0 474065660 11105218560 62038 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 6.58 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 248152 KiB
[startup+3.60468 s]
/proc/loadavg: 1.71 1.74 1.65 4/227 27855
/proc/meminfo: memFree=3246212/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10846988 memory=253412 CPUtime=7.87 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 41600 12990 0 0 761 18 5 3 20 0 15 0 474065645 11107315712 63353 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2711747 63353 3609 1 0 2673805 0
[pid=27789/tid=27842] ppid=27786 vsize=10846988 memory=1320 CPUtime=3.49 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 24615 12990 0 0 332 9 5 3 20 0 15 0 474065654 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682728732224 140682355023607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10846988 memory=1700 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 120 12990 0 0 3 0 5 3 20 0 15 0 474065655 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10846988 memory=5972 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 256 12990 0 0 2 0 5 3 20 0 15 0 474065655 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10846988 memory=588 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 108 12990 0 0 2 0 5 3 20 0 15 0 474065655 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10846988 memory=780 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 104 12990 0 0 3 0 5 3 20 0 15 0 474065655 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10846988 memory=1056 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 1646 12990 0 0 3 0 5 3 20 0 15 0 474065656 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10846988 memory=7518026621751088992 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 14 12990 0 0 0 0 5 3 20 0 15 0 474065656 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682123536096 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10846988 memory=7237402611390506577 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065657 11107315712 63353 33554432000 4194304 4196468 140730099531472 140681519555840 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10846988 memory=5865188000529146989 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11107315712 63353 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10846988 memory=5787213827096799335 CPUtime=1.43 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) R 27786 27789 23580 0 -1 4202560 3389 12990 0 0 134 1 5 3 20 0 15 0 474065659 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682214638336 140682738436256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10846988 memory=7301858164987948385 CPUtime=1.39 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) R 27786 27789 23580 0 -1 4202560 3407 12990 0 0 130 1 5 3 20 0 15 0 474065659 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682213592864 140682738450831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10846988 memory=5938115291419928640 CPUtime=1.57 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) S 27786 27789 23580 0 -1 1077944384 5719 12990 0 0 147 2 5 3 20 0 15 0 474065659 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10846988 memory=7308326673463666515 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11107315712 63353 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10846988 memory=7444819964895187797 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 5 12990 0 0 0 0 5 3 20 0 15 0 474065660 11107315712 63353 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 7.87 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 253412 KiB
[startup+3.80068 s]
/proc/loadavg: 1.71 1.74 1.65 4/227 27855
/proc/meminfo: memFree=3246212/32770624 swapFree=66935412/67108860
[pid=27789] ppid=27786 vsize=10846988 memory=254116 CPUtime=8.51 cores=0,2,4,6
/proc/27789/stat : 27789 (java) S 27786 27789 23580 0 -1 1077944320 42298 12990 0 0 825 18 5 3 20 0 15 0 474065645 11107315712 63529 33554432000 4194304 4196468 140730099531472 140730099514016 140682756906743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
/proc/27789/statm: 2711747 63529 3611 1 0 2673805 0
[pid=27789/tid=27842] ppid=27786 vsize=10846988 memory=6944656592455097440 CPUtime=3.68 cores=0,2,4,6
/proc/27789/task/27842/stat : 27842 (java) R 27786 27789 23580 0 -1 4202560 24644 12990 0 0 351 9 5 3 20 0 15 0 474065654 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682728742232 140682355414976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27843] ppid=27786 vsize=10846988 memory=8546823402028195750 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27843/stat : 27843 (java) S 27786 27789 23580 0 -1 1077944384 120 12990 0 0 3 0 5 3 20 0 15 0 474065655 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682761148944 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27844] ppid=27786 vsize=10846988 memory=7300704880217444433 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27844/stat : 27844 (java) S 27786 27789 23580 0 -1 1077944384 256 12990 0 0 2 0 5 3 20 0 15 0 474065655 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682665351824 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27845] ppid=27786 vsize=10846988 memory=-3831251742559211316 CPUtime=0.1 cores=0,2,4,6
/proc/27789/task/27845/stat : 27845 (java) S 27786 27789 23580 0 -1 1077944384 108 12990 0 0 2 0 5 3 20 0 15 0 474065655 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682664298768 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27846] ppid=27786 vsize=10846988 memory=-7595718148655178334 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27846/stat : 27846 (java) S 27786 27789 23580 0 -1 1077944384 104 12990 0 0 3 0 5 3 20 0 15 0 474065655 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682663246224 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27847] ppid=27786 vsize=10846988 memory=4783210246327787616 CPUtime=0.11 cores=0,2,4,6
/proc/27789/task/27847/stat : 27847 (java) S 27786 27789 23580 0 -1 1077944384 1646 12990 0 0 3 0 5 3 20 0 15 0 474065656 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682215713520 140682756917890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27848] ppid=27786 vsize=10846988 memory=3472328296227689761 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27848/stat : 27848 (java) S 27786 27789 23580 0 -1 1077944384 14 12990 0 0 0 0 5 3 20 0 15 0 474065656 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682123536096 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27849] ppid=27786 vsize=10846988 memory=6944656592455360569 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27849/stat : 27849 (java) S 27786 27789 23580 0 -1 1077944384 2 12990 0 0 0 0 5 3 20 0 15 0 474065657 11107315712 63529 33554432000 4194304 4196468 140730099531472 140681519555840 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27850] ppid=27786 vsize=10846988 memory=6944656591801717918 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27850/stat : 27850 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065659 11107315712 63529 33554432000 4194304 4196468 140730099531472 140681279265232 140682756925339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27851] ppid=27786 vsize=10846988 memory=8978309881829228949 CPUtime=1.63 cores=0,2,4,6
/proc/27789/task/27851/stat : 27851 (java) R 27786 27789 23580 0 -1 4202560 3549 12990 0 0 154 1 5 3 20 0 15 0 474065659 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682214645056 140682736077989 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27852] ppid=27786 vsize=10846988 memory=185600 CPUtime=1.59 cores=0,2,4,6
/proc/27789/task/27852/stat : 27852 (java) R 27786 27789 23580 0 -1 4202560 3609 12990 0 0 150 1 5 3 20 0 15 0 474065659 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682213596208 140682742030275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27853] ppid=27786 vsize=10846988 memory=280090118343744 CPUtime=1.62 cores=0,2,4,6
/proc/27789/task/27853/stat : 27853 (java) S 27786 27789 23580 0 -1 1077944384 6026 12990 0 0 152 2 5 3 20 0 15 0 474065659 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682212554736 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27854] ppid=27786 vsize=10846988 memory=-7385037615208631401 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27854/stat : 27854 (java) S 27786 27789 23580 0 -1 1077944384 3 12990 0 0 0 0 5 3 20 0 15 0 474065660 11107315712 63529 33554432000 4194304 4196468 140730099531472 140681245706592 140682756916949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
[pid=27789/tid=27855] ppid=27786 vsize=10846988 memory=-7522837583061805196 CPUtime=0.08 cores=0,2,4,6
/proc/27789/task/27855/stat : 27855 (java) S 27786 27789 23580 0 -1 1077944384 5 12990 0 0 0 0 5 3 20 0 15 0 474065660 11107315712 63529 33554432000 4194304 4196468 140730099531472 140682211503152 140682756917890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17154048 140730099534575 140730099537093 140730099537093 140730099539919 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 254116 KiB
Child status: 0
Real time (s): 3.89754
CPU time (s): 8.77417
CPU user time (s): 8.54192
CPU system time (s): 0.232247
CPU usage (%): 225.12
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 254116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.54192
system time used= 0.232247
maximum resident set size= 274752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7195
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 27789
# total CPU time (s): 8.77417
# total CPU user time (s): 8.54192
# total CPU system time (s): 0.232247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04021 second user time and 0.081375 second system time
The end