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 (15418 MiB free)
memory of node 1: 16384 MiB (15016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263252-1502600188/watcher-4263252-1502600188 -o /tmp/evaluation-result-4263252-1502600188/solver-4263252-1502600188 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19456 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263252-1502600188.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
solver pid=20056, runsolver pid=20053
Current StackSize limit: 8192 KiB
[startup+0.100172 s]*
/proc/loadavg: 1.99 2.18 2.87 3/205 20065
/proc/meminfo: memFree=31154656/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10418956 memory=22088 CPUtime=0.05 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 4482 0 0 0 4 1 0 0 20 0 14 0 62214187 10669010944 5522 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2604739 5522 2512 1 0 2594236 0
[pid=20056/tid=20058] ppid=20053 vsize=10418956 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) S 20053 20056 12560 0 -1 1077944384 2640 0 0 0 3 0 0 0 20 0 14 0 62214193 10669010944 5522 18446744073709551615 4194304 4196468 140724810107728 140503687846240 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10418956 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62214193 10669010944 5522 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10418956 memory=140046539593344 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62214193 10669010944 5522 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10418956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62214193 10669010944 5522 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10550028 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62214193 10803228672 5522 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10484492 memory=140046539593344 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62214195 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 62214195 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 62214196 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62214198 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) R 20053 20056 12560 0 -1 4202560 284 0 0 0 0 0 0 0 20 0 14 0 62214198 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503042202184 140503664783882 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62214198 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503041161664 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10484492 memory=140046539593344 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) S 20053 20056 12560 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 14 0 62214198 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62214198 10736119808 5523 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10418956 KiB
Current children cumulated memory: 22088 KiB
[startup+0.210082 s]*
/proc/loadavg: 1.99 2.18 2.87 4/211 20071
/proc/meminfo: memFree=31150984/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10551156 memory=26564 CPUtime=0.09 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 5103 0 0 0 8 1 0 0 20 0 15 0 62214187 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2637789 6641 2791 1 0 2627261 0
[pid=20056/tid=20058] ppid=20053 vsize=10551156 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) R 20053 20056 12560 0 -1 4202560 3019 0 0 0 7 1 0 0 20 0 15 0 62214193 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503687843152 140503676232642 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10551156 memory=328 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10551156 memory=288370422691305088 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10551156 memory=140046539593344 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62214195 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62214195 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62214196 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) S 20053 20056 12560 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503042214768 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503041161968 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10551156 memory=140046539593344 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) R 20053 20056 12560 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683625562 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10551156 memory=140046539593344 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214206 10804383744 6641 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26564 KiB
[startup+0.310179 s]*
/proc/loadavg: 1.99 2.18 2.87 3/211 20071
/proc/meminfo: memFree=31139972/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10551156 memory=36632 CPUtime=0.25 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 8441 0 0 0 22 3 0 0 20 0 15 0 62214187 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2637789 9158 2868 1 0 2627261 0
[pid=20056/tid=20058] ppid=20053 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) R 20053 20056 12560 0 -1 4202560 6060 0 0 0 15 2 0 0 20 0 15 0 62214193 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503687838464 140503667684732 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10551156 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62214193 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62214195 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62214195 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62214196 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) R 20053 20056 12560 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503042214768 140503683615362 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 15 0 62214198 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503041161968 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10551156 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) R 20053 20056 12560 0 -1 1077944384 429 0 0 0 4 0 0 0 20 0 15 0 62214198 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62214198 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62214206 10804383744 9158 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36632 KiB
[startup+0.700746 s]
/proc/loadavg: 1.99 2.18 2.87 6/212 20072
/proc/meminfo: memFree=31126368/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10617796 memory=63472 CPUtime=1.29 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 12859 0 0 0 125 4 0 0 20 0 16 0 62214187 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2654449 15868 3056 1 0 2643902 0
[pid=20056/tid=20058] ppid=20053 vsize=10617796 memory=1688 CPUtime=0.54 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) R 20053 20056 12560 0 -1 4202560 7014 0 0 0 51 3 0 0 20 0 16 0 62214193 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503687840440 140503297685649 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10617796 memory=5808 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10617796 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10617796 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10617796 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10617796 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 62214195 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10617796 memory=8600 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 62214195 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10617796 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62214196 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10617796 memory=7518026621751088996 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10617796 memory=7236547281622689387 CPUtime=0.26 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) R 20053 20056 12560 0 -1 4202560 1941 0 0 0 26 0 0 0 20 0 16 0 62214198 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503042193904 140503669644830 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10617796 memory=7301858164987948385 CPUtime=0.27 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) R 20053 20056 12560 0 -1 4202560 1167 0 0 0 27 0 0 0 20 0 16 0 62214198 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503041151760 140503662822919 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10617796 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) S 20053 20056 12560 0 -1 1077944384 1345 0 0 0 20 0 0 0 20 0 16 0 62214198 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10617796 memory=52096 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214206 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20072] ppid=20053 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20072/stat : 20072 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62214238 10872623104 15868 18446744073709551615 4194304 4196468 140724810107728 140503036949424 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 63472 KiB
[startup+1.50073 s]
/proc/loadavg: 1.99 2.18 2.87 3/212 20072
/proc/meminfo: memFree=31112256/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10617796 memory=72748 CPUtime=2.55 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 15457 0 0 0 250 5 0 0 20 0 16 0 62214187 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2654449 18187 3070 1 0 2643902 0
[pid=20056/tid=20058] ppid=20053 vsize=10617796 memory=1292 CPUtime=1.34 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) R 20053 20056 12560 0 -1 4202560 7484 0 0 0 131 3 0 0 20 0 16 0 62214193 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140503687829632 140503298035591 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10617796 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10617796 memory=1688 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10617796 memory=5808 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10617796 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 62214193 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 62214195 10872623104 18187 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
################
# More data... #
################
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 5018 0 0 0 146 18 0 0 20 0 16 0 62214193 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10617796 memory=519668 CPUtime=1.64 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 5871 0 0 0 146 18 0 0 20 0 16 0 62214193 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10617796 memory=519668 CPUtime=0.18 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 14701 0 0 0 14 4 0 0 20 0 16 0 62214195 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10617796 memory=1688 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 62214195 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10617796 memory=519668 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 62214196 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10617796 memory=519668 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10617796 memory=519668 CPUtime=0.68 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) S 20053 20056 12560 0 -1 1077944384 4584 0 0 0 67 1 0 0 20 0 16 0 62214198 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503042214768 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10617796 memory=519668 CPUtime=0.67 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 3080 0 0 0 67 0 0 0 20 0 16 0 62214198 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503041161968 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10617796 memory=519668 CPUtime=0.25 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) S 20053 20056 12560 0 -1 1077944384 2827 0 0 0 24 1 0 0 20 0 16 0 62214198 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10617796 memory=518224 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10617796 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1868 0 0 0 73 69 0 0 20 0 16 0 62214206 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20072] ppid=20053 vsize=10617796 memory=519668 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20072/stat : 20072 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62214238 10872623104 129556 18446744073709551615 4194304 4196468 140724810107728 140503036949424 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 2449.89 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 518224 KiB
[startup+2502.3 s]
/proc/loadavg: 3.53 3.92 3.32 6/210 20412
/proc/meminfo: memFree=22859612/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10617796 memory=510620 CPUtime=2509.98 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 74303 0 0 0 250854 144 0 0 20 0 16 0 62214187 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2654449 127655 3124 1 0 2643902 0
[pid=20056/tid=20058] ppid=20053 vsize=10617796 memory=510620 CPUtime=2500.04 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) R 20053 20056 12560 0 -1 4202560 21167 0 0 0 249997 7 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503687843184 140503297985650 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10617796 memory=510620 CPUtime=1.64 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 5995 0 0 0 146 18 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10617796 memory=510620 CPUtime=1.65 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 7502 0 0 0 148 17 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10617796 memory=510620 CPUtime=1.66 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 5040 0 0 0 148 18 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10617796 memory=510620 CPUtime=1.66 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 5885 0 0 0 148 18 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10617796 memory=510620 CPUtime=0.18 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 14874 0 0 0 14 4 0 0 20 0 16 0 62214195 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 62214195 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10617796 memory=510620 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 62214196 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10617796 memory=16 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10617796 memory=510620 CPUtime=0.68 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) S 20053 20056 12560 0 -1 1077944384 4586 0 0 0 67 1 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503042214768 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10617796 memory=4144 CPUtime=0.67 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 3082 0 0 0 67 0 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503041161968 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10617796 memory=510620 CPUtime=0.25 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) S 20053 20056 12560 0 -1 1077944384 2829 0 0 0 24 1 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10617796 memory=510620 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10617796 memory=4088 CPUtime=1.46 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1897 0 0 0 75 71 0 0 20 0 16 0 62214206 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20072] ppid=20053 vsize=10617796 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20072/stat : 20072 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62214238 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503036949424 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 2509.98 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 510620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.4 s]
/proc/loadavg: 3.76 3.96 3.34 7/210 20412
/proc/meminfo: memFree=22859612/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10617796 memory=510620 CPUtime=2520.08 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 74361 0 0 0 251864 144 0 0 20 0 16 0 62214187 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2654449 127655 3124 1 0 2643902 0
[pid=20056/tid=20058] ppid=20053 vsize=10617796 memory=3040 CPUtime=2510.14 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) R 20053 20056 12560 0 -1 4202560 21225 0 0 0 251007 7 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503687843184 140503297985650 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10617796 memory=-8774313645642428999 CPUtime=1.64 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 5995 0 0 0 146 18 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10617796 memory=956 CPUtime=1.65 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 7502 0 0 0 148 17 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10617796 memory=1232 CPUtime=1.66 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 5040 0 0 0 148 18 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10617796 memory=2240 CPUtime=1.66 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 5885 0 0 0 148 18 0 0 20 0 16 0 62214193 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10617796 memory=4088 CPUtime=0.18 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 14874 0 0 0 14 4 0 0 20 0 16 0 62214195 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 62214195 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10617796 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 62214196 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10617796 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10617796 memory=2780 CPUtime=0.68 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) S 20053 20056 12560 0 -1 1077944384 4586 0 0 0 67 1 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503042214768 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10617796 memory=6048332 CPUtime=0.67 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 3082 0 0 0 67 0 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503041161968 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10617796 memory=1688 CPUtime=0.25 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) S 20053 20056 12560 0 -1 1077944384 2829 0 0 0 24 1 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10617796 memory=519668 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62214198 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10617796 memory=510620 CPUtime=1.46 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1897 0 0 0 75 71 0 0 20 0 16 0 62214206 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20072] ppid=20053 vsize=10617796 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20072/stat : 20072 (java) S 20053 20056 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62214238 10872623104 127655 18446744073709551615 4194304 4196468 140724810107728 140503036949424 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 510620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.66 s]
# the end of solver process 20056 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.71 s, system=1.45208 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.6 s]
/proc/loadavg: 3.76 3.96 3.34 7/210 20412
/proc/meminfo: memFree=22859612/32770624 swapFree=67105588/67108860
[pid=20056] ppid=20053 vsize=10817488 memory=510896 CPUtime=2520.09 cores=0,2,4,6
/proc/20056/stat : 20056 (java) S 20053 20056 12560 0 -1 1077944320 74799 0 0 0 251865 144 0 0 20 0 17 0 62214187 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140724810090272 140503683604215 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
/proc/20056/statm: 2704372 127724 3127 1 0 2693825 0
[pid=20056/tid=20058] ppid=20053 vsize=10817488 memory=0 CPUtime=2510.15 cores=0,2,4,6
/proc/20056/task/20058/stat : 20058 (java) S 20053 20056 12560 0 -1 1077944384 21255 0 0 0 251008 7 0 0 20 0 17 0 62214193 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503687847088 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20059] ppid=20053 vsize=10817488 memory=6370719275257063784 CPUtime=1.64 cores=0,2,4,6
/proc/20056/task/20059/stat : 20059 (java) S 20053 20056 12560 0 -1 1077944384 5995 0 0 0 146 18 0 0 20 0 17 0 62214193 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503295192208 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20060] ppid=20053 vsize=10817488 memory=7230645025961766505 CPUtime=1.65 cores=0,2,4,6
/proc/20056/task/20060/stat : 20060 (java) S 20053 20056 12560 0 -1 1077944384 7502 0 0 0 148 17 0 0 20 0 17 0 62214193 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503294139408 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20061] ppid=20053 vsize=10817488 memory=6369607583080135248 CPUtime=1.66 cores=0,2,4,6
/proc/20056/task/20061/stat : 20061 (java) S 20053 20056 12560 0 -1 1077944384 5040 0 0 0 148 18 0 0 20 0 17 0 62214193 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503293086608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20062] ppid=20053 vsize=10817488 memory=644 CPUtime=1.66 cores=0,2,4,6
/proc/20056/task/20062/stat : 20062 (java) S 20053 20056 12560 0 -1 1077944384 5885 0 0 0 148 18 0 0 20 0 17 0 62214193 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503292033808 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20063] ppid=20053 vsize=10817488 memory=1744 CPUtime=0.18 cores=0,2,4,6
/proc/20056/task/20063/stat : 20063 (java) S 20053 20056 12560 0 -1 1077944384 14874 0 0 0 14 4 0 0 20 0 17 0 62214195 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503046424944 140503683615362 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20064] ppid=20053 vsize=10817488 memory=956 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20064/stat : 20064 (java) S 20053 20056 12560 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 17 0 62214195 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503045370912 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20065] ppid=20053 vsize=10817488 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20065/stat : 20065 (java) S 20053 20056 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 62214196 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503044318064 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20066] ppid=20053 vsize=10817488 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20066/stat : 20066 (java) S 20053 20056 12560 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 17 0 62214198 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503043266384 140503683622811 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20067] ppid=20053 vsize=10817488 memory=4088 CPUtime=0.68 cores=0,2,4,6
/proc/20056/task/20067/stat : 20067 (java) S 20053 20056 12560 0 -1 1077944384 4586 0 0 0 67 1 0 0 20 0 17 0 62214198 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503042214768 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20068] ppid=20053 vsize=10817488 memory=1620 CPUtime=0.67 cores=0,2,4,6
/proc/20056/task/20068/stat : 20068 (java) S 20053 20056 12560 0 -1 1077944384 3082 0 0 0 67 0 0 0 20 0 17 0 62214198 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503041161968 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20069] ppid=20053 vsize=10817488 memory=920 CPUtime=0.25 cores=0,2,4,6
/proc/20056/task/20069/stat : 20069 (java) S 20053 20056 12560 0 -1 1077944384 3019 0 0 0 24 1 0 0 20 0 17 0 62214198 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503040109168 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20070] ppid=20053 vsize=10817488 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/20056/task/20070/stat : 20070 (java) S 20053 20056 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62214198 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503039056608 140503683614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
[pid=20056/tid=20071] ppid=20053 vsize=10817488 memory=832 CPUtime=1.46 cores=0,2,4,6
/proc/20056/task/20071/stat : 20071 (java) S 20053 20056 12560 0 -1 1077944384 1897 0 0 0 75 71 0 0 20 0 17 0 62214206 11077107712 127724 18446744073709551615 4194304 4196468 140724810107728 140503038003888 140503683615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31399936 140724810113424 140724810113577 140724810113577 140724810117071 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 510896 KiB
Child status: 143
Real time (s): 2512.66
CPU time (s): 2520.17
CPU user time (s): 2518.71
CPU system time (s): 1.45208
CPU usage (%): 100.299
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 697272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.45208
maximum resident set size= 748680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57115
involuntary context switches= 2492
# summary of solver processes directly reported to runsolver:
# pid: 20056
# total CPU time (s): 2520.17
# total CPU user time (s): 2518.71
# total CPU system time (s): 1.45208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0453 second user time and 24.4711 second system time
The end