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 (1829 MiB free)
memory of node 1: 16384 MiB (9579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295673-1532590105/watcher-4295673-1532590105 -o /tmp/evaluation-result-4295673-1532590105/solver-4295673-1532590105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532582651-29262 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=404805966 HOME/instance-4295673-1532590105.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=30902, runsolver pid=30899
[startup+0.100114 s]*
/proc/loadavg: 1.40 1.36 1.39 3/206 30959
/proc/meminfo: memFree=11675460/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=9988792 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 4511 12859 0 0 1 0 5 3 20 0 6 0 76573709 10228523008 4335 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2497198 4335 1957 1 0 2485636 0
[pid=30902/tid=30955] ppid=30899 vsize=9988792 memory=4279135703913103502 CPUtime=0.09 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 2321 12859 0 0 1 0 5 3 20 0 6 0 76573718 10228523008 4335 33554432000 4194304 4196468 140724530948208 139931313709648 139931325652528 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 6 0 76573719 10228523008 4401 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=9989820 memory=139760423188096 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 7 0 76573719 10229575680 4401 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=9989820 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 7 0 76573719 10229575680 4401 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 7 0 76573719 10296684544 4401 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10055356 memory=139760423188096 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 7 0 76573720 10296684544 4401 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17340 KiB
[startup+0.210059 s]*
/proc/loadavg: 1.40 1.36 1.39 3/215 30968
/proc/meminfo: memFree=11657784/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10818904 memory=43960 CPUtime=0.26 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 9400 12859 0 0 16 2 5 3 20 0 15 0 76573709 11078557696 10990 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2704726 10990 2951 1 0 2667149 0
[pid=30902/tid=30955] ppid=30899 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 5930 12859 0 0 10 1 5 3 20 0 15 0 76573718 11078557696 10990 33554432000 4194304 4196468 140724530948208 139931313697696 139931341894813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10818904 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 76573719 11078557696 10990 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10818904 memory=139760423604922 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11078557696 10990 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11078557696 10990 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10818904 memory=139760423188096 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 76573720 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 76573720 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930477806880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573721 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930168714864 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11078557696 10990 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 419 12859 0 0 1 0 5 3 20 0 15 0 76573723 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 194 12859 0 0 1 0 5 3 20 0 15 0 76573723 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10818904 memory=139760423188096 CPUtime=0.11 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) R 30899 30902 29230 0 -1 4202560 621 12859 0 0 3 0 5 3 20 0 15 0 76573723 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930442144112 139931341894234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11078557696 10990 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10818904 memory=139760423188096 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573724 11078557696 10990 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43960 KiB
[startup+0.310521 s]*
/proc/loadavg: 1.40 1.36 1.39 3/215 30968
/proc/meminfo: memFree=11643892/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10819352 memory=51836 CPUtime=0.39 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 10601 12859 0 0 29 2 5 3 20 0 15 0 76573709 11079016448 12959 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2704838 12959 3070 1 0 2667149 0
[pid=30902/tid=30955] ppid=30899 vsize=10819352 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 7122 12859 0 0 20 2 5 3 20 0 15 0 76573718 11079016448 12959 33554432000 4194304 4196468 140724530948208 139931313684896 139931323436447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 12959 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 12959 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 12959 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 76573720 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 76573720 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930477806880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573721 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930168714864 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11079016448 12959 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 419 12859 0 0 1 0 5 3 20 0 15 0 76573723 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 195 12859 0 0 1 0 5 3 20 0 15 0 76573723 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10819352 memory=139760423188096 CPUtime=0.13 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 629 12859 0 0 5 0 5 3 20 0 15 0 76573723 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11079016448 12959 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10819352 memory=139760423188096 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573724 11079016448 12959 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51836 KiB
[startup+0.700774 s]
/proc/loadavg: 1.40 1.36 1.39 4/215 30968
/proc/meminfo: memFree=11634604/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10819352 memory=84428 CPUtime=0.98 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 16746 12859 0 0 86 4 5 3 20 0 15 0 76573709 11079016448 21107 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2704838 21107 3237 1 0 2667149 0
[pid=30902/tid=30955] ppid=30899 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 12223 12859 0 0 56 3 5 3 20 0 15 0 76573718 11079016448 21107 33554432000 4194304 4196468 140724530948208 139931313693712 139931341886774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 21107 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 21107 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10819352 memory=139760316334704 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 21107 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10819352 memory=139762530779726 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10819352 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 5 12859 0 0 0 0 5 3 20 0 15 0 76573720 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10819352 memory=7014751519734519121 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 76573720 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930477806880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10819352 memory=4044 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573721 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930168714864 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10819352 memory=13396 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11079016448 21107 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10819352 memory=16432 CPUtime=0.17 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 1029 12859 0 0 9 0 5 3 20 0 15 0 76573723 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10819352 memory=1792 CPUtime=0.15 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 558 12859 0 0 7 0 5 3 20 0 15 0 76573723 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10819352 memory=644 CPUtime=0.2 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 697 12859 0 0 12 0 5 3 20 0 15 0 76573723 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10819352 memory=956 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11079016448 21107 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10819352 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573724 11079016448 21107 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84428 KiB
[startup+1.50073 s]
/proc/loadavg: 1.40 1.36 1.39 7/215 30968
/proc/meminfo: memFree=11587816/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10832204 memory=209908 CPUtime=2.87 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 24126 12859 0 0 271 8 5 3 20 0 15 0 76573709 11092176896 52477 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2708051 52477 3449 1 0 2669709 0
[pid=30902/tid=30955] ppid=30899 vsize=10832204 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 16947 12859 0 0 132 6 5 3 20 0 15 0 76573718 11092176896 52477 33554432000 4194304 4196468 140724530948208 139931313677000 139931341894813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10832204 memory=279520632717760 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 76573719 11092176896 52477 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10832204 memory=279520632727072 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11092176896 52477 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10832204 memory=139760316369392 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11092176896 52477 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573719 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 15 12859 0 0 0 0 5 3 20 0 15 0 76573720 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10832204 memory=12966506269086 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 76573720 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930477806880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10832204 memory=7522796346477276515 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 76573721 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930168714864 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10832204 memory=7163087732983292525 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11092176896 52477 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10832204 memory=-6812210783619891858 CPUtime=0.54 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 1770 12859 0 0 46 0 5 3 20 0 15 0 76573723 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10832204 memory=7306638862886593639 CPUtime=0.56 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 1378 12859 0 0 48 0 5 3 20 0 15 0 76573723 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10832204 memory=7453564484353024361 CPUtime=0.51 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 1781 12859 0 0 43 0 5 3 20 0 15 0 76573723 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10832204 memory=7667768062532210792 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11092176896 52477 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10832204 memory=7809897528331495525 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573724 11092176896 52477 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
################
# More data... #
################
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 82175 12859 0 0 235476 49 5 3 20 0 15 0 76573718 11176083456 254264 33554432000 4194304 4196468 140724530948208 139931313707680 139930938304363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10914144 memory=1017056 CPUtime=11.32 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 9405 12859 0 0 1060 64 5 3 20 0 15 0 76573719 11176083456 254264 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10914144 memory=1017032 CPUtime=11.33 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 8101 12859 0 0 1064 61 5 3 20 0 15 0 76573719 11176083456 254264 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10914144 memory=1016968 CPUtime=11.3 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 9534 12859 0 0 1062 60 5 3 20 0 15 0 76573719 11176083456 254264 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10914144 memory=1017056 CPUtime=11.35 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 9150 12859 0 0 1068 59 5 3 20 0 15 0 76573719 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10914144 memory=1017056 CPUtime=11.85 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 12024 12859 0 0 1123 54 5 3 20 0 15 0 76573720 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10914144 memory=1017056 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 60 12859 0 0 0 0 5 3 20 0 15 0 76573720 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930477807008 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10914144 memory=1016968 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 6 12859 0 0 0 0 5 3 20 0 15 0 76573721 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930168714880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10914144 memory=1017056 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254264 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10914144 memory=939 CPUtime=3.93 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 18123 12859 0 0 382 3 5 3 20 0 15 0 76573723 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10914144 memory=4012 CPUtime=3.86 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 15593 12859 0 0 376 2 5 3 20 0 15 0 76573723 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10914144 memory=22916 CPUtime=1.85 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 17107 12859 0 0 174 3 5 3 20 0 15 0 76573723 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10914144 memory=22916 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254264 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10914144 memory=2416 CPUtime=1.45 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1192 12859 0 0 61 76 5 3 20 0 15 0 76573724 11176083456 254264 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 2422.97 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1017056 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.33 1.34 3/215 31322
/proc/meminfo: memFree=10848964/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10914144 memory=1019228 CPUtime=2483.78 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 185728 12859 0 0 248000 370 5 3 20 0 15 0 76573709 11176083456 254807 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2728536 254807 3522 1 0 2690189 0
[pid=30902/tid=30955] ppid=30899 vsize=10914144 memory=1017056 CPUtime=2414.67 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 82809 12859 0 0 241409 50 5 3 20 0 15 0 76573718 11176083456 254807 33554432000 4194304 4196468 140724530948208 139931313706752 139930938780758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10914144 memory=1017108 CPUtime=11.61 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 9425 12859 0 0 1088 65 5 3 20 0 15 0 76573719 11176083456 254807 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10914144 memory=6791534058613427641 CPUtime=11.62 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 8122 12859 0 0 1091 63 5 3 20 0 15 0 76573719 11176083456 254807 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10914144 memory=272749683854300 CPUtime=11.58 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 9560 12859 0 0 1089 61 5 3 20 0 15 0 76573719 11176083456 254807 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10914144 memory=1017172 CPUtime=11.64 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 9472 12859 0 0 1095 61 5 3 20 0 15 0 76573719 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10914144 memory=1019228 CPUtime=12.15 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 12054 12859 0 0 1151 56 5 3 20 0 15 0 76573720 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10914144 memory=1019228 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 60 12859 0 0 0 0 5 3 20 0 15 0 76573720 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930477807008 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10914144 memory=1019228 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 6 12859 0 0 0 0 5 3 20 0 15 0 76573721 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930168714880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10914144 memory=1019228 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254807 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10914144 memory=1016968 CPUtime=3.93 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 18125 12859 0 0 382 3 5 3 20 0 15 0 76573723 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10914144 memory=1019228 CPUtime=3.86 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 15595 12859 0 0 376 2 5 3 20 0 15 0 76573723 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10914144 memory=1019228 CPUtime=1.85 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 17109 12859 0 0 174 3 5 3 20 0 15 0 76573723 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10914144 memory=1019228 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254807 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10914144 memory=22916 CPUtime=1.48 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1197 12859 0 0 63 77 5 3 20 0 15 0 76573724 11176083456 254807 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 2483.78 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1019228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.11 s]
/proc/loadavg: 1.49 1.36 1.35 3/215 31322
/proc/meminfo: memFree=10849044/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10914144 memory=1019240 CPUtime=2520.02 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 186831 12859 0 0 251620 374 5 3 20 0 15 0 76573709 11176083456 254810 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2728536 254810 3522 1 0 2690189 0
[pid=30902/tid=30955] ppid=30899 vsize=10914144 memory=1019240 CPUtime=2450.09 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 83376 12859 0 0 244951 50 5 3 20 0 15 0 76573718 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931313706864 139930926815514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.77 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 9450 12859 0 0 1104 65 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.78 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 8150 12859 0 0 1106 64 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.75 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 9566 12859 0 0 1105 62 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.8 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 9526 12859 0 0 1110 62 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10914144 memory=1019240 CPUtime=12.31 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 12217 12859 0 0 1167 56 5 3 20 0 15 0 76573720 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10914144 memory=1019240 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 60 12859 0 0 0 0 5 3 20 0 15 0 76573720 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930477807008 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10914144 memory=244960 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 6 12859 0 0 0 0 5 3 20 0 15 0 76573721 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930168714880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10914144 memory=1019240 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10914144 memory=1019240 CPUtime=3.93 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 18125 12859 0 0 382 3 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10914144 memory=4012 CPUtime=3.86 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 15595 12859 0 0 376 2 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10914144 memory=22916 CPUtime=1.86 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 17354 12859 0 0 174 4 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10914144 memory=1019240 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10914144 memory=1019240 CPUtime=1.5 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1212 12859 0 0 64 78 5 3 20 0 15 0 76573724 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1019240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.14 s]
# the end of solver process 30902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.78688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.11 s]
/proc/loadavg: 1.49 1.36 1.35 3/215 31322
/proc/meminfo: memFree=10849044/32770624 swapFree=67108852/67108860
[pid=30902] ppid=30899 vsize=10914144 memory=1019240 CPUtime=2520.02 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30899 30902 29230 0 -1 1077944320 186831 12859 0 0 251620 374 5 3 20 0 15 0 76573709 11176083456 254810 33554432000 4194304 4196468 140724530948208 140724530930752 139931341872887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
/proc/30902/statm: 2728536 254810 3522 1 0 2690189 0
[pid=30902/tid=30955] ppid=30899 vsize=10914144 memory=1019240 CPUtime=2450.09 cores=1,3,5,7
/proc/30902/task/30955/stat : 30955 (java) R 30899 30902 29230 0 -1 4202560 83376 12859 0 0 244951 50 5 3 20 0 15 0 76573718 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931313706864 139930926815514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30956] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.77 cores=1,3,5,7
/proc/30902/task/30956/stat : 30956 (java) S 30899 30902 29230 0 -1 1077944384 9450 12859 0 0 1104 65 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931346114960 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30957] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.78 cores=1,3,5,7
/proc/30902/task/30957/stat : 30957 (java) S 30899 30902 29230 0 -1 1077944384 8150 12859 0 0 1106 64 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931245005072 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30958] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.75 cores=1,3,5,7
/proc/30902/task/30958/stat : 30958 (java) S 30899 30902 29230 0 -1 1077944384 9566 12859 0 0 1105 62 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139931243952784 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30959] ppid=30899 vsize=10914144 memory=1019240 CPUtime=11.8 cores=1,3,5,7
/proc/30902/task/30959/stat : 30959 (java) S 30899 30902 29230 0 -1 1077944384 9526 12859 0 0 1110 62 5 3 20 0 15 0 76573719 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930913073680 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30960] ppid=30899 vsize=10914144 memory=1019240 CPUtime=12.31 cores=1,3,5,7
/proc/30902/task/30960/stat : 30960 (java) S 30899 30902 29230 0 -1 1077944384 12217 12859 0 0 1167 56 5 3 20 0 15 0 76573720 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930478860912 139931341884034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30961] ppid=30899 vsize=10914144 memory=1019240 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30961/stat : 30961 (java) S 30899 30902 29230 0 -1 1077944384 60 12859 0 0 0 0 5 3 20 0 15 0 76573720 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930477807008 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30962] ppid=30899 vsize=10914144 memory=244960 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30962/stat : 30962 (java) S 30899 30902 29230 0 -1 1077944384 6 12859 0 0 0 0 5 3 20 0 15 0 76573721 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930168714880 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30963] ppid=30899 vsize=10914144 memory=1019240 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30963/stat : 30963 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139929928424016 139931341891483 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30964] ppid=30899 vsize=10914144 memory=1019240 CPUtime=3.93 cores=1,3,5,7
/proc/30902/task/30964/stat : 30964 (java) S 30899 30902 29230 0 -1 1077944384 18125 12859 0 0 382 3 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930444249200 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30965] ppid=30899 vsize=10914144 memory=4012 CPUtime=3.86 cores=1,3,5,7
/proc/30902/task/30965/stat : 30965 (java) S 30899 30902 29230 0 -1 1077944384 15595 12859 0 0 376 2 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930443196400 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30966] ppid=30899 vsize=10914144 memory=22916 CPUtime=1.86 cores=1,3,5,7
/proc/30902/task/30966/stat : 30966 (java) S 30899 30902 29230 0 -1 1077944384 17354 12859 0 0 174 4 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930442144112 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30967] ppid=30899 vsize=10914144 memory=1019240 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30967/stat : 30967 (java) S 30899 30902 29230 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 76573723 11176083456 254810 33554432000 4194304 4196468 140724530948208 139929894865376 139931341883093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
[pid=30902/tid=30968] ppid=30899 vsize=10914144 memory=1019240 CPUtime=1.5 cores=1,3,5,7
/proc/30902/task/30968/stat : 30968 (java) S 30899 30902 29230 0 -1 1077944384 1212 12859 0 0 64 78 5 3 20 0 15 0 76573724 11176083456 254810 33554432000 4194304 4196468 140724530948208 139930441092016 139931341884034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9732096 140724530956911 140724530959708 140724530959708 140724530962383 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1019240 KiB
Child status: 143
Real time (s): 2478.14
CPU time (s): 2520.06
CPU user time (s): 2516.28
CPU system time (s): 3.78688
CPU usage (%): 101.692
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1019240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.78688
maximum resident set size= 1023468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 298519
involuntary context switches= 7184
# summary of solver processes directly reported to runsolver:
# pid: 30902
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.78688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1885 second user time and 23.2295 second system time
The end