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 (4020 MiB free)
memory of node 1: 16384 MiB (5226 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295950-1532602570/watcher-4295950-1532602570 -o /tmp/evaluation-result-4295950-1532602570/solver-4295950-1532602570 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532582651-32660 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=486646824 HOME/instance-4295950-1532602570.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=3786, runsolver pid=3783
[startup+0.100065 s]*
/proc/loadavg: 1.32 1.28 1.33 3/206 3843
/proc/meminfo: memFree=9463624/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=9972712 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 4323 12996 0 0 1 0 4 3 20 0 6 0 77820157 10212057088 4203 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2493178 4203 1934 1 0 2481616 0
[pid=3786/tid=3839] ppid=3783 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 2186 12996 0 0 1 0 4 3 20 0 6 0 77820166 10212057088 4203 33554432000 4194304 4196468 140724912575824 140464364790352 140464378636117 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 6 0 77820167 10212057088 4203 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=9972712 memory=140112550778496 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 6 0 77820167 10212057088 4203 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 6 0 77820167 10212057088 4203 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 6 0 77820167 10212057088 4203 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210252 s]*
/proc/loadavg: 1.32 1.28 1.33 3/215 3852
/proc/meminfo: memFree=9442972/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10818904 memory=40212 CPUtime=0.25 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 7243 12996 0 0 16 2 4 3 20 0 15 0 77820157 11078557696 10053 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2704726 10053 2948 1 0 2667149 0
[pid=3786/tid=3839] ppid=3783 vsize=10818904 memory=8389772277269004345 CPUtime=0.18 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 4067 12996 0 0 10 1 4 3 20 0 15 0 77820166 11078557696 10251 33554432000 4194304 4196468 140724912575824 140464364749632 140464392967455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10818904 memory=4294967638 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820167 11078557696 10251 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10818904 memory=288370488702490240 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820167 11078557696 10317 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820167 11078557696 10317 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820167 11078557696 10317 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10818904 memory=140112550778496 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820169 11078557696 10317 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 77820169 11078557696 10317 33554432000 4194304 4196468 140724912575824 140463281529632 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820169 11078557696 10317 33554432000 4194304 4196468 140724912575824 140463147312240 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11078557696 10317 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 483 12996 0 0 1 0 4 3 20 0 15 0 77820172 11078557696 10317 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 127 12996 0 0 0 0 4 3 20 0 15 0 77820172 11078557696 10317 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10818904 memory=140112550778496 CPUtime=0.1 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 606 12996 0 0 3 0 4 3 20 0 15 0 77820172 11078557696 10317 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11078557696 10317 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10818904 memory=140112550778496 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820173 11078557696 10383 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40212 KiB
[startup+0.310279 s]*
/proc/loadavg: 1.32 1.28 1.33 3/215 3852
/proc/meminfo: memFree=9430320/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10819352 memory=53928 CPUtime=0.37 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 10560 12996 0 0 28 2 4 3 20 0 15 0 77820157 11079016448 13482 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2704838 13482 3067 1 0 2667149 0
[pid=3786/tid=3839] ppid=3783 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 7130 12996 0 0 19 2 4 3 20 0 15 0 77820166 11079016448 13524 33554432000 4194304 4196468 140724912575824 140464364765600 140464376140031 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10819352 memory=7031125463459224206 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 13524 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 13524 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 13524 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 13524 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820169 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 77820169 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463281529632 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820169 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463147312240 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11079016448 13524 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 484 12996 0 0 2 0 4 3 20 0 15 0 77820172 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 127 12996 0 0 1 0 4 3 20 0 15 0 77820172 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 617 12996 0 0 5 0 4 3 20 0 15 0 77820172 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11079016448 13524 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820173 11079016448 13524 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53928 KiB
[startup+0.700746 s]
/proc/loadavg: 1.32 1.28 1.33 3/215 3852
/proc/meminfo: memFree=9419156/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10819352 memory=86380 CPUtime=0.99 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 16743 12996 0 0 88 4 4 3 20 0 15 0 77820157 11079016448 21595 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2704838 21595 3237 1 0 2667149 0
[pid=3786/tid=3839] ppid=3783 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 12266 12996 0 0 56 3 4 3 20 0 15 0 77820166 11079016448 21595 33554432000 4194304 4196468 140724912575824 140464364776592 140464374518582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 21595 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10819352 memory=8751464017575688501 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 21595 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10819352 memory=5787220424116168018 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 21595 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10819352 memory=7588675599774802240 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820167 11079016448 21595 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10819352 memory=2319389199337275488 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 77820169 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 13 12996 0 0 0 0 4 3 20 0 15 0 77820169 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463281529632 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10819352 memory=140112550777329 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820169 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463147312240 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11079016448 21595 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 1068 12996 0 0 10 0 4 3 20 0 15 0 77820172 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 497 12996 0 0 7 0 4 3 20 0 15 0 77820172 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 691 12996 0 0 13 0 4 3 20 0 15 0 77820172 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11079016448 21595 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820173 11079016448 21595 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86380 KiB
[startup+1.5008 s]
/proc/loadavg: 1.32 1.28 1.33 3/215 3852
/proc/meminfo: memFree=9376484/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10834252 memory=178524 CPUtime=2.38 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 24349 12996 0 0 222 9 4 3 20 0 15 0 77820157 11094274048 44631 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2708563 44631 3472 1 0 2670221 0
[pid=3786/tid=3839] ppid=3783 vsize=10834252 memory=2600 CPUtime=1.42 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 17675 12996 0 0 130 5 4 3 20 0 15 0 77820166 11094274048 44631 33554432000 4194304 4196468 140724912575824 140464364784784 140464392975517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10834252 memory=2708 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 23 12996 0 0 1 0 4 3 20 0 15 0 77820167 11094274048 44631 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10834252 memory=280224873070048 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 178 12996 0 0 1 0 4 3 20 0 15 0 77820167 11094274048 44631 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10834252 memory=7739551834925262434 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 15 12996 0 0 1 0 4 3 20 0 15 0 77820167 11094274048 44631 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 66 12996 0 0 1 0 4 3 20 0 15 0 77820167 11094274048 44631 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10834252 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 51 12996 0 0 1 0 4 3 20 0 15 0 77820169 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10834252 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 14 12996 0 0 0 0 4 3 20 0 15 0 77820169 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463281529696 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10834252 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 2 12996 0 0 0 0 4 3 20 0 15 0 77820169 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463147312256 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10834252 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11094274048 44631 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10834252 memory=6944656592387989600 CPUtime=0.33 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 1658 12996 0 0 26 0 4 3 20 0 15 0 77820172 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10834252 memory=280224873354000 CPUtime=0.31 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 1158 12996 0 0 24 0 4 3 20 0 15 0 77820172 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10834252 memory=12806 CPUtime=0.41 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 1313 12996 0 0 34 0 4 3 20 0 15 0 77820172 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10834252 memory=24389 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11094274048 44631 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1 12996 0 0 0 0 4 3 20 0 15 0 77820173 11094274048 44631 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 87893 12996 0 0 236693 29 4 3 20 0 15 0 77820166 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464364788272 140463982703785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.33 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 14579 12996 0 0 595 31 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10916192 memory=602452 CPUtime=6.33 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 12641 12996 0 0 591 35 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.33 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 10065 12996 0 0 595 31 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10916192 memory=23176 CPUtime=6.37 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 17298 12996 0 0 600 30 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.01 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 10763 12996 0 0 562 32 4 3 20 0 15 0 77820169 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10916192 memory=280224874879072 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 15 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463281529760 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10916192 memory=602528 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463147312256 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10916192 memory=602528 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10916192 memory=602452 CPUtime=6.98 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 47031 12996 0 0 684 7 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10916192 memory=602528 CPUtime=5.8 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 31493 12996 0 0 566 7 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10916192 memory=602528 CPUtime=3.25 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 43406 12996 0 0 312 6 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10916192 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11178180608 150632 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10916192 memory=23176 CPUtime=1.4 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1545 12996 0 0 68 65 4 3 20 0 15 0 77820173 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 2415.57 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 602528 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.39 1.40 3/215 4104
/proc/meminfo: memFree=11198392/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10916192 memory=602528 CPUtime=2475.97 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 279553 12996 0 0 247355 235 4 3 20 0 15 0 77820157 11178180608 150632 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2729048 150632 3526 1 0 2690701 0
[pid=3786/tid=3839] ppid=3783 vsize=10916192 memory=602528 CPUtime=2426.95 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 88252 12996 0 0 242658 30 4 3 20 0 15 0 77820166 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464364778592 140463982703114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10916192 memory=0 CPUtime=6.48 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 14601 12996 0 0 609 32 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.47 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 12657 12996 0 0 604 36 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.47 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 10085 12996 0 0 608 32 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.51 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 17313 12996 0 0 613 31 4 3 20 0 15 0 77820167 11178180608 150632 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10916192 memory=602452 CPUtime=6.15 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 10938 12996 0 0 575 33 4 3 20 0 15 0 77820169 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10916192 memory=602528 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 15 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463281529760 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10916192 memory=13580 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463147312256 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10916192 memory=4048 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10916192 memory=602528 CPUtime=6.98 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 47032 12996 0 0 684 7 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10916192 memory=602528 CPUtime=5.8 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 31493 12996 0 0 566 7 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10916192 memory=602528 CPUtime=3.25 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 43406 12996 0 0 312 6 4 3 20 0 15 0 77820172 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10916192 memory=5408 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11178180608 150632 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10916192 memory=602528 CPUtime=1.44 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1561 12996 0 0 70 67 4 3 20 0 15 0 77820173 11178180608 150632 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 2475.97 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 602528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2486.11 s]
/proc/loadavg: 1.46 1.42 1.41 3/215 4105
/proc/meminfo: memFree=11214700/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10916192 memory=604672 CPUtime=2520.07 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 280654 12996 0 0 251761 239 4 3 20 0 15 0 77820157 11178180608 151168 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2729048 151168 3526 1 0 2690701 0
[pid=3786/tid=3839] ppid=3783 vsize=10916192 memory=604672 CPUtime=2470.51 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 88648 12996 0 0 247014 30 4 3 20 0 15 0 77820166 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464364788240 140463980882859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.58 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 14638 12996 0 0 618 33 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10916192 memory=55 CPUtime=6.58 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 12684 12996 0 0 614 37 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.57 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 10148 12996 0 0 618 32 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.62 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 17670 12996 0 0 623 32 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10916192 memory=604640 CPUtime=6.24 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 11138 12996 0 0 584 33 4 3 20 0 15 0 77820169 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10916192 memory=604640 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 15 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463281529760 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10916192 memory=604672 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463147312256 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10916192 memory=604672 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.98 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 47034 12996 0 0 684 7 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10916192 memory=1728 CPUtime=5.8 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 31495 12996 0 0 566 7 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10916192 memory=1700 CPUtime=3.25 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 43408 12996 0 0 312 6 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10916192 memory=604672 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11178180608 151168 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10916192 memory=604672 CPUtime=1.46 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1576 12996 0 0 71 68 4 3 20 0 15 0 77820173 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 604672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.14 s]
# the end of solver process 3786 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.68 s, system=2.4399 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2486.11 s]
/proc/loadavg: 1.46 1.42 1.41 3/215 4105
/proc/meminfo: memFree=11214700/32770624 swapFree=67108860/67108860
[pid=3786] ppid=3783 vsize=10916192 memory=604672 CPUtime=2520.07 cores=0,2,4,6
/proc/3786/stat : 3786 (java) S 3783 3786 32629 0 -1 1077944320 280654 12996 0 0 251761 239 4 3 20 0 15 0 77820157 11178180608 151168 33554432000 4194304 4196468 140724912575824 140724912558368 140464392953591 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
/proc/3786/statm: 2729048 151168 3526 1 0 2690701 0
[pid=3786/tid=3839] ppid=3783 vsize=10916192 memory=604672 CPUtime=2470.51 cores=0,2,4,6
/proc/3786/task/3839/stat : 3839 (java) R 3783 3786 32629 0 -1 4202560 88648 12996 0 0 247014 30 4 3 20 0 15 0 77820166 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464364788240 140463980882859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3840] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.58 cores=0,2,4,6
/proc/3786/task/3840/stat : 3840 (java) S 3783 3786 32629 0 -1 1077944384 14638 12996 0 0 618 33 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464397196176 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3841] ppid=3783 vsize=10916192 memory=55 CPUtime=6.58 cores=0,2,4,6
/proc/3786/task/3841/stat : 3841 (java) S 3783 3786 32629 0 -1 1077944384 12684 12996 0 0 614 37 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464296086288 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3842] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.57 cores=0,2,4,6
/proc/3786/task/3842/stat : 3842 (java) S 3783 3786 32629 0 -1 1077944384 10148 12996 0 0 618 32 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464295034000 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3843] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.62 cores=0,2,4,6
/proc/3786/task/3843/stat : 3843 (java) S 3783 3786 32629 0 -1 1077944384 17670 12996 0 0 623 32 4 3 20 0 15 0 77820167 11178180608 151168 33554432000 4194304 4196468 140724912575824 140464293981200 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3844] ppid=3783 vsize=10916192 memory=604640 CPUtime=6.24 cores=0,2,4,6
/proc/3786/task/3844/stat : 3844 (java) S 3783 3786 32629 0 -1 1077944384 11138 12996 0 0 584 33 4 3 20 0 15 0 77820169 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463851722864 140464392964738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3845] ppid=3783 vsize=10916192 memory=604640 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3845/stat : 3845 (java) S 3783 3786 32629 0 -1 1077944384 15 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463281529760 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3846] ppid=3783 vsize=10916192 memory=604672 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3846/stat : 3846 (java) S 3783 3786 32629 0 -1 1077944384 5 12996 0 0 0 0 4 3 20 0 15 0 77820169 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463147312256 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3847] ppid=3783 vsize=10916192 memory=604672 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3847/stat : 3847 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140462907021392 140464392972187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3848] ppid=3783 vsize=10916192 memory=604672 CPUtime=6.98 cores=0,2,4,6
/proc/3786/task/3848/stat : 3848 (java) S 3783 3786 32629 0 -1 1077944384 47034 12996 0 0 684 7 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463850670704 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3849] ppid=3783 vsize=10916192 memory=1728 CPUtime=5.8 cores=0,2,4,6
/proc/3786/task/3849/stat : 3849 (java) S 3783 3786 32629 0 -1 1077944384 31495 12996 0 0 566 7 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463849617904 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3850] ppid=3783 vsize=10916192 memory=1700 CPUtime=3.25 cores=0,2,4,6
/proc/3786/task/3850/stat : 3850 (java) S 3783 3786 32629 0 -1 1077944384 43408 12996 0 0 312 6 4 3 20 0 15 0 77820172 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463848565616 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3851] ppid=3783 vsize=10916192 memory=604672 CPUtime=0.07 cores=0,2,4,6
/proc/3786/task/3851/stat : 3851 (java) S 3783 3786 32629 0 -1 1077944384 3 12996 0 0 0 0 4 3 20 0 15 0 77820173 11178180608 151168 33554432000 4194304 4196468 140724912575824 140462873463776 140464392963797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
[pid=3786/tid=3852] ppid=3783 vsize=10916192 memory=604672 CPUtime=1.46 cores=0,2,4,6
/proc/3786/task/3852/stat : 3852 (java) S 3783 3786 32629 0 -1 1077944384 1576 12996 0 0 71 68 4 3 20 0 15 0 77820173 11178180608 151168 33554432000 4194304 4196468 140724912575824 140463847512496 140464392964738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31715328 140724912581231 140724912584028 140724912584028 140724912586703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 604672 KiB
Child status: 143
Real time (s): 2486.14
CPU time (s): 2520.12
CPU user time (s): 2517.68
CPU system time (s): 2.4399
CPU usage (%): 101.367
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 615776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.68
system time used= 2.4399
maximum resident set size= 617824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194208
involuntary context switches= 7907
# summary of solver processes directly reported to runsolver:
# pid: 3786
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.68
# total CPU system time (s): 2.4399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.732 second user time and 19.2834 second system time
The end