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 (13238 MiB free)
memory of node 1: 16384 MiB (15147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395875-1568407092/watcher-4395875-1568407092 -o /tmp/evaluation-result-4395875-1568407092/solver-4395875-1568407092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568393375-17085 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1411953314 HOME/instance-4395875-1568407092.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=22028, runsolver pid=22025
[startup+0.100138 s]*
/proc/loadavg: 1.39 1.30 1.32 3/221 22085
/proc/meminfo: memFree=29058488/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=9989820 memory=17608 CPUtime=0.1 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 4615 13344 0 0 1 1 5 3 20 0 6 0 416959720 10229575680 4402 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2497455 4402 1995 1 0 2485893 0
[pid=22028/tid=22081] ppid=22025 vsize=10055356 memory=4279135704047059854 CPUtime=0.09 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 2421 13344 0 0 1 0 5 3 20 0 7 0 416959729 10296684544 4402 33554432000 4194304 4196468 140721629671136 139873271458576 139872874606268 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10055356 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 7 0 416959730 10296684544 4402 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10055356 memory=140024838665856 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 7 0 416959730 10296684544 4402 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 7 0 416959730 10296684544 4402 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 7 0 416959730 10296684544 4402 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10055356 memory=140024838665856 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 7 0 416959731 10296684544 4402 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 17608 KiB
[startup+0.210302 s]*
/proc/loadavg: 1.39 1.30 1.32 3/230 22094
/proc/meminfo: memFree=29037712/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10819664 memory=43780 CPUtime=0.27 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 7253 13344 0 0 17 2 5 3 20 0 15 0 416959720 11079335936 10945 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2704916 10945 3174 1 0 2667149 0
[pid=22028/tid=22081] ppid=22025 vsize=10819664 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 3733 13344 0 0 11 1 5 3 20 0 15 0 416959729 11079335936 10945 33554432000 4194304 4196468 140721629671136 139873271449056 139873283695966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10819664 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079335936 10945 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10819664 memory=140024838685100 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079335936 10945 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079335936 10945 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079335936 10945 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10819664 memory=140024838665856 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959731 11079335936 10945 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10819808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 33 13344 0 0 0 0 5 3 20 0 15 0 416959732 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872757900832 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10819808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959732 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872656418160 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10819808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10819808 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) S 22025 22028 15665 0 -1 1077944384 358 13344 0 0 1 0 5 3 20 0 15 0 416959735 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872622860656 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10819808 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) S 22025 22028 15665 0 -1 1077944384 289 13344 0 0 1 0 5 3 20 0 15 0 416959735 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872621807856 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10819808 memory=140024838665856 CPUtime=0.11 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) R 22025 22028 15665 0 -1 4202560 627 13344 0 0 3 0 5 3 20 0 15 0 416959735 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872620755056 139872874528889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10819808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11079483392 10945 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10819808 memory=140024838665856 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959735 11079483392 10945 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 43780 KiB
[startup+0.31059 s]*
/proc/loadavg: 1.39 1.30 1.32 3/230 22094
/proc/meminfo: memFree=29024932/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10820148 memory=52572 CPUtime=0.41 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 10906 13344 0 0 30 3 5 3 20 0 15 0 416959720 11079831552 13143 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2705037 13143 3306 1 0 2667149 0
[pid=22028/tid=22081] ppid=22025 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 7362 13344 0 0 19 2 5 3 20 0 15 0 416959729 11079831552 13143 33554432000 4194304 4196468 140721629671136 139873271441008 139873292293493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079831552 13143 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10820152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079835648 13143 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10820152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079835648 13143 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10820152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959730 11079835648 13143 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10820152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959731 11079835648 13143 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10820152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 33 13344 0 0 0 0 5 3 20 0 15 0 416959732 11079835648 13143 33554432000 4194304 4196468 140721629671136 139872757900832 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959732 11079880704 13143 33554432000 4194304 4196468 140721629671136 139872656418160 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11079880704 13208 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) S 22025 22028 15665 0 -1 1077944384 359 13344 0 0 2 0 5 3 20 0 15 0 416959735 11079880704 13208 33554432000 4194304 4196468 140721629671136 139872622860656 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) R 22025 22028 15665 0 -1 1077944384 299 13344 0 0 2 0 5 3 20 0 15 0 416959735 11079880704 13208 33554432000 4194304 4196468 140721629671136 139872621807856 139873299626626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10820196 memory=140024838665856 CPUtime=0.13 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) S 22025 22028 15665 0 -1 1077944384 635 13344 0 0 5 0 5 3 20 0 15 0 416959735 11079880704 13208 33554432000 4194304 4196468 140721629671136 139872620755056 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11079880704 13208 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10820196 memory=140024838665856 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959735 11079880704 13208 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52572 KiB
[startup+0.700658 s]
/proc/loadavg: 1.39 1.30 1.32 3/230 22094
/proc/meminfo: memFree=29010452/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10824360 memory=85716 CPUtime=1.16 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 15194 13344 0 0 103 5 5 3 20 0 15 0 416959720 11084144640 21429 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2706090 21429 3506 1 0 2668173 0
[pid=22028/tid=22081] ppid=22025 vsize=10824360 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 10407 13344 0 0 56 4 5 3 20 0 15 0 416959729 11084144640 21429 33554432000 4194304 4196468 140721629671136 139873271442640 139872874631760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10824360 memory=66 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11084144640 21429 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10824360 memory=2 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11084144640 21429 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959730 11084144640 21429 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959730 11084144640 21429 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10824360 memory=140028818752080 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 5 13344 0 0 0 0 5 3 20 0 15 0 416959731 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10824360 memory=140028818752087 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 33 13344 0 0 0 0 5 3 20 0 15 0 416959732 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872757900832 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10824360 memory=140028818752089 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959732 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872656418160 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10824360 memory=140028818752090 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10824360 memory=140028818752091 CPUtime=0.21 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) R 22025 22028 15665 0 -1 4202560 767 13344 0 0 13 0 5 3 20 0 15 0 416959735 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872622860656 139873281136924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10824360 memory=140028818752095 CPUtime=0.23 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) S 22025 22028 15665 0 -1 1077944384 844 13344 0 0 15 0 5 3 20 0 15 0 416959735 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872621807856 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10824360 memory=142610094097046 CPUtime=0.25 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) R 22025 22028 15665 0 -1 4202560 922 13344 0 0 17 0 5 3 20 0 15 0 416959735 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872620755056 139873292715179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10824360 memory=20396 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11084144640 21429 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10824360 memory=12036 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 1 13344 0 0 0 0 5 3 20 0 15 0 416959735 11084144640 21429 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85716 KiB
[startup+1.50067 s]
/proc/loadavg: 1.39 1.30 1.32 3/230 22094
/proc/meminfo: memFree=28964108/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10834676 memory=178224 CPUtime=2.71 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 24423 13344 0 0 253 10 5 3 20 0 15 0 416959720 11094708224 44556 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2708669 44556 3585 1 0 2670733 0
[pid=22028/tid=22081] ppid=22025 vsize=10834676 memory=13796 CPUtime=1.44 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 16067 13344 0 0 131 5 5 3 20 0 15 0 416959729 11094708224 44556 33554432000 4194304 4196468 140721629671136 139873271409600 139872874822336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10834676 memory=24504 CPUtime=0.09 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 48 13344 0 0 1 0 5 3 20 0 15 0 416959730 11094708224 44556 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 320 13344 0 0 0 0 5 3 20 0 15 0 416959730 11094708224 44556 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10834676 memory=321013415751726296 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 26 13344 0 0 0 0 5 3 20 0 15 0 416959730 11094708224 44556 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10834676 memory=15252632281304174 CPUtime=0.09 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 100 13344 0 0 1 0 5 3 20 0 15 0 416959730 11094708224 44556 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10834676 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 1582 13344 0 0 1 0 5 3 20 0 15 0 416959731 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10834676 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 34 13344 0 0 0 0 5 3 20 0 15 0 416959732 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872757900896 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10834676 memory=-2672971631320983069 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959732 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872656418176 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10834676 memory=-7606742920825102191 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10834676 memory=4137290303932963203 CPUtime=0.44 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) S 22025 22028 15665 0 -1 1077944384 1113 13344 0 0 36 0 5 3 20 0 15 0 416959735 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872622860656 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10834676 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) S 22025 22028 15665 0 -1 1077944384 1244 13344 0 0 38 0 5 3 20 0 15 0 416959735 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872621807856 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10834676 memory=-2892745056951965031 CPUtime=0.49 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) R 22025 22028 15665 0 -1 4202560 1677 13344 0 0 41 0 5 3 20 0 15 0 416959735 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872620748560 139873299636826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11094708224 44556 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11094708224 44556 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
################
# More data... #
################
# cumulated CPU time of all completed processes: user=18.5906 s, system=0.43486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.60069 s]
/proc/loadavg: 1.60 1.34 1.33 5/230 22095
/proc/meminfo: memFree=28475660/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10849044 memory=607580 CPUtime=15.25 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 64269 13344 0 0 1486 31 5 3 20 0 15 0 416959720 11109421056 151895 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2712261 151895 3624 1 0 2674317 0
[pid=22028/tid=22081] ppid=22025 vsize=10849044 memory=620 CPUtime=6.42 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 24777 13344 0 0 622 12 5 3 20 0 15 0 416959729 11109421056 151895 33554432000 4194304 4196468 140721629671136 139873271450432 139873299627414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10849044 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 196 13344 0 0 5 1 5 3 20 0 15 0 416959730 11109421056 151895 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10849044 memory=288230376154873658 CPUtime=0.16 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 415 13344 0 0 6 2 5 3 20 0 15 0 416959730 11109421056 151895 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10849044 memory=10 CPUtime=0.16 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 89 13344 0 0 6 2 5 3 20 0 15 0 416959730 11109421056 151895 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10849044 memory=7661308384509912938 CPUtime=0.16 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 381 13344 0 0 6 2 5 3 20 0 15 0 416959730 11109421056 151895 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10849044 memory=7661305094530951018 CPUtime=0.12 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 2945 13344 0 0 4 0 5 3 20 0 15 0 416959731 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10849044 memory=6009870541334667604 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 41 13344 0 0 0 0 5 3 20 0 15 0 416959732 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872757900960 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 15 0 416959732 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872656418176 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10849044 memory=3628 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10849044 memory=39140 CPUtime=3.38 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) R 22025 22028 15665 0 -1 4202560 13512 13344 0 0 328 2 5 3 20 0 15 0 416959735 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872622860656 139873292712315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10849044 memory=4580 CPUtime=3.58 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) R 22025 22028 15665 0 -1 4202560 12310 13344 0 0 349 1 5 3 20 0 15 0 416959735 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872621796528 139873299636826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10849044 memory=297237795305685307 CPUtime=1.67 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) R 22025 22028 15665 0 -1 1077944384 7378 13344 0 0 155 4 5 3 20 0 15 0 416959735 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872620755056 139873299626626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10849044 memory=15815590841420219 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 151895 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10849044 memory=8401352418782109792 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 151895 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 15.25 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 607580 KiB
[startup+8.20851 s]*
/proc/loadavg: 1.79 1.39 1.35 5/230 22095
/proc/meminfo: memFree=28396860/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10849044 memory=687672 CPUtime=17.35 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 68918 13344 0 0 1692 35 5 3 20 0 15 0 416959720 11109421056 171918 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2712261 171918 3624 1 0 2674317 0
[pid=22028/tid=22081] ppid=22025 vsize=10849044 memory=37700 CPUtime=8.01 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 25088 13344 0 0 780 13 5 3 20 0 15 0 416959729 11109421056 171918 33554432000 4194304 4196468 140721629671136 139873271448256 139872890952636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10849044 memory=7517440526368665194 CPUtime=0.17 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 511 13344 0 0 7 2 5 3 20 0 15 0 416959730 11109421056 171918 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10849044 memory=-7457052372387209120 CPUtime=0.18 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 593 13344 0 0 7 3 5 3 20 0 15 0 416959730 11109421056 171918 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10849044 memory=4872558044660077418 CPUtime=0.18 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 204 13344 0 0 7 3 5 3 20 0 15 0 416959730 11109421056 171918 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10849044 memory=6944656591801717918 CPUtime=0.17 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 475 13344 0 0 7 2 5 3 20 0 15 0 416959730 11109421056 171918 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10849044 memory=-8312670058677691234 CPUtime=0.12 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 2962 13344 0 0 4 0 5 3 20 0 15 0 416959731 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10849044 memory=-4866526891258710369 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 41 13344 0 0 0 0 5 3 20 0 15 0 416959732 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872757900960 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10849044 memory=9118496827323861925 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 15 0 416959732 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872656418176 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10849044 memory=7976406965554101975 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10849044 memory=0 CPUtime=3.58 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) R 22025 22028 15665 0 -1 4202560 14927 13344 0 0 348 2 5 3 20 0 15 0 416959735 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872622849248 139873279271169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10849044 memory=0 CPUtime=3.76 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) R 22025 22028 15665 0 -1 4202560 13650 13344 0 0 366 2 5 3 20 0 15 0 416959735 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872621797456 139873281140986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10849044 memory=4120994376878134100 CPUtime=1.71 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) S 22025 22028 15665 0 -1 1077944384 8242 13344 0 0 159 4 5 3 20 0 15 0 416959735 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872620755056 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10849044 memory=7163088914080755303 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 171918 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10849044 memory=1125767869 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 171918 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 17.35 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 687672 KiB
[startup+9.00074 s]
/proc/loadavg: 1.79 1.39 1.35 5/230 22095
/proc/meminfo: memFree=28396860/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10849044 memory=743296 CPUtime=18.7 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 70630 13344 0 0 1824 38 5 3 20 0 15 0 416959720 11109421056 185824 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2712261 185824 3624 1 0 2674317 0
[pid=22028/tid=22081] ppid=22025 vsize=10849044 memory=6791534058613427641 CPUtime=8.77 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) R 22025 22028 15665 0 -1 4202560 25108 13344 0 0 856 13 5 3 20 0 15 0 416959729 11109421056 185824 33554432000 4194304 4196468 140721629671136 139873271450152 139872877130661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10849044 memory=2828 CPUtime=0.19 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 579 13344 0 0 8 3 5 3 20 0 15 0 416959730 11109421056 185824 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10849044 memory=303430223234596890 CPUtime=0.18 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 1123 13344 0 0 7 3 5 3 20 0 15 0 416959730 11109421056 185824 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10849044 memory=288230596050944315 CPUtime=0.19 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 234 13344 0 0 8 3 5 3 20 0 15 0 416959730 11109421056 185824 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10849044 memory=15815590841420219 CPUtime=0.19 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 490 13344 0 0 8 3 5 3 20 0 15 0 416959730 11109421056 185824 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10849044 memory=1552 CPUtime=0.13 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 3037 13344 0 0 5 0 5 3 20 0 15 0 416959731 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10849044 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 41 13344 0 0 0 0 5 3 20 0 15 0 416959732 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872757900960 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10849044 memory=5992 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 15 0 416959732 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872656418176 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10849044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10849044 memory=0 CPUtime=3.81 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) S 22025 22028 15665 0 -1 1077944384 15113 13344 0 0 370 3 5 3 20 0 15 0 416959735 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872622860656 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10849044 memory=0 CPUtime=3.95 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) S 22025 22028 15665 0 -1 1077944384 13827 13344 0 0 385 2 5 3 20 0 15 0 416959735 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872621807856 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10849044 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) S 22025 22028 15665 0 -1 1077944384 8853 13344 0 0 172 4 5 3 20 0 15 0 416959735 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872620755056 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 185824 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10849044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 15 0 416959735 11109421056 185824 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 18.7 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 743296 KiB
[startup+9.20068 s]*
/proc/loadavg: 1.79 1.39 1.35 7/230 22095
/proc/meminfo: memFree=28337036/32770624 swapFree=66916544/67108860
[pid=22028] ppid=22025 vsize=10881816 memory=743996 CPUtime=18.99 cores=1,3,5,7
/proc/22028/stat : 22028 (java) S 22025 22028 15665 0 -1 1077944320 74848 13344 0 0 1853 38 5 3 20 0 15 0 416959720 11142979584 185999 33554432000 4194304 4196468 140721629671136 140721629653680 139873299615479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
/proc/22028/statm: 2720454 185999 3625 1 0 2682510 0
[pid=22028/tid=22081] ppid=22025 vsize=10947352 memory=4026531858 CPUtime=8.98 cores=1,3,5,7
/proc/22028/task/22081/stat : 22081 (java) S 22025 22028 15665 0 -1 1077944384 28057 13344 0 0 876 14 5 3 20 0 16 0 416959729 11210088448 186511 33554432000 4194304 4196468 140721629671136 139873271456800 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22082] ppid=22025 vsize=10947352 memory=13538 CPUtime=0.19 cores=1,3,5,7
/proc/22028/task/22082/stat : 22082 (java) S 22025 22028 15665 0 -1 1077944384 579 13344 0 0 8 3 5 3 20 0 16 0 416959730 11210088448 186511 33554432000 4194304 4196468 140721629671136 139873303857808 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22083] ppid=22025 vsize=10947352 memory=140024838680422 CPUtime=0.18 cores=1,3,5,7
/proc/22028/task/22083/stat : 22083 (java) S 22025 22028 15665 0 -1 1077944384 1123 13344 0 0 7 3 5 3 20 0 16 0 416959730 11210088448 186511 33554432000 4194304 4196468 140721629671136 139873202747920 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22084] ppid=22025 vsize=10947352 memory=7451322580178981485 CPUtime=0.19 cores=1,3,5,7
/proc/22028/task/22084/stat : 22084 (java) S 22025 22028 15665 0 -1 1077944384 234 13344 0 0 8 3 5 3 20 0 16 0 416959730 11210088448 186511 33554432000 4194304 4196468 140721629671136 139873201695120 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22085] ppid=22025 vsize=10947352 memory=-1 CPUtime=0.19 cores=1,3,5,7
/proc/22028/task/22085/stat : 22085 (java) S 22025 22028 15665 0 -1 1077944384 490 13344 0 0 8 3 5 3 20 0 16 0 416959730 11210088448 186511 33554432000 4194304 4196468 140721629671136 139873200642320 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22086] ppid=22025 vsize=10947352 memory=140024838665856 CPUtime=0.13 cores=1,3,5,7
/proc/22028/task/22086/stat : 22086 (java) S 22025 22028 15665 0 -1 1077944384 3039 13344 0 0 5 0 5 3 20 0 16 0 416959731 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872758954864 139873299626626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22087] ppid=22025 vsize=10947352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22087/stat : 22087 (java) S 22025 22028 15665 0 -1 1077944384 41 13344 0 0 0 0 5 3 20 0 16 0 416959732 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872757900960 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22088] ppid=22025 vsize=10947352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22088/stat : 22088 (java) S 22025 22028 15665 0 -1 1077944384 8 13344 0 0 0 0 5 3 20 0 16 0 416959732 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872656418176 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22089] ppid=22025 vsize=10947352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22089/stat : 22089 (java) S 22025 22028 15665 0 -1 1077944384 2 13344 0 0 0 0 5 3 20 0 16 0 416959735 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872052439376 139873299634075 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22090] ppid=22025 vsize=10947352 memory=0 CPUtime=3.83 cores=1,3,5,7
/proc/22028/task/22090/stat : 22090 (java) R 22025 22028 15665 0 -1 4202560 15324 13344 0 0 372 3 5 3 20 0 16 0 416959735 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872622860656 139873279804074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22091] ppid=22025 vsize=10947352 memory=-1 CPUtime=3.97 cores=1,3,5,7
/proc/22028/task/22091/stat : 22091 (java) R 22025 22028 15665 0 -1 4202560 13867 13344 0 0 387 2 5 3 20 0 16 0 416959735 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872621807856 139873281138769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22092] ppid=22025 vsize=10947352 memory=140024838665856 CPUtime=1.88 cores=1,3,5,7
/proc/22028/task/22092/stat : 22092 (java) R 22025 22028 15665 0 -1 1077944384 9867 13344 0 0 176 4 5 3 20 0 16 0 416959735 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872620755056 139873299626626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22093] ppid=22025 vsize=10947352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22093/stat : 22093 (java) S 22025 22028 15665 0 -1 1077944384 3 13344 0 0 0 0 5 3 20 0 16 0 416959735 11210088448 186511 33554432000 4194304 4196468 140721629671136 139871582677216 139873299625685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22094] ppid=22025 vsize=10947352 memory=140024838665856 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22094/stat : 22094 (java) S 22025 22028 15665 0 -1 1077944384 16 13344 0 0 0 0 5 3 20 0 16 0 416959735 11210088448 186511 33554432000 4194304 4196468 140721629671136 139872619703472 139873299626626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
[pid=22028/tid=22096] ppid=22025 vsize=10947352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22028/task/22096/stat : 22096 (java) R 22025 22028 15665 0 -1 4202560 47 13344 0 0 0 0 5 3 20 0 16 0 416960641 11210088448 186511 33554432000 4194304 4196468 140721629671136 139871381351776 139873299637309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21237760 140721629678319 140721629680837 140721629680837 140721629683663 0
Current children cumulated CPU time: 18.99 s
Current children cumulated vsize: 10881816 KiB
Current children cumulated memory: 743996 KiB
Child status: 0
Real time (s): 9.23549
CPU time (s): 19.0255
CPU user time (s): 18.5906
CPU system time (s): 0.43486
CPU usage (%): 206.004
Max. virtual memory (cumulated for all children) (KiB): 10881816
Max. memory (cumulated for all children) (KiB): 743996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5906
system time used= 0.43486
maximum resident set size= 746044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7776
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 22028
# total CPU time (s): 19.0255
# total CPU user time (s): 18.5906
# total CPU system time (s): 0.43486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08054 second user time and 0.135143 second system time
The end