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 (11610 MiB free)
memory of node 1: 16384 MiB (14381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400685-1568695453/watcher-4400685-1568695453 -o /tmp/evaluation-result-4400685-1568695453/solver-4400685-1568695453 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568673290-15914 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=59759252 HOME/instance-4400685-1568695453.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=22591, runsolver pid=22588
[startup+0.100018 s]*
/proc/loadavg: 1.42 1.37 1.40 3/218 22648
/proc/meminfo: memFree=26610116/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 4472 13303 0 0 1 1 5 3 20 0 6 0 445483730 10212057088 4204 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2493178 4204 1935 1 0 2481616 0
[pid=22591/tid=22644] ppid=22588 vsize=9972712 memory=4279135704013571469 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 2260 13303 0 0 1 0 5 3 20 0 6 0 445483740 10212057088 4204 33554432000 4194304 4196468 140726204241296 140070522155600 140070536001331 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 6 0 445483740 10212057088 4204 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=9972712 memory=140694845875840 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 6 0 445483740 10212057088 4204 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 6 0 445483740 10212057088 4204 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 6 0 445483740 10212057088 4204 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.211991 s]*
/proc/loadavg: 1.42 1.37 1.40 4/227 22657
/proc/meminfo: memFree=26587132/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10820196 memory=44364 CPUtime=0.28 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 7444 13303 0 0 18 2 5 3 20 0 15 0 445483730 11079880704 11091 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2705049 11091 3270 1 0 2667149 0
[pid=22591/tid=22644] ppid=22588 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 3910 13303 0 0 11 1 5 3 20 0 15 0 445483740 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070522135952 140070550340765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10820196 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10820196 memory=140694849228798 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10820196 memory=140694845875840 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483742 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 33 13303 0 0 0 0 5 3 20 0 15 0 445483742 11079880704 11091 33554432000 4194304 4196468 140726204241296 140070007797152 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483742 11079880704 11091 33554432000 4194304 4196468 140726204241296 140069889369584 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11079880704 11091 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) R 22588 22591 15883 0 -1 4202560 473 13303 0 0 2 0 5 3 20 0 15 0 445483745 11079880704 11091 33554432000 4194304 4196468 140726204241296 140069974239216 140070527684609 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 198 13303 0 0 1 0 5 3 20 0 15 0 445483745 11079880704 11091 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10820196 memory=140694845875840 CPUtime=0.11 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) S 22588 22591 15883 0 -1 1077944384 612 13303 0 0 3 0 5 3 20 0 15 0 445483745 11079880704 11091 33554432000 4194304 4196468 140726204241296 140069972134128 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11079880704 11091 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10820196 memory=140694845875840 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483746 11079880704 11091 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44364 KiB
[startup+0.31069 s]*
/proc/loadavg: 1.42 1.37 1.40 3/227 22657
/proc/meminfo: memFree=26575024/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10820196 memory=52640 CPUtime=0.41 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 10910 13303 0 0 30 3 5 3 20 0 15 0 445483730 11079880704 13160 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2705049 13160 3314 1 0 2667149 0
[pid=22591/tid=22644] ppid=22588 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 7359 13303 0 0 19 2 5 3 20 0 15 0 445483740 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070522127792 140070534399326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483742 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 33 13303 0 0 0 0 5 3 20 0 15 0 445483742 11079880704 13160 33554432000 4194304 4196468 140726204241296 140070007797152 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483742 11079880704 13160 33554432000 4194304 4196468 140726204241296 140069889369584 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11079880704 13160 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10820196 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) R 22588 22591 15883 0 -1 1077944384 476 13303 0 0 3 0 5 3 20 0 15 0 445483745 11079880704 13160 33554432000 4194304 4196468 140726204241296 140069974239216 140070550329986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 198 13303 0 0 1 0 5 3 20 0 15 0 445483745 11079880704 13160 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10820196 memory=140694845875840 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) R 22588 22591 15883 0 -1 1077944384 620 13303 0 0 5 0 5 3 20 0 15 0 445483745 11079880704 13160 33554432000 4194304 4196468 140726204241296 140069972134128 140070550329986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11079880704 13160 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10820196 memory=140694845875840 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483746 11079880704 13160 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52640 KiB
[startup+0.701028 s]
/proc/loadavg: 1.42 1.37 1.40 4/227 22657
/proc/meminfo: memFree=26561224/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10824364 memory=85512 CPUtime=1.12 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 15113 13303 0 0 99 5 5 3 20 0 15 0 445483730 11084148736 21378 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2706091 21378 3508 1 0 2668173 0
[pid=22591/tid=22644] ppid=22588 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 10549 13303 0 0 56 3 5 3 20 0 15 0 445483740 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070522143432 140070535686991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483740 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10824364 memory=140694740153104 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10824364 memory=140698833650268 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483740 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10824364 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 5 13303 0 0 0 0 5 3 20 0 15 0 445483742 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10824364 memory=7302135314614015845 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 33 13303 0 0 0 0 5 3 20 0 15 0 445483742 11084148736 21378 33554432000 4194304 4196468 140726204241296 140070007797152 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10824364 memory=6081102367496956009 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483742 11084148736 21378 33554432000 4194304 4196468 140726204241296 140069889369584 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10824364 memory=14060 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11084148736 21378 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10824364 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) R 22588 22591 15883 0 -1 4202560 894 13303 0 0 12 0 5 3 20 0 15 0 445483745 11084148736 21378 33554432000 4194304 4196468 140726204241296 140069974239216 140070535208257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10824364 memory=23544 CPUtime=0.2 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) R 22588 22591 15883 0 -1 4202560 592 13303 0 0 12 0 5 3 20 0 15 0 445483745 11084148736 21378 33554432000 4194304 4196468 140726204241296 140069973175472 140070533813078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10824364 memory=532 CPUtime=0.25 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) S 22588 22591 15883 0 -1 1077944384 817 13303 0 0 17 0 5 3 20 0 15 0 445483745 11084148736 21378 33554432000 4194304 4196468 140726204241296 140069972134128 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10824364 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11084148736 21378 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10824364 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483746 11084148736 21378 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85512 KiB
[startup+1.50066 s]
/proc/loadavg: 1.42 1.37 1.40 3/227 22657
/proc/meminfo: memFree=26516928/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10834680 memory=173480 CPUtime=2.43 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 21990 13303 0 0 226 9 5 3 20 0 15 0 445483730 11094712320 43370 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2708670 43370 3582 1 0 2670733 0
[pid=22591/tid=22644] ppid=22588 vsize=10834680 memory=69504 CPUtime=1.43 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 15326 13303 0 0 130 5 5 3 20 0 15 0 445483740 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070522122176 140070550330774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 79 13303 0 0 1 0 5 3 20 0 15 0 445483740 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10834680 memory=281389480337568 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 412 13303 0 0 0 0 5 3 20 0 15 0 445483740 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 83 13303 0 0 1 0 5 3 20 0 15 0 445483740 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 34 13303 0 0 1 0 5 3 20 0 15 0 445483740 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 164 13303 0 0 1 0 5 3 20 0 15 0 445483742 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 33 13303 0 0 0 0 5 3 20 0 15 0 445483742 11094712320 43370 33554432000 4194304 4196468 140726204241296 140070007797216 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483742 11094712320 43370 33554432000 4194304 4196468 140726204241296 140069889369600 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10834680 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11094712320 43370 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10834680 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) S 22588 22591 15883 0 -1 1077944384 1007 13303 0 0 24 0 5 3 20 0 15 0 445483745 11094712320 43370 33554432000 4194304 4196468 140726204241296 140069974239216 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10834680 memory=10 CPUtime=0.32 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 812 13303 0 0 24 0 5 3 20 0 15 0 445483745 11094712320 43370 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10834680 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) R 22588 22591 15883 0 -1 4202560 1822 13303 0 0 40 0 5 3 20 0 15 0 445483745 11094712320 43370 33554432000 4194304 4196468 140726204241296 140069972134128 140070550340186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10834680 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11094712320 43370 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10834680 memory=281389480582016 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 445483746 11094712320 43370 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+7.36079 s]
# the end of solver process 22591 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.9506 s, system=0.321006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40092 s]
/proc/loadavg: 1.63 1.42 1.41 5/227 22657
/proc/meminfo: memFree=26248032/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10849048 memory=419984 CPUtime=14.71 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 58368 13303 0 0 1439 24 5 3 20 0 15 0 445483730 11109425152 104996 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2712262 104996 3628 1 0 2674317 0
[pid=22591/tid=22644] ppid=22588 vsize=10849048 memory=8 CPUtime=6.25 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 24731 13303 0 0 606 11 5 3 20 0 15 0 445483740 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070522153160 140070117954644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10849048 memory=8 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 211 13303 0 0 4 0 5 3 20 0 15 0 445483740 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10849048 memory=8 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 521 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10849048 memory=8 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 956 13303 0 0 4 0 5 3 20 0 15 0 445483740 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10849048 memory=8 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 244 13303 0 0 4 0 5 3 20 0 15 0 445483740 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10849048 memory=8 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 3565 13303 0 0 4 0 5 3 20 0 15 0 445483742 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10849048 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 38 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 104996 33554432000 4194304 4196468 140726204241296 140070007797280 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10849048 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 104996 33554432000 4194304 4196468 140726204241296 140069889369600 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10849048 memory=174840 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 104996 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10849048 memory=4137290303932963203 CPUtime=3.26 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) S 22588 22591 15883 0 -1 1077944384 6635 13303 0 0 317 1 5 3 20 0 15 0 445483745 11109425152 104996 33554432000 4194304 4196468 140726204241296 140069974239216 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10849048 memory=-7384994778349281184 CPUtime=3.02 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 9973 13303 0 0 292 2 5 3 20 0 15 0 445483745 11109425152 104996 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10849048 memory=-7531822216213012384 CPUtime=2.11 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) S 22588 22591 15883 0 -1 1077944384 9268 13303 0 0 200 3 5 3 20 0 15 0 445483745 11109425152 104996 33554432000 4194304 4196468 140726204241296 140069972134128 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10849048 memory=6944656385659392097 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 104996 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10849048 memory=7811895306632908904 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 9 13303 0 0 0 0 5 3 20 0 15 0 445483746 11109425152 104996 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 14.71 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 419984 KiB
[startup+6.80061 s]
/proc/loadavg: 1.63 1.42 1.41 5/227 22657
/proc/meminfo: memFree=26248032/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10849048 memory=426176 CPUtime=15.38 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 58968 13303 0 0 1504 26 5 3 20 0 15 0 445483730 11109425152 106544 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2712262 106544 3628 1 0 2674317 0
[pid=22591/tid=22644] ppid=22588 vsize=10849048 memory=14060 CPUtime=6.64 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 24738 13303 0 0 645 11 5 3 20 0 15 0 445483740 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070522151936 140070533702805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10849048 memory=2241 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 212 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10849048 memory=2244 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 523 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10849048 memory=772 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 958 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10849048 memory=10596 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 245 13303 0 0 4 0 5 3 20 0 15 0 445483740 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10849048 memory=1712 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 3591 13303 0 0 4 0 5 3 20 0 15 0 445483742 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10849048 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 38 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 106544 33554432000 4194304 4196468 140726204241296 140070007797280 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10849048 memory=281389480852736 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 106544 33554432000 4194304 4196468 140726204241296 140069889369600 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10849048 memory=7524512692651257697 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 106544 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10849048 memory=7524512692651257697 CPUtime=3.32 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) S 22588 22591 15883 0 -1 1077944384 6885 13303 0 0 323 1 5 3 20 0 15 0 445483745 11109425152 106544 33554432000 4194304 4196468 140726204241296 140069974239216 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10849048 memory=297996 CPUtime=3.09 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 10043 13303 0 0 299 2 5 3 20 0 15 0 445483745 11109425152 106544 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10849048 memory=3 CPUtime=2.23 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) S 22588 22591 15883 0 -1 1077944384 9509 13303 0 0 212 3 5 3 20 0 15 0 445483745 11109425152 106544 33554432000 4194304 4196468 140726204241296 140069972134128 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10849048 memory=3 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 106544 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10849048 memory=351684 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 9 13303 0 0 0 0 5 3 20 0 15 0 445483746 11109425152 106544 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 426176 KiB
[startup+7.20073 s]
/proc/loadavg: 1.63 1.42 1.41 3/227 22657
/proc/meminfo: memFree=26200556/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10849048 memory=430328 CPUtime=16.01 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 59028 13303 0 0 1567 26 5 3 20 0 15 0 445483730 11109425152 107582 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2712262 107582 3628 1 0 2674317 0
[pid=22591/tid=22644] ppid=22588 vsize=10849048 memory=8 CPUtime=7.03 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 24743 13303 0 0 684 11 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070522151936 140070119904032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10849048 memory=8 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 217 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10849048 memory=8 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 527 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10849048 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 960 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10849048 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 247 13303 0 0 4 0 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10849048 memory=4580 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 3593 13303 0 0 4 0 5 3 20 0 15 0 445483742 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 38 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070007797280 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10849048 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069889369600 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10849048 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10849048 memory=6944656592455097440 CPUtime=3.38 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) S 22588 22591 15883 0 -1 1077944384 6906 13303 0 0 328 2 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069974239216 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10849048 memory=-6222667916917943438 CPUtime=3.15 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 10055 13303 0 0 304 3 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10849048 memory=6656426216303648864 CPUtime=2.36 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) R 22588 22591 15883 0 -1 4202560 9516 13303 0 0 224 4 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069972134128 140070529027008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10849048 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10849048 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 9 13303 0 0 0 0 5 3 20 0 15 0 445483746 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 430328 KiB
[startup+7.30075 s]
/proc/loadavg: 1.63 1.42 1.41 3/227 22657
/proc/meminfo: memFree=26200556/32770624 swapFree=66999436/67108860
[pid=22591] ppid=22588 vsize=10849048 memory=430328 CPUtime=16.16 cores=0,2,4,6
/proc/22591/stat : 22591 (java) S 22588 22591 15883 0 -1 1077944320 59030 13303 0 0 1582 26 5 3 20 0 15 0 445483730 11109425152 107582 33554432000 4194304 4196468 140726204241296 140726204223840 140070550318839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
/proc/22591/statm: 2712262 107582 3628 1 0 2674317 0
[pid=22591/tid=22644] ppid=22588 vsize=10849048 memory=430328 CPUtime=7.13 cores=0,2,4,6
/proc/22591/task/22644/stat : 22644 (java) R 22588 22591 15883 0 -1 4202560 24745 13303 0 0 694 11 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070522153008 140070123349852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22645] ppid=22588 vsize=10849048 memory=8 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22645/stat : 22645 (java) S 22588 22591 15883 0 -1 1077944384 217 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070554560784 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22646] ppid=22588 vsize=10849048 memory=8 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22646/stat : 22646 (java) S 22588 22591 15883 0 -1 1077944384 527 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070442834320 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22647] ppid=22588 vsize=10849048 memory=8101247189090653289 CPUtime=0.13 cores=0,2,4,6
/proc/22591/task/22647/stat : 22647 (java) S 22588 22591 15883 0 -1 1077944384 960 13303 0 0 4 1 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070441781776 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22648] ppid=22588 vsize=10849048 memory=7300449823602795622 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22648/stat : 22648 (java) S 22588 22591 15883 0 -1 1077944384 247 13303 0 0 4 0 5 3 20 0 15 0 445483740 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070440729232 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22649] ppid=22588 vsize=10849048 memory=7661862474079360356 CPUtime=0.12 cores=0,2,4,6
/proc/22591/task/22649/stat : 22649 (java) S 22588 22591 15883 0 -1 1077944384 3593 13303 0 0 4 0 5 3 20 0 15 0 445483742 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070008850928 140070550329986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22650] ppid=22588 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22650/stat : 22650 (java) S 22588 22591 15883 0 -1 1077944384 38 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 107582 33554432000 4194304 4196468 140726204241296 140070007797280 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22651] ppid=22588 vsize=10849048 memory=-6168368575958768251 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22651/stat : 22651 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483742 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069889369600 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22652] ppid=22588 vsize=10849048 memory=-5874771483550381248 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22652/stat : 22652 (java) S 22588 22591 15883 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069285391056 140070550337435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22653] ppid=22588 vsize=10849048 memory=-8820188211957838939 CPUtime=3.39 cores=0,2,4,6
/proc/22591/task/22653/stat : 22653 (java) S 22588 22591 15883 0 -1 1077944384 6906 13303 0 0 329 2 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069974239216 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22654] ppid=22588 vsize=10849048 memory=281389480667200 CPUtime=3.16 cores=0,2,4,6
/proc/22591/task/22654/stat : 22654 (java) S 22588 22591 15883 0 -1 1077944384 10055 13303 0 0 305 3 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069973186672 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22655] ppid=22588 vsize=10849048 memory=281389480671744 CPUtime=2.39 cores=0,2,4,6
/proc/22591/task/22655/stat : 22655 (java) S 22588 22591 15883 0 -1 1077944384 9516 13303 0 0 227 4 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069972134128 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22656] ppid=22588 vsize=10849048 memory=14973369229511284 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22656/stat : 22656 (java) S 22588 22591 15883 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 445483745 11109425152 107582 33554432000 4194304 4196468 140726204241296 140068815628896 140070550329045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
[pid=22591/tid=22657] ppid=22588 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22591/task/22657/stat : 22657 (java) S 22588 22591 15883 0 -1 1077944384 9 13303 0 0 0 0 5 3 20 0 15 0 445483746 11109425152 107582 33554432000 4194304 4196468 140726204241296 140069971082032 140070550329986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31932416 140726204246769 140726204249285 140726204249285 140726204252111 0
Current children cumulated CPU time: 16.16 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 430328 KiB
Child status: 0
Real time (s): 7.36085
CPU time (s): 16.2716
CPU user time (s): 15.9506
CPU system time (s): 0.321006
CPU usage (%): 221.056
Max. virtual memory (cumulated for all children) (KiB): 10849984
Max. memory (cumulated for all children) (KiB): 430328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9506
system time used= 0.321006
maximum resident set size= 432568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10536
involuntary context switches= 62
# summary of solver processes directly reported to runsolver:
# pid: 22591
# total CPU time (s): 16.2716
# total CPU user time (s): 15.9506
# total CPU system time (s): 0.321006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068256 second user time and 0.115965 second system time
The end