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 (6683 MiB free)
memory of node 1: 16384 MiB (9806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294253-1532446038/watcher-4294253-1532446038 -o /tmp/evaluation-result-4294253-1532446038/solver-4294253-1532446038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532446038-19004 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=132838655 -superng HOME/instance-4294253-1532446038.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=19037, runsolver pid=19030
[startup+0.110299 s]*
/proc/loadavg: 0.53 0.69 0.99 3/201 19147
/proc/meminfo: memFree=16868928/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10355560 memory=20848 CPUtime=0.11 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 4871 12880 0 0 2 1 5 3 20 0 9 0 62166982 10604093440 5212 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2588890 5212 2101 1 0 2551431 0
[pid=19037/tid=19138] ppid=19030 vsize=10355560 memory=5854525152621462685 CPUtime=0.09 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 2663 12880 0 0 1 0 5 3 20 0 9 0 62166991 10604093440 5212 33554432000 4194304 4196468 140734651189520 140608606392176 140608618636638 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10355560 memory=5793854877998258617 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 9 0 62166992 10604093440 5212 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10355560 memory=139626988365440 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 9 0 62166992 10604093440 5212 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 9 0 62166992 10604093440 5212 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 9 0 62166992 10604093440 5212 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 9 0 62166993 10604093440 5212 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 9 0 62166994 10604093440 5212 33554432000 4194304 4196468 140734651189520 140607632696992 140608634566357 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 9 0 62166994 10604093440 5212 33554432000 4194304 4196468 140734651189520 140607431370032 140608634566357 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20848 KiB
[startup+0.21011 s]*
/proc/loadavg: 0.53 0.69 0.99 4/218 19164
/proc/meminfo: memFree=16825856/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10818936 memory=46544 CPUtime=0.27 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 9443 12880 0 0 17 2 5 3 20 0 15 0 62166982 11078590464 11570 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2704734 11570 2975 1 0 2667157 0
[pid=19037/tid=19138] ppid=19030 vsize=10818936 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 6298 12880 0 0 10 1 5 3 20 0 15 0 62166991 11078590464 11834 33554432000 4194304 4196468 140734651189520 140608606380960 140608627273255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10818904 memory=4211973353193155978 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11078557696 11887 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10818904 memory=139626988365440 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11078557696 11887 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11078557696 11887 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166992 11078557696 11887 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166993 11078557696 11887 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 15 0 62166994 11078557696 11887 33554432000 4194304 4196468 140734651189520 140607632696992 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11078590464 11887 33554432000 4194304 4196468 140734651189520 140607431369968 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11078590464 11887 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 539 12880 0 0 1 0 5 3 20 0 15 0 62166996 11078590464 11887 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 54 12880 0 0 0 0 5 3 20 0 15 0 62166996 11078590464 11887 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10818936 memory=139626988365440 CPUtime=0.11 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) S 19030 19037 12709 0 -1 1077944384 610 12880 0 0 3 0 5 3 20 0 15 0 62166996 11078590464 11887 33554432000 4194304 4196468 140734651189520 140607701723120 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11078590464 11887 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10818936 memory=139626988365440 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166997 11078590464 11887 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 46544 KiB
[startup+0.31018 s]*
/proc/loadavg: 0.53 0.69 0.99 4/218 19164
/proc/meminfo: memFree=16802600/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10819352 memory=55428 CPUtime=0.39 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 10946 12880 0 0 29 2 5 3 20 0 15 0 62166982 11079016448 13857 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2704838 13857 3094 1 0 2667149 0
[pid=19037/tid=19138] ppid=19030 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 7489 12880 0 0 19 2 5 3 20 0 15 0 62166991 11079016448 13857 33554432000 4194304 4196468 140734651189520 140608606368160 140608634578077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10819352 memory=-7003737579269690708 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 13857 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10819352 memory=139626988372433 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 13857 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 13857 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 13857 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 15 0 62166994 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607632696992 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607431369968 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 543 12880 0 0 2 0 5 3 20 0 15 0 62166996 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) R 19030 19037 12709 0 -1 4202560 59 12880 0 0 1 0 5 3 20 0 15 0 62166996 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607702776176 140608634577498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10819352 memory=139626988365440 CPUtime=0.13 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) R 19030 19037 12709 0 -1 4202560 638 12880 0 0 5 0 5 3 20 0 15 0 62166996 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607701723120 140608613111423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11079016448 13857 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10819352 memory=139626988365440 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166997 11079016448 13857 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55428 KiB
[startup+0.7007 s]
/proc/loadavg: 0.53 0.69 0.99 4/218 19164
/proc/meminfo: memFree=16784292/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10819352 memory=88368 CPUtime=0.99 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 17186 12880 0 0 87 4 5 3 20 0 15 0 62166982 11079016448 22092 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2704838 22092 3237 1 0 2667149 0
[pid=19037/tid=19138] ppid=19030 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 12498 12880 0 0 56 3 5 3 20 0 15 0 62166991 11079016448 22092 33554432000 4194304 4196468 140734651189520 140608606376976 140608617742960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 22092 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 22092 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 22092 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166992 11079016448 22092 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 5 12880 0 0 0 0 5 3 20 0 15 0 62166993 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 15 0 62166994 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607632696992 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607431369968 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10819352 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 1223 12880 0 0 10 0 5 3 20 0 15 0 62166996 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 434 12880 0 0 7 0 5 3 20 0 15 0 62166996 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) S 19030 19037 12709 0 -1 1077944384 808 12880 0 0 13 0 5 3 20 0 15 0 62166996 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607701723120 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11079016448 22092 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 62166997 11079016448 22092 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88368 KiB
[startup+1.50072 s]
/proc/loadavg: 0.53 0.69 0.99 4/218 19164
/proc/meminfo: memFree=16690040/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10836300 memory=183428 CPUtime=2.26 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 24899 12880 0 0 207 11 5 3 20 0 15 0 62166982 11096371200 45857 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2709075 45857 3470 1 0 2670733 0
[pid=19037/tid=19138] ppid=19030 vsize=10836300 memory=279251928772666 CPUtime=1.43 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 18246 12880 0 0 129 6 5 3 20 0 15 0 62166991 11096371200 45857 33554432000 4194304 4196468 140734651189520 140608606386448 140608634568086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10836300 memory=103648 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 39 12880 0 0 0 0 5 3 20 0 15 0 62166992 11096371200 45857 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 19 12880 0 0 0 0 5 3 20 0 15 0 62166992 11096371200 45857 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10836300 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 57 12880 0 0 1 0 5 3 20 0 15 0 62166992 11096371200 45857 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10836300 memory=279253673905312 CPUtime=0.09 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 209 12880 0 0 1 0 5 3 20 0 15 0 62166992 11096371200 45857 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10836300 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 167 12880 0 0 1 0 5 3 20 0 15 0 62166993 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10836300 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 14 12880 0 0 0 0 5 3 20 0 15 0 62166994 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607632697056 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10836300 memory=88368 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607431369984 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10836300 memory=4580 CPUtime=0.29 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 1430 12880 0 0 21 0 5 3 20 0 15 0 62166996 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10836300 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 939 12880 0 0 20 0 5 3 20 0 15 0 62166996 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10836300 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) R 19030 19037 12709 0 -1 4202560 1579 12880 0 0 30 0 5 3 20 0 15 0 62166996 11096371200 45857 33554432000 4194304 4196468 140734651189520 140607701723120 140608634568086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
################
# More data... #
################
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 81646 12880 0 0 236082 41 5 3 20 0 15 0 62166991 11176083456 222869 33554432000 4194304 4196468 140734651189520 140608606389920 140608244224804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10914144 memory=3828 CPUtime=9.73 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 12321 12880 0 0 915 50 5 3 20 0 15 0 62166992 11176083456 222869 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10914144 memory=19340 CPUtime=9.71 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 9168 12880 0 0 911 52 5 3 20 0 15 0 62166992 11176083456 222869 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10914144 memory=889100 CPUtime=9.72 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 7532 12880 0 0 918 46 5 3 20 0 15 0 62166992 11176083456 222869 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10914144 memory=279253674137904 CPUtime=9.72 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 10755 12880 0 0 916 48 5 3 20 0 15 0 62166992 11176083456 222869 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10914144 memory=891456 CPUtime=8.68 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 12489 12880 0 0 817 43 5 3 20 0 15 0 62166993 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10914144 memory=891448 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 15 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607632697056 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10914144 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607431369984 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10914144 memory=2196 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10914144 memory=4012 CPUtime=3.46 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 24372 12880 0 0 334 4 5 3 20 0 15 0 62166996 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10914144 memory=12320 CPUtime=4.2 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 27381 12880 0 0 409 3 5 3 20 0 15 0 62166996 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10914144 memory=891448 CPUtime=1.68 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) S 19030 19037 12709 0 -1 1077944384 24536 12880 0 0 156 4 5 3 20 0 15 0 62166996 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607701723120 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10914144 memory=7956567792451872871 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11176083456 222869 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10914144 memory=891456 CPUtime=1.41 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1253 12880 0 0 64 69 5 3 20 0 15 0 62166997 11176083456 222869 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 2419.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 891476 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.32 1.32 3/218 19394
/proc/meminfo: memFree=15158544/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10914144 memory=891500 CPUtime=2479.77 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 214396 12880 0 0 247661 308 5 3 20 0 15 0 62166982 11176083456 222875 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2728536 222875 3519 1 0 2690189 0
[pid=19037/tid=19138] ppid=19030 vsize=10914144 memory=891500 CPUtime=2420.75 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 82108 12880 0 0 242025 42 5 3 20 0 15 0 62166991 11176083456 222875 33554432000 4194304 4196468 140734651189520 140608606389472 140608250051328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10914144 memory=891500 CPUtime=10 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 12373 12880 0 0 941 51 5 3 20 0 15 0 62166992 11176083456 222875 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10914144 memory=891500 CPUtime=9.98 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 9196 12880 0 0 937 53 5 3 20 0 15 0 62166992 11176083456 222875 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10914144 memory=891500 CPUtime=9.99 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 7551 12880 0 0 944 47 5 3 20 0 15 0 62166992 11176083456 222875 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10914144 memory=891500 CPUtime=9.97 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 10759 12880 0 0 940 49 5 3 20 0 15 0 62166992 11176083456 222875 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10914144 memory=891500 CPUtime=8.91 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 12631 12880 0 0 839 44 5 3 20 0 15 0 62166993 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10914144 memory=891500 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 15 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607632697056 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10914144 memory=891500 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607431369984 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10914144 memory=891500 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10914144 memory=891500 CPUtime=3.46 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 24374 12880 0 0 334 4 5 3 20 0 15 0 62166996 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10914144 memory=891500 CPUtime=4.2 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 27383 12880 0 0 409 3 5 3 20 0 15 0 62166996 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10914144 memory=891500 CPUtime=1.68 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) S 19030 19037 12709 0 -1 1077944384 24538 12880 0 0 156 4 5 3 20 0 15 0 62166996 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607701723120 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10914144 memory=891500 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11176083456 222875 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10914144 memory=891500 CPUtime=1.43 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1269 12880 0 0 65 70 5 3 20 0 15 0 62166997 11176083456 222875 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 2479.77 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 891500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.11 s]
/proc/loadavg: 1.33 1.34 1.33 3/219 19396
/proc/meminfo: memFree=15156248/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10914144 memory=893548 CPUtime=2520.06 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 215464 12880 0 0 251686 312 5 3 20 0 15 0 62166982 11176083456 223387 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2728536 223387 3519 1 0 2690189 0
[pid=19037/tid=19138] ppid=19030 vsize=10914144 memory=893548 CPUtime=2460.16 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 82562 12880 0 0 245966 42 5 3 20 0 15 0 62166991 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608606391136 140608246385719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10914144 memory=893548 CPUtime=10.16 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 12384 12880 0 0 956 52 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10914144 memory=891500 CPUtime=10.16 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 9255 12880 0 0 955 53 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10914144 memory=891500 CPUtime=10.17 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 7887 12880 0 0 961 48 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10914144 memory=891500 CPUtime=10.16 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 10781 12880 0 0 958 50 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10914144 memory=891500 CPUtime=9.06 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 12791 12880 0 0 853 45 5 3 20 0 15 0 62166993 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10914144 memory=893548 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 15 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607632697056 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10914144 memory=893548 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607431369984 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10914144 memory=3828 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10914144 memory=19340 CPUtime=3.46 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 24376 12880 0 0 334 4 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10914144 memory=893548 CPUtime=4.2 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 27385 12880 0 0 409 3 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10914144 memory=893548 CPUtime=1.68 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) S 19030 19037 12709 0 -1 1077944384 24540 12880 0 0 156 4 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607701723120 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10914144 memory=893548 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11176083456 223387 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10914144 memory=3828 CPUtime=1.47 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1289 12880 0 0 67 72 5 3 20 0 15 0 62166997 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 893548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.14 s]
# the end of solver process 19037 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.93 s, system=3.16482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2482.11 s]
/proc/loadavg: 1.33 1.34 1.33 3/219 19396
/proc/meminfo: memFree=15156248/32770624 swapFree=67108860/67108860
[pid=19037] ppid=19030 vsize=10914144 memory=893548 CPUtime=2520.06 cores=1,3,5,7
/proc/19037/stat : 19037 (java) S 19030 19037 12709 0 -1 1077944320 215464 12880 0 0 251686 312 5 3 20 0 15 0 62166982 11176083456 223387 33554432000 4194304 4196468 140734651189520 140734651172064 140608634556151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
/proc/19037/statm: 2728536 223387 3519 1 0 2690189 0
[pid=19037/tid=19138] ppid=19030 vsize=10914144 memory=893548 CPUtime=2460.16 cores=1,3,5,7
/proc/19037/task/19138/stat : 19138 (java) R 19030 19037 12709 0 -1 4202560 82562 12880 0 0 245966 42 5 3 20 0 15 0 62166991 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608606391136 140608246385719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19143] ppid=19030 vsize=10914144 memory=893548 CPUtime=10.16 cores=1,3,5,7
/proc/19037/task/19143/stat : 19143 (java) S 19030 19037 12709 0 -1 1077944384 12384 12880 0 0 956 52 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608638798352 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19144] ppid=19030 vsize=10914144 memory=891500 CPUtime=10.16 cores=1,3,5,7
/proc/19037/task/19144/stat : 19144 (java) S 19030 19037 12709 0 -1 1077944384 9255 12880 0 0 955 53 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608207686288 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19145] ppid=19030 vsize=10914144 memory=891500 CPUtime=10.17 cores=1,3,5,7
/proc/19037/task/19145/stat : 19145 (java) S 19030 19037 12709 0 -1 1077944384 7887 12880 0 0 961 48 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608206633232 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19146] ppid=19030 vsize=10914144 memory=891500 CPUtime=10.16 cores=1,3,5,7
/proc/19037/task/19146/stat : 19146 (java) S 19030 19037 12709 0 -1 1077944384 10781 12880 0 0 958 50 5 3 20 0 15 0 62166992 11176083456 223387 33554432000 4194304 4196468 140734651189520 140608205580688 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19148] ppid=19030 vsize=10914144 memory=891500 CPUtime=9.06 cores=1,3,5,7
/proc/19037/task/19148/stat : 19148 (java) S 19030 19037 12709 0 -1 1077944384 12791 12880 0 0 853 45 5 3 20 0 15 0 62166993 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607704881904 140608634567298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19151] ppid=19030 vsize=10914144 memory=893548 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19151/stat : 19151 (java) S 19030 19037 12709 0 -1 1077944384 15 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607632697056 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19152] ppid=19030 vsize=10914144 memory=893548 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19152/stat : 19152 (java) S 19030 19037 12709 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 62166994 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607431369984 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19158] ppid=19030 vsize=10914144 memory=3828 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19158/stat : 19158 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607291738576 140608634574747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19159] ppid=19030 vsize=10914144 memory=19340 CPUtime=3.46 cores=1,3,5,7
/proc/19037/task/19159/stat : 19159 (java) S 19030 19037 12709 0 -1 1077944384 24376 12880 0 0 334 4 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607703828720 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19160] ppid=19030 vsize=10914144 memory=893548 CPUtime=4.2 cores=1,3,5,7
/proc/19037/task/19160/stat : 19160 (java) S 19030 19037 12709 0 -1 1077944384 27385 12880 0 0 409 3 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607702776176 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19161] ppid=19030 vsize=10914144 memory=893548 CPUtime=1.68 cores=1,3,5,7
/proc/19037/task/19161/stat : 19161 (java) S 19030 19037 12709 0 -1 1077944384 24540 12880 0 0 156 4 5 3 20 0 15 0 62166996 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607701723120 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19163] ppid=19030 vsize=10914144 memory=893548 CPUtime=0.08 cores=1,3,5,7
/proc/19037/task/19163/stat : 19163 (java) S 19030 19037 12709 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 62166997 11176083456 223387 33554432000 4194304 4196468 140734651189520 140606894500192 140608634566357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
[pid=19037/tid=19164] ppid=19030 vsize=10914144 memory=3828 CPUtime=1.47 cores=1,3,5,7
/proc/19037/task/19164/stat : 19164 (java) S 19030 19037 12709 0 -1 1077944384 1289 12880 0 0 67 72 5 3 20 0 15 0 62166997 11176083456 223387 33554432000 4194304 4196468 140734651189520 140607599139888 140608634567298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29593600 140734651193516 140734651196764 140734651196764 140734651199439 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 893548 KiB
Child status: 143
Real time (s): 2482.14
CPU time (s): 2520.09
CPU user time (s): 2516.93
CPU system time (s): 3.16482
CPU usage (%): 101.529
Max. virtual memory (cumulated for all children) (KiB): 10916980
Max. memory (cumulated for all children) (KiB): 893548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.93
system time used= 3.16482
maximum resident set size= 897760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253580
involuntary context switches= 6688
# summary of solver processes directly reported to runsolver:
# pid: 19037
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.93
# total CPU system time (s): 3.16482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9423 second user time and 20.5214 second system time
The end