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 (15192 MiB free)
memory of node 1: 16384 MiB (14972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400857-1568678377/watcher-4400857-1568678377 -o /tmp/evaluation-result-4400857-1568678377/solver-4400857-1568678377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15922 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4400857-1568678377.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17909, runsolver pid=17906
Current StackSize limit: 8192 KiB
[startup+0.101696 s]*
/proc/loadavg: 2.00 1.79 1.63 3/218 17966
/proc/meminfo: memFree=30881376/32770624 swapFree=67002400/67108860
[pid=17909] ppid=17906 vsize=9972712 memory=15176 CPUtime=0.09 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 4575 13439 0 0 1 0 5 3 20 0 6 0 444086336 10212057088 3794 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2493178 3794 1935 1 0 2481616 0
[pid=17909/tid=17962] ppid=17906 vsize=9972712 memory=4279135704013962892 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 2365 13439 0 0 1 0 5 3 20 0 6 0 444086346 10212057088 3794 33554432000 4194304 4196468 140731755124272 140160321946192 140160335232368 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 6 0 444086346 10212057088 3794 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=9972712 memory=140197172930176 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 6 0 444086346 10212057088 3794 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 6 0 444086346 10212057088 3794 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 6 0 444086346 10212057088 3794 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15176 KiB
[startup+0.20984 s]*
/proc/loadavg: 2.00 1.79 1.63 4/227 17975
/proc/meminfo: memFree=30864176/32770624 swapFree=67002400/67108860
[pid=17909] ppid=17906 vsize=10820020 memory=40248 CPUtime=0.27 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 7489 13439 0 0 17 2 5 3 20 0 15 0 444086336 11079700480 10062 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2705005 10062 3260 1 0 2667149 0
[pid=17909/tid=17962] ppid=17906 vsize=10820020 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 3916 13439 0 0 10 1 5 3 20 0 15 0 444086346 11079700480 10062 33554432000 4194304 4196468 140731755124272 140160321908320 140160350131357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10820020 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079700480 10062 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10820020 memory=140197172930176 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079700480 10062 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10820020 memory=140197172930176 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086348 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 13 13439 0 0 0 0 5 3 20 0 15 0 444086348 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159278376608 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086348 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159144158448 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11079700480 10062 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 379 13439 0 0 1 0 5 3 20 0 15 0 444086351 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 293 13439 0 0 0 0 5 3 20 0 15 0 444086351 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10820020 memory=140197172930176 CPUtime=0.11 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 674 13439 0 0 3 0 5 3 20 0 15 0 444086351 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11079700480 10062 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10820020 memory=140197172930176 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086352 11079700480 10062 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 40248 KiB
[startup+0.310364 s]*
/proc/loadavg: 2.00 1.79 1.63 4/227 17975
/proc/meminfo: memFree=30851396/32770624 swapFree=67002400/67108860
[pid=17909] ppid=17906 vsize=10820196 memory=48544 CPUtime=0.41 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 10927 13439 0 0 29 4 5 3 20 0 15 0 444086336 11079880704 12136 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2705049 12136 3315 1 0 2667149 0
[pid=17909/tid=17962] ppid=17906 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 7293 13439 0 0 18 3 5 3 20 0 15 0 444086346 11079880704 12136 33554432000 4194304 4196468 140731755124272 140160321918384 140160333296240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079880704 12136 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10820196 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079880704 12136 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086346 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086348 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 13 13439 0 0 0 0 5 3 20 0 15 0 444086348 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159278376608 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086348 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159144158448 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11079880704 12136 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 396 13439 0 0 2 0 5 3 20 0 15 0 444086351 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 297 13439 0 0 1 0 5 3 20 0 15 0 444086351 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 708 13439 0 0 5 0 5 3 20 0 15 0 444086351 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11079880704 12136 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086352 11079880704 12136 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48544 KiB
[startup+0.700748 s]
/proc/loadavg: 2.00 1.79 1.63 4/227 17975
/proc/meminfo: memFree=30836476/32770624 swapFree=67002400/67108860
[pid=17909] ppid=17906 vsize=10824364 memory=82664 CPUtime=1.1 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 15373 13439 0 0 97 5 5 3 20 0 15 0 444086336 11084148736 20666 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2706091 20666 3507 1 0 2668173 0
[pid=17909/tid=17962] ppid=17906 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 10542 13439 0 0 55 4 5 3 20 0 15 0 444086346 11084148736 20666 33554432000 4194304 4196468 140731755124272 140160321923936 140160350131357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10824364 memory=827 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11084148736 20666 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10824364 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11084148736 20666 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086346 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086346 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10824364 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 5 13439 0 0 0 0 5 3 20 0 15 0 444086348 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10824364 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 13 13439 0 0 0 0 5 3 20 0 15 0 444086348 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159278376608 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10824364 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086348 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159144158448 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10824364 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11084148736 20666 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10824364 memory=13252 CPUtime=0.21 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 819 13439 0 0 13 0 5 3 20 0 15 0 444086351 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10824364 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 754 13439 0 0 10 0 5 3 20 0 15 0 444086351 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10824364 memory=17668 CPUtime=0.25 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 1022 13439 0 0 17 0 5 3 20 0 15 0 444086351 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10824364 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11084148736 20666 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10824364 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086352 11084148736 20666 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82664 KiB
[startup+1.50062 s]
/proc/loadavg: 2.00 1.79 1.63 5/227 17976
/proc/meminfo: memFree=30792056/32770624 swapFree=67002400/67108860
[pid=17909] ppid=17906 vsize=10834680 memory=172408 CPUtime=2.43 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 22930 13439 0 0 224 11 5 3 20 0 15 0 444086336 11094712320 43102 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2708670 43102 3575 1 0 2670733 0
[pid=17909/tid=17962] ppid=17906 vsize=10834680 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 15909 13439 0 0 130 6 5 3 20 0 15 0 444086346 11094712320 43102 33554432000 4194304 4196468 140731755124272 140160321909392 140159953206460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 355 13439 0 0 1 0 5 3 20 0 15 0 444086346 11094712320 43102 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 79 13439 0 0 0 0 5 3 20 0 15 0 444086346 11094712320 43102 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 22 13439 0 0 1 0 5 3 20 0 15 0 444086346 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 57 13439 0 0 1 0 5 3 20 0 15 0 444086346 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10834680 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 549 13439 0 0 1 0 5 3 20 0 15 0 444086348 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10834680 memory=280394121423104 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 14 13439 0 0 0 0 5 3 20 0 15 0 444086348 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159278376672 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086348 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159144158464 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10834680 memory=1220 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11094712320 43102 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10834680 memory=10600 CPUtime=0.32 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 973 13439 0 0 24 0 5 3 20 0 15 0 444086351 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10834680 memory=1740 CPUtime=0.3 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 934 13439 0 0 22 0 5 3 20 0 15 0 444086351 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10834680 memory=5992 CPUtime=0.47 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 1825 13439 0 0 39 0 5 3 20 0 15 0 444086351 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10834680 memory=636 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11094712320 43102 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10834680 memory=2884 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1 13439 0 0 0 0 5 3 20 0 15 0 444086352 11094712320 43102 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 73898 13439 0 0 235558 55 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160321944224 140160329186896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10849048 memory=1035352 CPUtime=13.15 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 13468 13439 0 0 1252 55 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10849048 memory=1035356 CPUtime=13.14 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 14605 13439 0 0 1250 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.19 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 18162 13439 0 0 1256 55 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10849048 memory=1033304 CPUtime=13.2 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 20405 13439 0 0 1258 54 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10849048 memory=1037404 CPUtime=10.21 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 15396 13439 0 0 961 52 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10849048 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 15 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159278376736 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10849048 memory=14008 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159144158464 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10849048 memory=1037404 CPUtime=5.06 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 27005 13439 0 0 491 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10849048 memory=1037404 CPUtime=4.99 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 22896 13439 0 0 484 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10849048 memory=1035352 CPUtime=5.25 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 33883 13439 0 0 509 8 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10849048 memory=1035352 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10849048 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1007 13439 0 0 66 74 5 3 20 0 15 0 444086352 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 2435.25 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1037404 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.46 1.48 3/227 18354
/proc/meminfo: memFree=28672092/32770624 swapFree=67002404/67108860
[pid=17909] ppid=17906 vsize=10849048 memory=1037404 CPUtime=2496.28 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 243935 13439 0 0 249246 374 5 3 20 0 15 0 444086336 11109425152 259351 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2712262 259351 3632 1 0 2674317 0
[pid=17909/tid=17962] ppid=17906 vsize=10849048 memory=1037404 CPUtime=2415.52 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 74476 13439 0 0 241488 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160321944464 140159962779008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.49 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 13716 13439 0 0 1285 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.5 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 14643 13439 0 0 1285 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10849048 memory=1033304 CPUtime=13.54 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 18185 13439 0 0 1290 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.56 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 20453 13439 0 0 1293 55 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10849048 memory=1037404 CPUtime=10.47 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 15432 13439 0 0 985 54 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 15 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159278376736 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159144158464 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10849048 memory=1037404 CPUtime=5.06 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 27007 13439 0 0 491 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10849048 memory=1037404 CPUtime=4.99 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 22898 13439 0 0 484 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10849048 memory=1037404 CPUtime=5.25 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 33885 13439 0 0 509 8 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10849048 memory=1037404 CPUtime=1.51 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1012 13439 0 0 67 76 5 3 20 0 15 0 444086352 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 2496.28 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1037404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.7 s]
/proc/loadavg: 1.38 1.48 1.48 3/227 18357
/proc/meminfo: memFree=28671588/32770624 swapFree=67002404/67108860
[pid=17909] ppid=17906 vsize=10849048 memory=1037404 CPUtime=2520.05 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 244620 13439 0 0 251621 376 5 3 20 0 15 0 444086336 11109425152 259351 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2712262 259351 3632 1 0 2674317 0
[pid=17909/tid=17962] ppid=17906 vsize=10849048 memory=1037404 CPUtime=2438.65 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 74740 13439 0 0 243801 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160321944144 140159958893062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.63 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 13718 13439 0 0 1298 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.63 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 14752 13439 0 0 1298 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.67 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 18279 13439 0 0 1302 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.69 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 20474 13439 0 0 1305 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10849048 memory=1037404 CPUtime=10.57 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 15615 13439 0 0 994 55 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10849048 memory=2385 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 15 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159278376736 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159144158464 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10849048 memory=1768 CPUtime=5.06 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 27007 13439 0 0 491 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10849048 memory=1037404 CPUtime=4.99 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 22898 13439 0 0 484 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10849048 memory=1037404 CPUtime=5.25 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 33885 13439 0 0 509 8 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10849048 memory=1037404 CPUtime=1.52 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1024 13439 0 0 68 76 5 3 20 0 15 0 444086352 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1037404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.74 s]
# the end of solver process 17909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.80937 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.7 s]
/proc/loadavg: 1.38 1.48 1.48 3/227 18357
/proc/meminfo: memFree=28671588/32770624 swapFree=67002404/67108860
[pid=17909] ppid=17906 vsize=10849048 memory=1037404 CPUtime=2520.05 cores=0,2,4,6
/proc/17909/stat : 17909 (java) S 17906 17909 15891 0 -1 1077944320 244620 13439 0 0 251621 376 5 3 20 0 15 0 444086336 11109425152 259351 33554432000 4194304 4196468 140731755124272 140731755106816 140160350109431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
/proc/17909/statm: 2712262 259351 3632 1 0 2674317 0
[pid=17909/tid=17962] ppid=17906 vsize=10849048 memory=1037404 CPUtime=2438.65 cores=0,2,4,6
/proc/17909/task/17962/stat : 17962 (java) R 17906 17909 15891 0 -1 4202560 74740 13439 0 0 243801 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160321944144 140159958893062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17963] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.63 cores=0,2,4,6
/proc/17909/task/17963/stat : 17963 (java) S 17906 17909 15891 0 -1 1077944384 13718 13439 0 0 1298 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160354351632 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17964] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.63 cores=0,2,4,6
/proc/17909/task/17964/stat : 17964 (java) S 17906 17909 15891 0 -1 1077944384 14752 13439 0 0 1298 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140160286263952 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17965] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.67 cores=0,2,4,6
/proc/17909/task/17965/stat : 17965 (java) S 17906 17909 15891 0 -1 1077944384 18279 13439 0 0 1302 57 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159922604304 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17966] ppid=17906 vsize=10849048 memory=1037404 CPUtime=13.69 cores=0,2,4,6
/proc/17909/task/17966/stat : 17966 (java) S 17906 17909 15891 0 -1 1077944384 20474 13439 0 0 1305 56 5 3 20 0 15 0 444086346 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159921551760 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17967] ppid=17906 vsize=10849048 memory=1037404 CPUtime=10.57 cores=0,2,4,6
/proc/17909/task/17967/stat : 17967 (java) S 17906 17909 15891 0 -1 1077944384 15615 13439 0 0 994 55 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159352802032 140160350120578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17968] ppid=17906 vsize=10849048 memory=2385 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17968/stat : 17968 (java) S 17906 17909 15891 0 -1 1077944384 15 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159278376736 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17969] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17969/stat : 17969 (java) S 17906 17909 15891 0 -1 1077944384 2 13439 0 0 0 0 5 3 20 0 15 0 444086348 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159144158464 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17970] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17970/stat : 17970 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158903867856 140160350128027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17971] ppid=17906 vsize=10849048 memory=1768 CPUtime=5.06 cores=0,2,4,6
/proc/17909/task/17971/stat : 17971 (java) S 17906 17909 15891 0 -1 1077944384 27007 13439 0 0 491 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159351748848 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17972] ppid=17906 vsize=10849048 memory=1037404 CPUtime=4.99 cores=0,2,4,6
/proc/17909/task/17972/stat : 17972 (java) S 17906 17909 15891 0 -1 1077944384 22898 13439 0 0 484 7 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159350696304 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17973] ppid=17906 vsize=10849048 memory=1037404 CPUtime=5.25 cores=0,2,4,6
/proc/17909/task/17973/stat : 17973 (java) S 17906 17909 15891 0 -1 1077944384 33885 13439 0 0 509 8 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159349643248 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17974] ppid=17906 vsize=10849048 memory=1037404 CPUtime=0.08 cores=0,2,4,6
/proc/17909/task/17974/stat : 17974 (java) S 17906 17909 15891 0 -1 1077944384 3 13439 0 0 0 0 5 3 20 0 15 0 444086351 11109425152 259351 33554432000 4194304 4196468 140731755124272 140158870309216 140160350119637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
[pid=17909/tid=17975] ppid=17906 vsize=10849048 memory=1037404 CPUtime=1.52 cores=0,2,4,6
/proc/17909/task/17975/stat : 17975 (java) S 17906 17909 15891 0 -1 1077944384 1024 13439 0 0 68 76 5 3 20 0 15 0 444086352 11109425152 259351 33554432000 4194304 4196468 140731755124272 140159348591664 140160350120578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14422016 140731755125487 140731755128005 140731755128005 140731755130831 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 1037404 KiB
Child status: 143
Real time (s): 2465.74
CPU time (s): 2520.09
CPU user time (s): 2516.28
CPU system time (s): 3.80937
CPU usage (%): 102.204
Max. virtual memory (cumulated for all children) (KiB): 10852032
Max. memory (cumulated for all children) (KiB): 1221456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.80937
maximum resident set size= 1223504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294100
involuntary context switches= 7304
# summary of solver processes directly reported to runsolver:
# pid: 17909
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.80937
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7316 second user time and 23.8816 second system time
The end