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 (13592 MiB free)
memory of node 1: 16384 MiB (15369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401008-1568675993/watcher-4401008-1568675993 -o /tmp/evaluation-result-4401008-1568675993/solver-4401008-1568675993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568673289-24883 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1332689568 HOME/instance-4401008-1568675993.xml
running on 4 cores: 1,3,5,7
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=25632, runsolver pid=25629
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.22 1.22 1.38 3/218 25689
/proc/meminfo: memFree=29651204/32770624 swapFree=66953560/67108860
[pid=25632] ppid=25629 vsize=9972712 memory=16812 CPUtime=0.1 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 4467 13082 0 0 1 1 5 3 20 0 6 0 443541245 10212057088 4203 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2493178 4203 1935 1 0 2481616 0
[pid=25632/tid=25685] ppid=25629 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 2267 13082 0 0 0 0 5 3 20 0 6 0 443541254 10212057088 4203 33554432000 4194304 4196468 140735321092928 139842394321488 139842414721854 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 6 0 443541255 10212057088 4203 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=9972712 memory=140459335280256 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 6 0 443541255 10212057088 4203 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 6 0 443541255 10212057088 4203 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 6 0 443541255 10212057088 4203 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.219334 s]*
/proc/loadavg: 1.22 1.22 1.38 4/227 25698
/proc/meminfo: memFree=29628256/32770624 swapFree=66953560/67108860
[pid=25632] ppid=25629 vsize=10821220 memory=45600 CPUtime=0.28 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 9464 13082 0 0 18 2 5 3 20 0 15 0 443541245 11080929280 11400 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2705305 11400 3306 1 0 2667405 0
[pid=25632/tid=25685] ppid=25629 vsize=10821220 memory=7822038051842263955 CPUtime=0.2 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 6083 13082 0 0 10 2 5 3 20 0 15 0 443541254 11080929280 11466 33554432000 4194304 4196468 140735321092928 139842394297088 139842415164445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10821220 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11080929280 11466 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10821220 memory=140459335280256 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11080929280 11466 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11080929280 11466 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 443541255 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10821220 memory=140459335280256 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 443541257 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 13 13082 0 0 0 0 5 3 20 0 15 0 443541257 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841786340384 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541257 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841182360432 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11080929280 11466 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10821220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) S 25629 25632 24851 0 -1 1077944384 365 13082 0 0 1 0 5 3 20 0 15 0 443541260 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) S 25629 25632 24851 0 -1 1077944384 288 13082 0 0 0 0 5 3 20 0 15 0 443541260 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841879403248 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10821220 memory=140459335280256 CPUtime=0.11 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 618 13082 0 0 3 0 5 3 20 0 15 0 443541260 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11080929280 11466 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10821220 memory=140459335280256 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541261 11080929280 11466 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 45600 KiB
[startup+0.311068 s]*
/proc/loadavg: 1.22 1.22 1.38 3/227 25698
/proc/meminfo: memFree=29619560/32770624 swapFree=66953560/67108860
[pid=25632] ppid=25629 vsize=10820196 memory=50452 CPUtime=0.4 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 10840 13082 0 0 29 3 5 3 20 0 15 0 443541245 11079880704 12613 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2705049 12613 3316 1 0 2667149 0
[pid=25632/tid=25685] ppid=25629 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 7327 13082 0 0 19 2 5 3 20 0 15 0 443541254 11079880704 12613 33554432000 4194304 4196468 140735321092928 139842394293680 139842406565214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10820196 memory=7235436761907817326 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11079880704 12613 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11079880704 12613 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10820196 memory=7649539826256464834 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11079880704 12613 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 443541255 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 443541257 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 13 13082 0 0 0 0 5 3 20 0 15 0 443541257 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841786340384 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541257 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841182360432 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11079880704 12613 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) S 25629 25632 24851 0 -1 1077944384 366 13082 0 0 2 0 5 3 20 0 15 0 443541260 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) S 25629 25632 24851 0 -1 1077944384 288 13082 0 0 1 0 5 3 20 0 15 0 443541260 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841879403248 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 626 13082 0 0 5 0 5 3 20 0 15 0 443541260 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11079880704 12613 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541261 11079880704 12613 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50452 KiB
[startup+0.700804 s]
/proc/loadavg: 1.22 1.22 1.38 4/227 25698
/proc/meminfo: memFree=29604532/32770624 swapFree=66953560/67108860
[pid=25632] ppid=25629 vsize=10824364 memory=83708 CPUtime=1.12 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 15122 13082 0 0 98 6 5 3 20 0 15 0 443541245 11084148736 20927 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2706091 20927 3509 1 0 2668173 0
[pid=25632/tid=25685] ppid=25629 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 10413 13082 0 0 55 4 5 3 20 0 15 0 443541254 11084148736 20927 33554432000 4194304 4196468 140735321092928 139842394298560 139842406565214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11084148736 20927 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11084148736 20927 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541255 11084148736 20927 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 443541255 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 5 13082 0 0 0 0 5 3 20 0 15 0 443541257 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 13 13082 0 0 0 0 5 3 20 0 15 0 443541257 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841786340384 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541257 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841182360432 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11084148736 20927 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10824364 memory=140459187931024 CPUtime=0.21 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) R 25629 25632 24851 0 -1 4202560 891 13082 0 0 13 0 5 3 20 0 15 0 443541260 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841880456048 139842406592885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10824364 memory=24964 CPUtime=0.2 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) R 25629 25632 24851 0 -1 4202560 718 13082 0 0 12 0 5 3 20 0 15 0 443541260 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841879403248 139842405985040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10824364 memory=2244 CPUtime=0.25 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 866 13082 0 0 17 0 5 3 20 0 15 0 443541260 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10824364 memory=140459187928432 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11084148736 20927 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541261 11084148736 20927 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83708 KiB
[startup+1.50162 s]
/proc/loadavg: 1.22 1.22 1.38 4/227 25698
/proc/meminfo: memFree=29560656/32770624 swapFree=66953560/67108860
[pid=25632] ppid=25629 vsize=10834680 memory=171528 CPUtime=2.47 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 21913 13082 0 0 228 11 5 3 20 0 15 0 443541245 11094712320 42882 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2708670 42882 3584 1 0 2670733 0
[pid=25632/tid=25685] ppid=25629 vsize=10834680 memory=18 CPUtime=1.43 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 15346 13082 0 0 129 6 5 3 20 0 15 0 443541254 11094712320 42882 33554432000 4194304 4196468 140735321092928 139842394285936 139842422496662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10834680 memory=26 CPUtime=0.09 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 55 13082 0 0 1 0 5 3 20 0 15 0 443541255 11094712320 42882 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 34 13082 0 0 0 0 5 3 20 0 15 0 443541255 11094712320 42882 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 344 13082 0 0 1 0 5 3 20 0 15 0 443541255 11094712320 42882 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10834680 memory=97528 CPUtime=0.09 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 66 13082 0 0 1 0 5 3 20 0 15 0 443541255 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 176 13082 0 0 1 0 5 3 20 0 15 0 443541257 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10834680 memory=7018394261716492883 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 13 13082 0 0 0 0 5 3 20 0 15 0 443541257 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841786340448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10834680 memory=7018972553446646357 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 2 13082 0 0 0 0 5 3 20 0 15 0 443541257 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841182360448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10834680 memory=7157466003011628899 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11094712320 42882 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10834680 memory=5787214961271134564 CPUtime=0.31 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) R 25629 25632 24851 0 -1 1077944384 1011 13082 0 0 23 0 5 3 20 0 15 0 443541260 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10834680 memory=7378987913404633704 CPUtime=0.34 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) R 25629 25632 24851 0 -1 4202560 993 13082 0 0 26 0 5 3 20 0 15 0 443541260 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841879391264 139842403168425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10834680 memory=7018394261716492883 CPUtime=0.5 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) R 25629 25632 24851 0 -1 4202560 1660 13082 0 0 41 1 5 3 20 0 15 0 443541260 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841878350448 139842422496662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10834680 memory=7018394261716492883 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11094712320 42882 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10834680 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1 13082 0 0 0 0 5 3 20 0 15 0 443541261 11094712320 42882 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 143166 13082 0 0 235617 66 5 3 20 0 15 0 443541254 11107315712 96290 33554432000 4194304 4196468 140735321092928 139842394321056 139842023560155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10846988 memory=390484 CPUtime=14.04 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 25382 13082 0 0 1339 57 5 3 20 0 15 0 443541255 11107315712 96290 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10846988 memory=370724 CPUtime=14.04 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 19166 13082 0 0 1339 57 5 3 20 0 15 0 443541255 11107315712 96290 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10846988 memory=378456 CPUtime=14.02 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 17663 13082 0 0 1334 60 5 3 20 0 15 0 443541255 11107315712 96290 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10846988 memory=385672 CPUtime=14.03 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 19150 13082 0 0 1333 62 5 3 20 0 15 0 443541255 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10846988 memory=385672 CPUtime=9.31 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 14974 13082 0 0 838 85 5 3 20 0 15 0 443541257 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10846988 memory=385672 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841786340448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10846988 memory=385160 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841182360448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10846988 memory=385532 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 96290 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10846988 memory=385144 CPUtime=4.13 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) S 25629 25632 24851 0 -1 1077944384 10147 13082 0 0 402 3 5 3 20 0 15 0 443541260 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10846988 memory=3612 CPUtime=4.09 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) S 25629 25632 24851 0 -1 1077944384 12194 13082 0 0 399 2 5 3 20 0 15 0 443541260 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841879403248 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10846988 memory=6791534058613427641 CPUtime=2.07 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 12702 13082 0 0 195 4 5 3 20 0 15 0 443541260 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10846988 memory=32756 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 96290 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10846988 memory=385160 CPUtime=1.47 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1047 13082 0 0 63 76 5 3 20 0 15 0 443541261 11107315712 96290 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 2433.5 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 385160 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.25 1.29 3/227 26074
/proc/meminfo: memFree=28995292/32770624 swapFree=66953596/67108860
[pid=25632] ppid=25629 vsize=10846988 memory=386652 CPUtime=2494.61 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 282056 13082 0 0 249024 429 5 3 20 0 15 0 443541245 11107315712 96663 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2711747 96663 3632 1 0 2673805 0
[pid=25632/tid=25685] ppid=25629 vsize=10846988 memory=395884 CPUtime=2416.22 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 146069 13082 0 0 241547 67 5 3 20 0 15 0 443541254 11107315712 96663 33554432000 4194304 4196468 140735321092928 139842394320912 139842022530656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10846988 memory=394864 CPUtime=14.44 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 25921 13082 0 0 1376 60 5 3 20 0 15 0 443541255 11107315712 96663 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10846988 memory=390756 CPUtime=14.43 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 19409 13082 0 0 1376 59 5 3 20 0 15 0 443541255 11107315712 96663 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10846988 memory=391268 CPUtime=14.4 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 17793 13082 0 0 1370 62 5 3 20 0 15 0 443541255 11107315712 96663 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10846988 memory=389728 CPUtime=14.42 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 19302 13082 0 0 1371 63 5 3 20 0 15 0 443541255 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10846988 memory=389216 CPUtime=9.52 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 15199 13082 0 0 858 86 5 3 20 0 15 0 443541257 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10846988 memory=387164 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841786340448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10846988 memory=386652 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841182360448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10846988 memory=412744 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 96663 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10846988 memory=400508 CPUtime=4.13 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) S 25629 25632 24851 0 -1 1077944384 10149 13082 0 0 402 3 5 3 20 0 15 0 443541260 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10846988 memory=1672 CPUtime=4.09 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) S 25629 25632 24851 0 -1 1077944384 12196 13082 0 0 399 2 5 3 20 0 15 0 443541260 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841879403248 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10846988 memory=796 CPUtime=2.07 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 12704 13082 0 0 195 4 5 3 20 0 15 0 443541260 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10846988 memory=393832 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 96663 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10846988 memory=1428 CPUtime=1.51 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1062 13082 0 0 64 79 5 3 20 0 15 0 443541261 11107315712 96663 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 2494.61 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 386652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.3 s]
/proc/loadavg: 1.27 1.26 1.29 3/228 26085
/proc/meminfo: memFree=29007228/32770624 swapFree=66953604/67108860
[pid=25632] ppid=25629 vsize=10846988 memory=382636 CPUtime=2520.08 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 283348 13082 0 0 251567 433 5 3 20 0 15 0 443541245 11107315712 95659 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2711747 95659 3632 1 0 2673805 0
[pid=25632/tid=25685] ppid=25629 vsize=10846988 memory=383148 CPUtime=2440.93 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 147012 13082 0 0 244017 68 5 3 20 0 15 0 443541254 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842394320992 139842022145691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10846988 memory=385200 CPUtime=14.59 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 26031 13082 0 0 1391 60 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10846988 memory=382636 CPUtime=14.59 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 19510 13082 0 0 1392 59 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10846988 memory=395888 CPUtime=14.57 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 17834 13082 0 0 1386 63 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10846988 memory=389832 CPUtime=14.58 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 19370 13082 0 0 1387 63 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10846988 memory=383148 CPUtime=9.62 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 15220 13082 0 0 867 87 5 3 20 0 15 0 443541257 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10846988 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841786340448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10846988 memory=384688 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841182360448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10846988 memory=387768 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10846988 memory=389820 CPUtime=4.14 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) S 25629 25632 24851 0 -1 1077944384 10149 13082 0 0 403 3 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10846988 memory=0 CPUtime=4.09 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) S 25629 25632 24851 0 -1 1077944384 12196 13082 0 0 399 2 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841879403248 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10846988 memory=406 CPUtime=2.07 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 12704 13082 0 0 195 4 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10846988 memory=384176 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10846988 memory=11624 CPUtime=1.52 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1070 13082 0 0 65 79 5 3 20 0 15 0 443541261 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 382636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.33 s]
# the end of solver process 25632 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.75 s, system=4.36856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.3 s]
/proc/loadavg: 1.27 1.26 1.29 3/228 26085
/proc/meminfo: memFree=29007228/32770624 swapFree=66953604/67108860
[pid=25632] ppid=25629 vsize=10846988 memory=382636 CPUtime=2520.08 cores=1,3,5,7
/proc/25632/stat : 25632 (java) S 25629 25632 24851 0 -1 1077944320 283348 13082 0 0 251567 433 5 3 20 0 15 0 443541245 11107315712 95659 33554432000 4194304 4196468 140735321092928 140735321075472 139842422484727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
/proc/25632/statm: 2711747 95659 3632 1 0 2673805 0
[pid=25632/tid=25685] ppid=25629 vsize=10846988 memory=383148 CPUtime=2440.93 cores=1,3,5,7
/proc/25632/task/25685/stat : 25685 (java) R 25629 25632 24851 0 -1 4202560 147012 13082 0 0 244017 68 5 3 20 0 15 0 443541254 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842394320992 139842022145691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25686] ppid=25629 vsize=10846988 memory=385200 CPUtime=14.59 cores=1,3,5,7
/proc/25632/task/25686/stat : 25686 (java) S 25629 25632 24851 0 -1 1077944384 26031 13082 0 0 1391 60 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842426727568 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25687] ppid=25629 vsize=10846988 memory=382636 CPUtime=14.59 cores=1,3,5,7
/proc/25632/task/25687/stat : 25687 (java) S 25629 25632 24851 0 -1 1077944384 19510 13082 0 0 1392 59 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842325617680 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25688] ppid=25629 vsize=10846988 memory=395888 CPUtime=14.57 cores=1,3,5,7
/proc/25632/task/25688/stat : 25688 (java) S 25629 25632 24851 0 -1 1077944384 17834 13082 0 0 1386 63 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139842324564880 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25689] ppid=25629 vsize=10846988 memory=389832 CPUtime=14.58 cores=1,3,5,7
/proc/25632/task/25689/stat : 25689 (java) S 25629 25632 24851 0 -1 1077944384 19370 13082 0 0 1387 63 5 3 20 0 15 0 443541255 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841993829136 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25690] ppid=25629 vsize=10846988 memory=383148 CPUtime=9.62 cores=1,3,5,7
/proc/25632/task/25690/stat : 25690 (java) S 25629 25632 24851 0 -1 1077944384 15220 13082 0 0 867 87 5 3 20 0 15 0 443541257 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841881508208 139842422495874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25691] ppid=25629 vsize=10846988 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25691/stat : 25691 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841786340448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25692] ppid=25629 vsize=10846988 memory=384688 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25692/stat : 25692 (java) S 25629 25632 24851 0 -1 1077944384 20 13082 0 0 0 0 5 3 20 0 15 0 443541257 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841182360448 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25693] ppid=25629 vsize=10846988 memory=387768 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25693/stat : 25693 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139840942069584 139842422503323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25694] ppid=25629 vsize=10846988 memory=389820 CPUtime=4.14 cores=1,3,5,7
/proc/25632/task/25694/stat : 25694 (java) S 25629 25632 24851 0 -1 1077944384 10149 13082 0 0 403 3 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841880456048 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25695] ppid=25629 vsize=10846988 memory=0 CPUtime=4.09 cores=1,3,5,7
/proc/25632/task/25695/stat : 25695 (java) S 25629 25632 24851 0 -1 1077944384 12196 13082 0 0 399 2 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841879403248 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25696] ppid=25629 vsize=10846988 memory=406 CPUtime=2.07 cores=1,3,5,7
/proc/25632/task/25696/stat : 25696 (java) S 25629 25632 24851 0 -1 1077944384 12704 13082 0 0 195 4 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841878350448 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25697] ppid=25629 vsize=10846988 memory=384176 CPUtime=0.08 cores=1,3,5,7
/proc/25632/task/25697/stat : 25697 (java) S 25629 25632 24851 0 -1 1077944384 3 13082 0 0 0 0 5 3 20 0 15 0 443541260 11107315712 95659 33554432000 4194304 4196468 140735321092928 139840908511968 139842422494933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
[pid=25632/tid=25698] ppid=25629 vsize=10846988 memory=11624 CPUtime=1.52 cores=1,3,5,7
/proc/25632/task/25698/stat : 25698 (java) S 25629 25632 24851 0 -1 1077944384 1070 13082 0 0 65 79 5 3 20 0 15 0 443541261 11107315712 95659 33554432000 4194304 4196468 140735321092928 139841877297840 139842422495874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15466496 140735321094895 140735321097413 140735321097413 140735321100239 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 382636 KiB
Child status: 143
Real time (s): 2467.33
CPU time (s): 2520.12
CPU user time (s): 2515.75
CPU system time (s): 4.36856
CPU usage (%): 102.14
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1140064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.75
system time used= 4.36856
maximum resident set size= 1141100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253061
involuntary context switches= 4927
# summary of solver processes directly reported to runsolver:
# pid: 25632
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.75
# total CPU system time (s): 4.36856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0347 second user time and 21.9293 second system time
The end