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 (13464 MiB free)
memory of node 1: 16384 MiB (15778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400837-1568693029/watcher-4400837-1568693029 -o /tmp/evaluation-result-4400837-1568693029/solver-4400837-1568693029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1030 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1910530933 HOME/instance-4400837-1568693029.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
Current StackSize limit: 8192 KiB
solver pid=6500, runsolver pid=6497
[startup+0.10006 s]*
/proc/loadavg: 1.53 1.57 1.44 3/221 6557
/proc/meminfo: memFree=29939756/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 4467 13315 0 0 1 0 5 3 20 0 6 0 445567779 10212057088 4203 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2493178 4203 1935 1 0 2481616 0
[pid=6500/tid=6553] ppid=6497 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 2287 13315 0 0 1 0 5 3 20 0 6 0 445567788 10212057088 4269 33554432000 4194304 4196468 140732159259312 139894336373328 139894348617054 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 6 0 445567789 10212057088 4269 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=9972712 memory=139755653596800 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 6 0 445567789 10212057088 4269 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 6 0 445567789 10212057088 4269 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 6 0 445567789 10212057088 4269 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210159 s]*
/proc/loadavg: 1.53 1.57 1.44 3/230 6566
/proc/meminfo: memFree=29916496/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10821220 memory=42888 CPUtime=0.28 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 7646 13315 0 0 18 2 5 3 20 0 15 0 445567779 11080929280 10722 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2705305 10722 3325 1 0 2667405 0
[pid=6500/tid=6553] ppid=6497 vsize=10821220 memory=5450916389569530688 CPUtime=0.19 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 4299 13315 0 0 10 1 5 3 20 0 15 0 445567788 11080929280 10854 33554432000 4194304 4196468 140732159259312 139894336348928 139894357216285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10821220 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567789 11080929280 10854 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10821220 memory=139755653596800 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567789 11080929280 10854 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567789 11081912320 10854 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10822180 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567789 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10822180 memory=139755653596800 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567790 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10822180 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 445567791 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893258839584 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567791 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893124621680 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10822180 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11081912320 10920 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10822180 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 605 13315 0 0 1 0 5 3 20 0 15 0 445567794 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10822180 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) R 6497 6500 998 0 -1 4202560 57 13315 0 0 1 0 5 3 20 0 15 0 445567794 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893821663472 139894342410752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10822180 memory=139755653596800 CPUtime=0.11 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 620 13315 0 0 3 0 5 3 20 0 15 0 445567794 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10822180 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11081912320 10920 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10822180 memory=139755653596800 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567794 11081912320 10920 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 42888 KiB
[startup+0.310625 s]*
/proc/loadavg: 1.53 1.57 1.44 3/230 6566
/proc/meminfo: memFree=29907364/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10820196 memory=50532 CPUtime=0.41 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 10878 13315 0 0 30 3 5 3 20 0 15 0 445567779 11079880704 12633 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2705049 12633 3334 1 0 2667149 0
[pid=6500/tid=6553] ppid=6497 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 7356 13315 0 0 19 2 5 3 20 0 15 0 445567788 11079880704 12633 33554432000 4194304 4196468 140732159259312 139894336345520 139894364558493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10820196 memory=7373906980163381349 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567789 11079880704 12633 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10820196 memory=5931329032301858896 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567789 11079880704 12633 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10820196 memory=7019606843474463686 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567789 11079880704 12633 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567789 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567790 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 445567791 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893258839584 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567791 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893124621680 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11079880704 12633 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 606 13315 0 0 2 0 5 3 20 0 15 0 445567794 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) S 6497 6500 998 0 -1 1077944384 58 13315 0 0 2 0 5 3 20 0 15 0 445567794 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893821663472 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 627 13315 0 0 5 0 5 3 20 0 15 0 445567794 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11079880704 12633 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567794 11079880704 12633 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50532 KiB
[startup+0.701387 s]
/proc/loadavg: 1.53 1.57 1.44 4/230 6566
/proc/meminfo: memFree=29892104/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10824364 memory=83424 CPUtime=1.16 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 15119 13315 0 0 103 5 5 3 20 0 15 0 445567779 11084148736 20856 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2706091 20856 3503 1 0 2668173 0
[pid=6500/tid=6553] ppid=6497 vsize=10824364 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 10540 13315 0 0 55 4 5 3 20 0 15 0 445567788 11084148736 20856 33554432000 4194304 4196468 140732159259312 139894336363456 139894348622996 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567789 11084148736 20856 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567789 11084148736 20856 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567789 11084148736 20856 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 2 13315 0 0 0 0 5 3 20 0 15 0 445567789 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 445567790 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 445567791 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893258839584 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567791 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893124621680 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11084148736 20856 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10824364 memory=139755551491984 CPUtime=0.24 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) R 6497 6500 998 0 -1 4202560 1027 13315 0 0 16 0 5 3 20 0 15 0 445567794 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893822716272 139894345715447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10824364 memory=24964 CPUtime=0.2 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) R 6497 6500 998 0 -1 4202560 487 13315 0 0 12 0 5 3 20 0 15 0 445567794 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893821663472 139894349416150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10824364 memory=2244 CPUtime=0.25 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 827 13315 0 0 17 0 5 3 20 0 15 0 445567794 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10824364 memory=139755551489392 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11084148736 20856 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567794 11084148736 20856 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83424 KiB
[startup+1.50084 s]
/proc/loadavg: 1.53 1.57 1.44 6/230 6566
/proc/meminfo: memFree=29823564/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10828536 memory=213268 CPUtime=3.62 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 21378 13315 0 0 345 9 5 3 20 0 15 0 445567779 11088420864 53317 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2707134 53317 3589 1 0 2669197 0
[pid=6500/tid=6553] ppid=6497 vsize=10828536 memory=28 CPUtime=1.44 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 12477 13315 0 0 130 6 5 3 20 0 15 0 445567788 11088420864 53317 33554432000 4194304 4196468 140732159259312 139894336361648 139894364558493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10828536 memory=30 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 4 13315 0 0 0 0 5 3 20 0 15 0 445567789 11088420864 53317 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10828536 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 445567789 11088420864 53317 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10828536 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 71 13315 0 0 1 0 5 3 20 0 15 0 445567789 11088420864 53317 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10828536 memory=108316 CPUtime=0.09 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 335 13315 0 0 1 0 5 3 20 0 15 0 445567789 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10828536 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 89 13315 0 0 0 0 5 3 20 0 15 0 445567790 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10828536 memory=7305218370954619481 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 13 13315 0 0 0 0 5 3 20 0 15 0 445567791 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893258839584 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10828536 memory=6009298782437991531 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567791 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893124621680 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10828536 memory=7453853673058556010 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11088420864 53317 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10828536 memory=7440056984007045732 CPUtime=0.9 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 2498 13315 0 0 82 0 5 3 20 0 15 0 445567794 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10828536 memory=6152592656769115754 CPUtime=0.89 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) S 6497 6500 998 0 -1 1077944384 2084 13315 0 0 81 0 5 3 20 0 15 0 445567794 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893821663472 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10828536 memory=7305218370954619481 CPUtime=0.54 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 1588 13315 0 0 46 0 5 3 20 0 15 0 445567794 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10828536 memory=7305218370954619481 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11088420864 53317 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10828536 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1 13315 0 0 0 0 5 3 20 0 15 0 445567794 11088420864 53317 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 3.62 s
Current children cumulated vsize: 10828536 KiB
################
# More data... #
################
[startup+1125.5 s]
# the end of solver process 6500 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1161.83 s, system=1.94873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1123.2 s]
/proc/loadavg: 1.47 1.45 1.44 3/229 6796
/proc/meminfo: memFree=28240604/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10849036 memory=1338144 CPUtime=1161.41 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 226230 13315 0 0 115944 189 5 3 20 0 15 0 445567779 11109412864 334536 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2712259 334536 3643 1 0 2674317 0
[pid=6500/tid=6553] ppid=6497 vsize=10849036 memory=8112282956445269571 CPUtime=1113.8 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 68650 13315 0 0 111316 56 5 3 20 0 15 0 445567788 11109412864 334536 33554432000 4194304 4196468 140732159259312 139894336372176 139893965638184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10849036 memory=9396 CPUtime=5.7 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 13699 13315 0 0 544 18 5 3 20 0 15 0 445567789 11109412864 334536 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10849036 memory=656 CPUtime=5.74 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 16710 13315 0 0 549 17 5 3 20 0 15 0 445567789 11109412864 334536 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10849036 memory=4036 CPUtime=5.75 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 21210 13315 0 0 547 20 5 3 20 0 15 0 445567789 11109412864 334536 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10849036 memory=1204 CPUtime=5.72 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 15260 13315 0 0 547 17 5 3 20 0 15 0 445567789 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10849036 memory=988 CPUtime=2.57 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 16911 13315 0 0 219 30 5 3 20 0 15 0 445567790 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10849036 memory=2020 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 18 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893258839648 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10849036 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893124621696 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10849036 memory=9396 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 334536 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10849036 memory=656 CPUtime=9.62 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 28747 13315 0 0 951 3 5 3 20 0 15 0 445567794 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10849036 memory=4036 CPUtime=9.32 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) S 6497 6500 998 0 -1 1077944384 26792 13315 0 0 921 3 5 3 20 0 15 0 445567794 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893821663472 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10849036 memory=2832 CPUtime=3.09 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 14818 13315 0 0 296 5 5 3 20 0 15 0 445567794 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10849036 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 334536 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10849036 memory=8112282956445269571 CPUtime=0.73 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1198 13315 0 0 31 34 5 3 20 0 15 0 445567794 11109412864 334536 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 1161.41 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1338144 KiB
[startup+1124.8 s]
/proc/loadavg: 1.35 1.43 1.43 3/229 6796
/proc/meminfo: memFree=28243844/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10849036 memory=1335068 CPUtime=1163.05 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 226240 13315 0 0 116107 190 5 3 20 0 15 0 445567779 11109412864 333767 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2712259 333767 3643 1 0 2674317 0
[pid=6500/tid=6553] ppid=6497 vsize=10849036 memory=1336092 CPUtime=1115.38 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 68656 13315 0 0 111474 56 5 3 20 0 15 0 445567788 11109412864 333767 33554432000 4194304 4196468 140732159259312 139894336372368 139893965641967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10849036 memory=8112282956445269571 CPUtime=5.71 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 13699 13315 0 0 545 18 5 3 20 0 15 0 445567789 11109412864 333767 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10849036 memory=1072 CPUtime=5.75 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 16712 13315 0 0 550 17 5 3 20 0 15 0 445567789 11109412864 333767 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10849036 memory=5860 CPUtime=5.76 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 21212 13315 0 0 548 20 5 3 20 0 15 0 445567789 11109412864 333767 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10849036 memory=1544 CPUtime=5.74 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 15260 13315 0 0 549 17 5 3 20 0 15 0 445567789 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10849036 memory=8112282956445269571 CPUtime=2.57 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 16911 13315 0 0 219 30 5 3 20 0 15 0 445567790 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 18 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893258839648 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10849036 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893124621696 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10849036 memory=2020 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 333767 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10849036 memory=1432 CPUtime=9.62 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 28747 13315 0 0 951 3 5 3 20 0 15 0 445567794 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10849036 memory=9396 CPUtime=9.32 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) S 6497 6500 998 0 -1 1077944384 26792 13315 0 0 921 3 5 3 20 0 15 0 445567794 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893821663472 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10849036 memory=656 CPUtime=3.09 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 14818 13315 0 0 296 5 5 3 20 0 15 0 445567794 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10849036 memory=4036 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 333767 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10849036 memory=2832 CPUtime=0.73 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1198 13315 0 0 31 34 5 3 20 0 15 0 445567794 11109412864 333767 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 1163.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1335068 KiB
[startup+1125.2 s]
/proc/loadavg: 1.35 1.43 1.43 3/229 6796
/proc/meminfo: memFree=28245348/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10849036 memory=1334552 CPUtime=1163.46 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 226241 13315 0 0 116148 190 5 3 20 0 15 0 445567779 11109412864 333638 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2712259 333638 3643 1 0 2674317 0
[pid=6500/tid=6553] ppid=6497 vsize=10849036 memory=14412626872502050 CPUtime=1115.78 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 68657 13315 0 0 111514 56 5 3 20 0 15 0 445567788 11109412864 333638 33554432000 4194304 4196468 140732159259312 139894336372576 139893958114721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10849036 memory=0 CPUtime=5.71 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 13699 13315 0 0 545 18 5 3 20 0 15 0 445567789 11109412864 333638 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10849036 memory=0 CPUtime=5.75 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 16712 13315 0 0 550 17 5 3 20 0 15 0 445567789 11109412864 333638 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10849036 memory=139755552491920 CPUtime=5.76 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 21212 13315 0 0 548 20 5 3 20 0 15 0 445567789 11109412864 333638 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10849036 memory=800 CPUtime=5.74 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 15260 13315 0 0 549 17 5 3 20 0 15 0 445567789 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10849036 memory=4104 CPUtime=2.57 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 16911 13315 0 0 219 30 5 3 20 0 15 0 445567790 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10849036 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 18 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893258839648 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10849036 memory=3196 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893124621696 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10849036 memory=1354548 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 333638 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10849036 memory=1408 CPUtime=9.62 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 28747 13315 0 0 951 3 5 3 20 0 15 0 445567794 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10849036 memory=3228 CPUtime=9.32 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) S 6497 6500 998 0 -1 1077944384 26792 13315 0 0 921 3 5 3 20 0 15 0 445567794 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893821663472 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10849036 memory=758296 CPUtime=3.09 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 14818 13315 0 0 296 5 5 3 20 0 15 0 445567794 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10849036 memory=1335068 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 333638 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10849036 memory=1335068 CPUtime=0.73 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1198 13315 0 0 31 34 5 3 20 0 15 0 445567794 11109412864 333638 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 1163.46 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1334552 KiB
[startup+1125.4 s]
/proc/loadavg: 1.35 1.43 1.43 3/229 6796
/proc/meminfo: memFree=28245348/32770624 swapFree=66998756/67108860
[pid=6500] ppid=6497 vsize=10849036 memory=1334040 CPUtime=1163.66 cores=1,3,5,7
/proc/6500/stat : 6500 (java) S 6497 6500 998 0 -1 1077944320 226242 13315 0 0 116168 190 5 3 20 0 15 0 445567779 11109412864 333510 33554432000 4194304 4196468 140732159259312 140732159241856 139894364536567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
/proc/6500/statm: 2712259 333510 3643 1 0 2674317 0
[pid=6500/tid=6553] ppid=6497 vsize=10849036 memory=988 CPUtime=1115.98 cores=1,3,5,7
/proc/6500/task/6553/stat : 6553 (java) R 6497 6500 998 0 -1 4202560 68658 13315 0 0 111534 56 5 3 20 0 15 0 445567788 11109412864 333510 33554432000 4194304 4196468 140732159259312 139894336372160 139893955912083 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6554] ppid=6497 vsize=10849036 memory=2020 CPUtime=5.71 cores=1,3,5,7
/proc/6500/task/6554/stat : 6554 (java) S 6497 6500 998 0 -1 1077944384 13699 13315 0 0 545 18 5 3 20 0 15 0 445567789 11109412864 333510 33554432000 4194304 4196468 140732159259312 139894368778896 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6555] ppid=6497 vsize=10849036 memory=1432 CPUtime=5.75 cores=1,3,5,7
/proc/6500/task/6555/stat : 6555 (java) S 6497 6500 998 0 -1 1077944384 16712 13315 0 0 550 17 5 3 20 0 15 0 445567789 11109412864 333510 33554432000 4194304 4196468 140732159259312 139894267669008 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6556] ppid=6497 vsize=10849036 memory=9396 CPUtime=5.76 cores=1,3,5,7
/proc/6500/task/6556/stat : 6556 (java) S 6497 6500 998 0 -1 1077944384 21212 13315 0 0 548 20 5 3 20 0 15 0 445567789 11109412864 333510 33554432000 4194304 4196468 140732159259312 139894266616208 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6557] ppid=6497 vsize=10849036 memory=656 CPUtime=5.74 cores=1,3,5,7
/proc/6500/task/6557/stat : 6557 (java) S 6497 6500 998 0 -1 1077944384 15260 13315 0 0 549 17 5 3 20 0 15 0 445567789 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893936089360 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6558] ppid=6497 vsize=10849036 memory=4036 CPUtime=2.57 cores=1,3,5,7
/proc/6500/task/6558/stat : 6558 (java) S 6497 6500 998 0 -1 1077944384 16911 13315 0 0 219 30 5 3 20 0 15 0 445567790 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893823769456 139894364547714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6559] ppid=6497 vsize=10849036 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6559/stat : 6559 (java) S 6497 6500 998 0 -1 1077944384 18 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893258839648 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6560] ppid=6497 vsize=10849036 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6560/stat : 6560 (java) S 6497 6500 998 0 -1 1077944384 5 13315 0 0 0 0 5 3 20 0 15 0 445567791 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893124621696 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6561] ppid=6497 vsize=10849036 memory=1204 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6561/stat : 6561 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 333510 33554432000 4194304 4196468 140732159259312 139892884330832 139894364555163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6562] ppid=6497 vsize=10849036 memory=1072 CPUtime=9.62 cores=1,3,5,7
/proc/6500/task/6562/stat : 6562 (java) S 6497 6500 998 0 -1 1077944384 28747 13315 0 0 951 3 5 3 20 0 15 0 445567794 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893822716272 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6563] ppid=6497 vsize=10849036 memory=5860 CPUtime=9.32 cores=1,3,5,7
/proc/6500/task/6563/stat : 6563 (java) S 6497 6500 998 0 -1 1077944384 26792 13315 0 0 921 3 5 3 20 0 15 0 445567794 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893821663472 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6564] ppid=6497 vsize=10849036 memory=1544 CPUtime=3.09 cores=1,3,5,7
/proc/6500/task/6564/stat : 6564 (java) S 6497 6500 998 0 -1 1077944384 14818 13315 0 0 296 5 5 3 20 0 15 0 445567794 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893820610672 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6565] ppid=6497 vsize=10849036 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/6500/task/6565/stat : 6565 (java) S 6497 6500 998 0 -1 1077944384 3 13315 0 0 0 0 5 3 20 0 15 0 445567794 11109412864 333510 33554432000 4194304 4196468 140732159259312 139892850772192 139894364546773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
[pid=6500/tid=6566] ppid=6497 vsize=10849036 memory=3467830198503944479 CPUtime=0.73 cores=1,3,5,7
/proc/6500/task/6566/stat : 6566 (java) S 6497 6500 998 0 -1 1077944384 1198 13315 0 0 31 34 5 3 20 0 15 0 445567794 11109412864 333510 33554432000 4194304 4196468 140732159259312 139893819559088 139894364547714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17866752 140732159261423 140732159263941 140732159263941 140732159266767 0
Current children cumulated CPU time: 1163.66 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1334040 KiB
Child status: 0
Real time (s): 1125.5
CPU time (s): 1163.78
CPU user time (s): 1161.83
CPU system time (s): 1.94873
CPU usage (%): 103.401
Max. virtual memory (cumulated for all children) (KiB): 10849848
Max. memory (cumulated for all children) (KiB): 2824376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1161.83
system time used= 1.94873
maximum resident set size= 2825956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78905
involuntary context switches= 2457
# summary of solver processes directly reported to runsolver:
# pid: 6500
# total CPU time (s): 1163.78
# total CPU user time (s): 1161.83
# total CPU system time (s): 1.94873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02451 second user time and 9.34442 second system time
The end