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 (5687 MiB free)
memory of node 1: 16384 MiB (1466 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402743-1568983745/watcher-4402743-1568983745 -o /tmp/evaluation-result-4402743-1568983745/solver-4402743-1568983745 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568967596-5049 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=541250212 HOME/instance-4402743-1568983745.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9967, runsolver pid=9964
Current StackSize limit: 8192 KiB
[startup+0.109504 s]*
/proc/loadavg: 1.07 1.25 1.35 3/219 10025
/proc/meminfo: memFree=7314332/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10355560 memory=22684 CPUtime=0.11 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 4915 13130 0 0 2 1 5 3 20 0 9 0 474643329 10604093440 5671 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2588890 5671 2102 1 0 2551431 0
[pid=9967/tid=10020] ppid=9964 vsize=10355560 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 2693 13130 0 0 1 0 5 3 20 0 9 0 474643338 10604093440 5671 33554432000 4194304 4196468 140724401204016 140365169405808 140365181650270 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 9 0 474643339 10604093440 5671 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10355560 memory=15121418918102680 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 9 0 474643339 10604093440 5671 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 9 0 474643339 10604093440 5671 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 9 0 474643339 10604093440 5671 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 9 0 474643340 10604093440 5671 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 13 13130 0 0 0 0 5 3 20 0 9 0 474643340 10604093440 5671 33554432000 4194304 4196468 140724401204016 140364564391328 140365197579989 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 9 0 474643341 10604093440 5671 33554432000 4194304 4196468 140724401204016 140363960411696 140365197579989 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22684 KiB
[startup+0.210648 s]*
/proc/loadavg: 1.07 1.25 1.35 3/227 10033
/proc/meminfo: memFree=7294588/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10820164 memory=44396 CPUtime=0.26 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 7504 13130 0 0 16 2 5 3 20 0 15 0 474643329 11079847936 11099 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2705041 11099 3282 1 0 2667149 0
[pid=9967/tid=10020] ppid=9964 vsize=10820188 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 4017 13130 0 0 10 1 5 3 20 0 15 0 474643338 11079872512 11099 33554432000 4194304 4196468 140724401204016 140365169380816 140365189806910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10820188 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079872512 11099 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10820188 memory=140348694801668 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079872512 11099 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10820188 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079872512 11099 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079880704 11099 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10820196 memory=140348694791808 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 474643340 11079880704 11099 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 13 13130 0 0 0 0 5 3 20 0 15 0 474643340 11079880704 11099 33554432000 4194304 4196468 140724401204016 140364564391328 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11079880704 11099 33554432000 4194304 4196468 140724401204016 140363960411632 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11079880704 11099 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) S 9964 9967 5017 0 -1 1077944384 604 13130 0 0 1 0 5 3 20 0 15 0 474643343 11079880704 11099 33554432000 4194304 4196468 140724401204016 140364655515632 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) R 9964 9967 5017 0 -1 4202560 58 13130 0 0 0 0 5 3 20 0 15 0 474643343 11079880704 11099 33554432000 4194304 4196468 140724401204016 140364654463088 140365177074023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10820196 memory=140348694791808 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 602 13130 0 0 3 0 5 3 20 0 15 0 474643343 11079880704 11099 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11079880704 11099 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10820196 memory=140348694791808 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643344 11079880704 11099 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 44396 KiB
[startup+0.310419 s]*
/proc/loadavg: 1.07 1.25 1.35 5/227 10033
/proc/meminfo: memFree=7283832/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10820196 memory=52848 CPUtime=0.41 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 10885 13130 0 0 29 4 5 3 20 0 15 0 474643329 11079880704 13212 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2705049 13212 3335 1 0 2667149 0
[pid=9967/tid=10020] ppid=9964 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 7365 13130 0 0 19 2 5 3 20 0 15 0 474643338 11079880704 13212 33554432000 4194304 4196468 140724401204016 140365169378704 140365180756592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10820196 memory=7898658022804518419 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079880704 13212 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10820196 memory=-6733704525061579059 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079880704 13212 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10820196 memory=140348694798801 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079880704 13212 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 474643339 11079880704 13212 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 474643340 11079880704 13212 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 13 13130 0 0 0 0 5 3 20 0 15 0 474643340 11079880704 13212 33554432000 4194304 4196468 140724401204016 140364564391328 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11079880704 13212 33554432000 4194304 4196468 140724401204016 140363960411632 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11079880704 13212 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) S 9964 9967 5017 0 -1 1077944384 604 13130 0 0 2 0 5 3 20 0 15 0 474643343 11079880704 13212 33554432000 4194304 4196468 140724401204016 140364655515632 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) S 9964 9967 5017 0 -1 1077944384 68 13130 0 0 1 0 5 3 20 0 15 0 474643343 11079880704 13212 33554432000 4194304 4196468 140724401204016 140364654463088 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10820196 memory=140348694791808 CPUtime=0.13 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 611 13130 0 0 5 0 5 3 20 0 15 0 474643343 11079880704 13212 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11079880704 13212 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10820196 memory=140348694791808 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643344 11079880704 13212 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52848 KiB
[startup+0.70073 s]
/proc/loadavg: 1.07 1.25 1.35 4/227 10035
/proc/meminfo: memFree=7269468/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10824364 memory=85884 CPUtime=1.15 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 15141 13130 0 0 101 6 5 3 20 0 15 0 474643329 11084148736 21471 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2706091 21471 3508 1 0 2668173 0
[pid=9967/tid=10020] ppid=9964 vsize=10824364 memory=140348592827632 CPUtime=0.67 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 10496 13130 0 0 55 4 5 3 20 0 15 0 474643338 11084148736 21471 33554432000 4194304 4196468 140724401204016 140365169399328 140365181650270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10824364 memory=140348592528112 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11084148736 21471 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10824364 memory=140348592666816 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11084148736 21471 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10824364 memory=2024 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643339 11084148736 21471 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10824364 memory=7090143983960547920 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 474643339 11084148736 21471 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10824364 memory=7306929129762414934 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 5 13130 0 0 0 0 5 3 20 0 15 0 474643340 11084148736 21471 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10824364 memory=7810487918915055718 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 13 13130 0 0 0 0 5 3 20 0 15 0 474643340 11084148736 21471 33554432000 4194304 4196468 140724401204016 140364564391328 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11084148736 21471 33554432000 4194304 4196468 140724401204016 140363960411632 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10824364 memory=1316 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11084148736 21471 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) S 9964 9967 5017 0 -1 1077944384 1049 13130 0 0 12 0 5 3 20 0 15 0 474643343 11084148736 21471 33554432000 4194304 4196468 140724401204016 140364655515632 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) R 9964 9967 5017 0 -1 4202560 548 13130 0 0 15 0 5 3 20 0 15 0 474643343 11084148736 21471 33554432000 4194304 4196468 140724401204016 140364654463088 140365176815631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 809 13130 0 0 17 0 5 3 20 0 15 0 474643343 11084148736 21471 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11084148736 21471 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643344 11084148736 21471 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85884 KiB
[startup+1.50073 s]
/proc/loadavg: 1.31 1.30 1.37 6/227 10035
/proc/meminfo: memFree=7218268/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10834680 memory=202404 CPUtime=3.08 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 35297 13130 0 0 288 12 5 3 20 0 15 0 474643329 11094712320 50601 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2708670 50601 3578 1 0 2670733 0
[pid=9967/tid=10020] ppid=9964 vsize=10834680 memory=280697185019872 CPUtime=1.43 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 16891 13130 0 0 129 6 5 3 20 0 15 0 474643338 11094712320 50601 33554432000 4194304 4196468 140724401204016 140365169396672 140365181613413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10834680 memory=280697185194064 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 30 13130 0 0 1 0 5 3 20 0 15 0 474643339 11094712320 50601 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10834680 memory=1 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 85 13130 0 0 1 0 5 3 20 0 15 0 474643339 11094712320 50601 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 332 13130 0 0 1 0 5 3 20 0 15 0 474643339 11094712320 50601 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10834680 memory=-7385037615208631145 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 64 13130 0 0 1 0 5 3 20 0 15 0 474643339 11094712320 50601 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10834680 memory=8401352418782109792 CPUtime=0.09 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 1433 13130 0 0 1 0 5 3 20 0 15 0 474643340 11094712320 50601 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10834680 memory=7449347831089424999 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 14 13130 0 0 0 0 5 3 20 0 15 0 474643340 11094712320 50601 33554432000 4194304 4196468 140724401204016 140364564391392 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10834680 memory=7018405166808983399 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11094712320 50601 33554432000 4194304 4196468 140724401204016 140363960411648 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11094712320 50601 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10834680 memory=280697185537744 CPUtime=0.52 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) S 9964 9967 5017 0 -1 1077944384 2955 13130 0 0 44 0 5 3 20 0 15 0 474643343 11094712320 50601 33554432000 4194304 4196468 140724401204016 140364655515632 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10834680 memory=6944656592455097440 CPUtime=0.71 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) S 9964 9967 5017 0 -1 1077944384 8847 13130 0 0 62 1 5 3 20 0 15 0 474643343 11094712320 50601 33554432000 4194304 4196468 140724401204016 140364654463088 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10834680 memory=6944656575208382560 CPUtime=0.51 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 2428 13130 0 0 43 0 5 3 20 0 15 0 474643343 11094712320 50601 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
################
# More data... #
################
[startup+3.11047 s]
/proc/loadavg: 1.31 1.30 1.37 5/227 10035
/proc/meminfo: memFree=7071440/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10844940 memory=296700 CPUtime=7.31 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 48986 13130 0 0 703 20 5 3 20 0 15 0 474643329 11105218560 74175 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2711235 74175 3611 1 0 2673293 0
[pid=9967/tid=10020] ppid=9964 vsize=10844940 memory=6655300316396806240 CPUtime=2.98 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 22775 13130 0 0 280 10 5 3 20 0 15 0 474643338 11105218560 74175 33554432000 4194304 4196468 140724401204016 140365169397888 140365179133375 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10844940 memory=6944656592455097440 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 72 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74175 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10844940 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 114 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74175 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10844940 memory=3624 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 344 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74175 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10844940 memory=55468 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 169 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74175 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10844940 memory=988 CPUtime=0.12 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2818 13130 0 0 4 0 5 3 20 0 15 0 474643340 11105218560 74175 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10844940 memory=2024 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 15 13130 0 0 0 0 5 3 20 0 15 0 474643340 11105218560 74175 33554432000 4194304 4196468 140724401204016 140364564391392 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10844940 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11105218560 74175 33554432000 4194304 4196468 140724401204016 140363960411648 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10844940 memory=4040 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11105218560 74175 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10844940 memory=1056 CPUtime=1.44 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) R 9964 9967 5017 0 -1 4202560 4453 13130 0 0 135 1 5 3 20 0 15 0 474643343 11105218560 74175 33554432000 4194304 4196468 140724401204016 140364655499952 140365179113928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10844940 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) S 9964 9967 5017 0 -1 1077944384 10064 13130 0 0 144 2 5 3 20 0 15 0 474643343 11105218560 74175 33554432000 4194304 4196468 140724401204016 140364654463088 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10844940 memory=68 CPUtime=1.33 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 5937 13130 0 0 123 2 5 3 20 0 15 0 474643343 11105218560 74175 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10844940 memory=-3253322038155611931 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11105218560 74175 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 9 13130 0 0 0 0 5 3 20 0 15 0 474643344 11105218560 74175 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 296700 KiB
[startup+3.85553 s]
# the end of solver process 9967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.41864 s, system=0.259767 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 1.31 1.30 1.37 5/227 10035
/proc/meminfo: memFree=7071440/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10844940 memory=297688 CPUtime=7.57 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 49266 13130 0 0 729 20 5 3 20 0 15 0 474643329 11105218560 74422 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2711235 74422 3614 1 0 2673293 0
[pid=9967/tid=10020] ppid=9964 vsize=10844940 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 22917 13130 0 0 289 10 5 3 20 0 15 0 474643338 11105218560 74422 33554432000 4194304 4196468 140724401204016 140365169405232 140365178409265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10844940 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 72 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74422 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10844940 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 114 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74422 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10844940 memory=92964 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 344 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74422 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10844940 memory=780 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 169 13130 0 0 3 0 5 3 20 0 15 0 474643339 11105218560 74422 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10844940 memory=620 CPUtime=0.12 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2818 13130 0 0 4 0 5 3 20 0 15 0 474643340 11105218560 74422 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10844940 memory=1496 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 15 13130 0 0 0 0 5 3 20 0 15 0 474643340 11105218560 74422 33554432000 4194304 4196468 140724401204016 140364564391392 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10844940 memory=1016 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11105218560 74422 33554432000 4194304 4196468 140724401204016 140363960411648 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10844940 memory=6044 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11105218560 74422 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10844940 memory=14012 CPUtime=1.51 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) R 9964 9967 5017 0 -1 4202560 4472 13130 0 0 142 1 5 3 20 0 15 0 474643343 11105218560 74422 33554432000 4194304 4196468 140724401204016 140364655502192 140365177059061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10844940 memory=2116 CPUtime=1.61 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) R 9964 9967 5017 0 -1 4202560 10100 13130 0 0 151 2 5 3 20 0 15 0 474643343 11105218560 74422 33554432000 4194304 4196468 140724401204016 140364654449520 140365174793936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10844940 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 6020 13130 0 0 127 2 5 3 20 0 15 0 474643343 11105218560 74422 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10844940 memory=-7385037615208631145 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11105218560 74422 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10844940 memory=8401352418782109792 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 9 13130 0 0 0 0 5 3 20 0 15 0 474643344 11105218560 74422 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 297688 KiB
[startup+3.60072 s]
/proc/loadavg: 1.31 1.30 1.37 5/227 10035
/proc/meminfo: memFree=7071440/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10846988 memory=304124 CPUtime=8.9 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 51802 13130 0 0 861 21 5 3 20 0 15 0 474643329 11107315712 76031 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2711747 76031 3617 1 0 2673805 0
[pid=9967/tid=10020] ppid=9964 vsize=10846988 memory=2024 CPUtime=3.47 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 23867 13130 0 0 328 11 5 3 20 0 15 0 474643338 11107315712 76031 33554432000 4194304 4196468 140724401204016 140365169404608 140365181650270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10846988 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 72 13130 0 0 3 0 5 3 20 0 15 0 474643339 11107315712 76031 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10846988 memory=8112282956445269571 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 114 13130 0 0 3 0 5 3 20 0 15 0 474643339 11107315712 76031 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10846988 memory=2116 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 344 13130 0 0 3 0 5 3 20 0 15 0 474643339 11107315712 76031 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10846988 memory=30228 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 169 13130 0 0 3 0 5 3 20 0 15 0 474643339 11107315712 76031 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10846988 memory=14068 CPUtime=0.12 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2818 13130 0 0 4 0 5 3 20 0 15 0 474643340 11107315712 76031 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10846988 memory=524 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 15 13130 0 0 0 0 5 3 20 0 15 0 474643340 11107315712 76031 33554432000 4194304 4196468 140724401204016 140364564391392 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10846988 memory=1568 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11107315712 76031 33554432000 4194304 4196468 140724401204016 140363960411648 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10846988 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11107315712 76031 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10846988 memory=3520 CPUtime=1.84 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) R 9964 9967 5017 0 -1 4202560 4761 13130 0 0 175 1 5 3 20 0 15 0 474643343 11107315712 76031 33554432000 4194304 4196468 140724401204016 140364655496624 140365181966928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10846988 memory=1976 CPUtime=1.98 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) R 9964 9967 5017 0 -1 4202560 10538 13130 0 0 188 2 5 3 20 0 15 0 474643343 11107315712 76031 33554432000 4194304 4196468 140724401204016 140364654441408 140365181480523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10846988 memory=2512 CPUtime=1.58 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 6879 13130 0 0 148 2 5 3 20 0 15 0 474643343 11107315712 76031 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10846988 memory=808 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11107315712 76031 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10846988 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 9 13130 0 0 0 0 5 3 20 0 15 0 474643344 11107315712 76031 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 304124 KiB
[startup+3.80072 s]
/proc/loadavg: 1.31 1.30 1.37 5/227 10035
/proc/meminfo: memFree=7071440/32770624 swapFree=66959532/67108860
[pid=9967] ppid=9964 vsize=10849036 memory=313928 CPUtime=9.58 cores=1,3,5,7
/proc/9967/stat : 9967 (java) S 9964 9967 5017 0 -1 1077944320 55290 13130 0 0 929 21 5 3 20 0 15 0 474643329 11109412864 78482 33554432000 4194304 4196468 140724401204016 140724401186560 140365197569783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
/proc/9967/statm: 2712259 78482 3617 1 0 2674317 0
[pid=9967/tid=10020] ppid=9964 vsize=10849036 memory=6944656592455360604 CPUtime=3.67 cores=1,3,5,7
/proc/9967/task/10020/stat : 10020 (java) R 9964 9967 5017 0 -1 4202560 24199 13130 0 0 348 11 5 3 20 0 15 0 474643338 11109412864 78482 33554432000 4194304 4196468 140724401204016 140365169393760 140364794498452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10021] ppid=9964 vsize=10849036 memory=8112282956445269571 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10021/stat : 10021 (java) S 9964 9967 5017 0 -1 1077944384 72 13130 0 0 3 0 5 3 20 0 15 0 474643339 11109412864 78482 33554432000 4194304 4196468 140724401204016 140365201811728 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10022] ppid=9964 vsize=10849036 memory=140348592614984 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10022/stat : 10022 (java) S 9964 9967 5017 0 -1 1077944384 114 13130 0 0 3 0 5 3 20 0 15 0 474643339 11109412864 78482 33554432000 4194304 4196468 140724401204016 140365106014608 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10023] ppid=9964 vsize=10849036 memory=590024333707077100 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10023/stat : 10023 (java) S 9964 9967 5017 0 -1 1077944384 344 13130 0 0 3 0 5 3 20 0 15 0 474643339 11109412864 78482 33554432000 4194304 4196468 140724401204016 140365104962064 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10024] ppid=9964 vsize=10849036 memory=1947765 CPUtime=0.11 cores=1,3,5,7
/proc/9967/task/10024/stat : 10024 (java) S 9964 9967 5017 0 -1 1077944384 169 13130 0 0 3 0 5 3 20 0 15 0 474643339 11109412864 78482 33554432000 4194304 4196468 140724401204016 140365103909520 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10025] ppid=9964 vsize=10849036 memory=-7385037615208631145 CPUtime=0.12 cores=1,3,5,7
/proc/9967/task/10025/stat : 10025 (java) S 9964 9967 5017 0 -1 1077944384 2818 13130 0 0 4 0 5 3 20 0 15 0 474643340 11109412864 78482 33554432000 4194304 4196468 140724401204016 140364656568816 140365197580930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10026] ppid=9964 vsize=10849036 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10026/stat : 10026 (java) S 9964 9967 5017 0 -1 1077944384 15 13130 0 0 0 0 5 3 20 0 15 0 474643340 11109412864 78482 33554432000 4194304 4196468 140724401204016 140364564391392 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10027] ppid=9964 vsize=10849036 memory=-6300956680164175134 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10027/stat : 10027 (java) S 9964 9967 5017 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 474643341 11109412864 78482 33554432000 4194304 4196468 140724401204016 140363960411648 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10028] ppid=9964 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10028/stat : 10028 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643343 11109412864 78482 33554432000 4194304 4196468 140724401204016 140363820780240 140365197588379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10029] ppid=9964 vsize=10849036 memory=6944656592455097440 CPUtime=2.04 cores=1,3,5,7
/proc/9967/task/10029/stat : 10029 (java) R 9964 9967 5017 0 -1 4202560 5661 13130 0 0 195 1 5 3 20 0 15 0 474643343 11109412864 78482 33554432000 4194304 4196468 140724401204016 140364655504224 140365175164535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10030] ppid=9964 vsize=10849036 memory=280697185265296 CPUtime=2.18 cores=1,3,5,7
/proc/9967/task/10030/stat : 10030 (java) R 9964 9967 5017 0 -1 4202560 12240 13130 0 0 208 2 5 3 20 0 15 0 474643343 11109412864 78482 33554432000 4194304 4196468 140724401204016 140364654448864 140365176815582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10031] ppid=9964 vsize=10849036 memory=6946347572787503723 CPUtime=1.67 cores=1,3,5,7
/proc/9967/task/10031/stat : 10031 (java) S 9964 9967 5017 0 -1 1077944384 7433 13130 0 0 156 3 5 3 20 0 15 0 474643343 11109412864 78482 33554432000 4194304 4196468 140724401204016 140364653410544 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10032] ppid=9964 vsize=10849036 memory=7450457285616423785 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10032/stat : 10032 (java) S 9964 9967 5017 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 474643344 11109412864 78482 33554432000 4194304 4196468 140724401204016 140363423541856 140365197579989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
[pid=9967/tid=10033] ppid=9964 vsize=10849036 memory=11554515851 CPUtime=0.08 cores=1,3,5,7
/proc/9967/task/10033/stat : 10033 (java) S 9964 9967 5017 0 -1 1077944384 9 13130 0 0 0 0 5 3 20 0 15 0 474643344 11109412864 78482 33554432000 4194304 4196468 140724401204016 140364652358448 140365197580930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15020032 140724401208048 140724401210565 140724401210565 140724401213391 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 313928 KiB
Child status: 0
Real time (s): 3.85558
CPU time (s): 9.67841
CPU user time (s): 9.41864
CPU system time (s): 0.259767
CPU usage (%): 251.024
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 313928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.41864
system time used= 0.259767
maximum resident set size= 316192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5994
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 9967
# total CPU time (s): 9.67841
# total CPU user time (s): 9.41864
# total CPU system time (s): 0.259767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051513 second user time and 0.07055 second system time
The end