runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106570-1466271010/watcher-4106570-1466271010 -o /tmp/evaluation-result-4106570-1466271010/solver-4106570-1466271010 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16341 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106570-1466271010.opb
pid=23894
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.05 2.01 3/195 23897
/proc/meminfo: memFree=31029704/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 29146628 98570240 977 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 24065 978 744 9 0 16771 0
[pid=23897/tid=23898] ppid=23894 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29146629 98570240 978 33554432000 1073741824 1073778376 140734856104208 140573976669736 206629062016 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 2.06 2.05 2.01 3/195 23897
/proc/meminfo: memFree=31029704/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 4509 0 1 0 11 1 0 0 20 0 18 0 29146628 9787879424 6140 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2389619 6140 2157 9 0 2380296 0
[pid=23897/tid=23898] ppid=23894 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2377 0 1 0 7 1 0 0 20 0 18 0 29146629 9787879424 6140 33554432000 1073741824 1073778376 140734856104208 140573976673544 206632445197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476
[startup+0.20026 s]
/proc/loadavg: 2.06 2.05 2.01 3/195 23897
/proc/meminfo: memFree=31029704/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 4716 0 1 0 26 1 0 0 20 0 18 0 29146628 9787879424 6799 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2389619 6799 2213 9 0 2380296 0
[pid=23897/tid=23898] ppid=23894 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2406 0 1 0 17 1 0 0 20 0 18 0 29146629 9787879424 6799 33554432000 1073741824 1073778376 140734856104208 140573976673544 140573826737156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300249 s]
/proc/loadavg: 2.06 2.05 2.01 3/195 23897
/proc/meminfo: memFree=31029704/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 5738 0 1 0 48 2 0 0 20 0 18 0 29146628 9787879424 8589 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2389619 8589 2242 9 0 2380296 0
[pid=23897/tid=23898] ppid=23894 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2408 0 1 0 26 2 0 0 20 0 18 0 29146629 9787879424 8589 33554432000 1073741824 1073778376 140734856104208 140573976673544 140573826637439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700202 s]
/proc/loadavg: 2.06 2.05 2.01 3/195 23897
/proc/meminfo: memFree=31029704/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9559812 CPUtime=1.7 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 22985 0 1 0 165 5 0 0 20 0 18 0 29146628 9789247488 31223 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2389953 31223 2256 9 0 2380630 0
[pid=23897/tid=23898] ppid=23894 vsize=9559812 CPUtime=0.68 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2438 0 1 0 66 2 0 0 20 0 18 0 29146629 9789247488 31223 33554432000 1073741824 1073778376 140734856104208 140573976665968 140573826881452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9559812
[startup+1.50085 s]
/proc/loadavg: 2.06 2.05 2.01 5/214 23916
/proc/meminfo: memFree=30882568/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9625040 CPUtime=3.36 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 24446 0 1 0 330 6 0 0 20 0 19 0 29146628 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2406260 38099 2269 9 0 2396937 0
[pid=23897/tid=23898] ppid=23894 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2459 0 1 0 146 2 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573976674520 140573827762249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23900] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23900/stat : 23900 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573949127592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23901] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23901/stat : 23901 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573948075048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23902] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23902/stat : 23902 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573947021992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23903] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23903/stat : 23903 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573945969448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23904] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23904/stat : 23904 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573815646632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23905] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23905/stat : 23905 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573814594088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23906] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23906/stat : 23906 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573813541032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23907] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23907/stat : 23907 (java) S 23894 23897 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573812488488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23908] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23908/stat : 23908 (java) S 23894 23897 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29146630 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573329976168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13253 0 0 0 90 2 0 0 20 0 19 0 29146633 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.91 cores=0,2,4,6
/proc/23897/task/23913/stat : 23913 (java) S 23894 23897 16325 0 -1 4202560 7456 0 0 0 90 1 0 0 20 0 19 0 29146633 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573324712376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23914] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23914/stat : 23914 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573323659512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23915] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23915/stat : 23915 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573322607176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23916] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23916/stat : 23916 (java) S 23894 23897 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29146709 9856040960 38099 33554432000 1073741824 1073778376 140734856104208 140573321553448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 9625040
[startup+3.10087 s]
/proc/loadavg: 2.06 2.05 2.01 3/214 23916
/proc/meminfo: memFree=30879404/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 24448 0 1 0 490 6 0 0 20 0 19 0 29146628 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2406260 38100 2269 9 0 2396937 0
[pid=23897/tid=23898] ppid=23894 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2460 0 1 0 306 2 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573976672496 140573827737694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23900] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23900/stat : 23900 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573949127592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23901] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23901/stat : 23901 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573948075048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23902] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23902/stat : 23902 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573947021992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23903] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23903/stat : 23903 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573945969448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23904] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23904/stat : 23904 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573815646632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23905] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23905/stat : 23905 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573814594088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23906] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23906/stat : 23906 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573813541032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23907] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23907/stat : 23907 (java) S 23894 23897 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573812488488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23908] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23908/stat : 23908 (java) S 23894 23897 16325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29146630 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573329976168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13253 0 0 0 90 2 0 0 20 0 19 0 29146633 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.91 cores=0,2,4,6
/proc/23897/task/23913/stat : 23913 (java) S 23894 23897 16325 0 -1 4202560 7456 0 0 0 90 1 0 0 20 0 19 0 29146633 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573324712376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23914] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23914/stat : 23914 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573323659512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23915] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23915/stat : 23915 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573322607176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23916] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23916/stat : 23916 (java) S 23894 23897 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29146709 9856040960 38100 33554432000 1073741824 1073778376 140734856104208 140573321553448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 9625040
[startup+6.30088 s]
/proc/loadavg: 2.06 2.05 2.01 3/214 23916
/proc/meminfo: memFree=30859804/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9625040 CPUtime=8.43 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 24485 0 1 0 837 6 0 0 20 0 19 0 29146628 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2406260 39619 2277 9 0 2396937 0
[pid=23897/tid=23898] ppid=23894 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2466 0 1 0 625 3 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573976672728 140573827647437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23900] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23900/stat : 23900 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573949127592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23901] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23901/stat : 23901 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573948075048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23902] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23902/stat : 23902 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573947021992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23903] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23903/stat : 23903 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573945969448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23904] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23904/stat : 23904 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573815646632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23905] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23905/stat : 23905 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573814594088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23906] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23906/stat : 23906 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573813541032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23907] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23907/stat : 23907 (java) S 23894 23897 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573812488488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23908] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23908/stat : 23908 (java) S 23894 23897 16325 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29146630 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573329976168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=1.17 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13280 0 0 0 115 2 0 0 20 0 19 0 29146633 9856040960 39619 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
################
# More data... #
################
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13291 0 0 0 123 2 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/23897/task/23913/stat : 23913 (java) S 23894 23897 16325 0 -1 4202560 7462 0 0 0 94 1 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573324712376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23914] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23914/stat : 23914 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573323659512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23915] ppid=23894 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/23897/task/23915/stat : 23915 (java) S 23894 23897 16325 0 -1 4202560 99 0 0 0 42 37 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573322607176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23916] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23916/stat : 23916 (java) S 23894 23897 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29146709 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573321553448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.97
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/213 24023
/proc/meminfo: memFree=30670712/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9625040 CPUtime=1785 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 24721 0 1 0 178461 39 0 0 20 0 19 0 29146628 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2406260 61807 2290 9 0 2396937 0
[pid=23897/tid=23898] ppid=23894 vsize=9625040 CPUtime=1782.31 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2494 0 1 0 178200 31 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573976665792 140573827762318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23900] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23900/stat : 23900 (java) S 23894 23897 16325 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573949127592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23901] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23901/stat : 23901 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573948075048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23902] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23902/stat : 23902 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573947021992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23903] ppid=23894 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/23897/task/23903/stat : 23903 (java) S 23894 23897 16325 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573945969448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23904] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23904/stat : 23904 (java) S 23894 23897 16325 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573815646632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23905] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23905/stat : 23905 (java) S 23894 23897 16325 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573814594088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23906] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23906/stat : 23906 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573813541032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23907] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23907/stat : 23907 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573812488488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23908] ppid=23894 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23897/task/23908/stat : 23908 (java) S 23894 23897 16325 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 19 0 29146630 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573329976168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13291 0 0 0 123 2 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/23897/task/23913/stat : 23913 (java) S 23894 23897 16325 0 -1 4202560 7462 0 0 0 94 1 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573324712376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23914] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23914/stat : 23914 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573323659512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23915] ppid=23894 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/23897/task/23915/stat : 23915 (java) S 23894 23897 16325 0 -1 4202560 103 0 0 0 43 38 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573322607176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23916] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23916/stat : 23916 (java) S 23894 23897 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29146709 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573321553448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.3 s]
/proc/loadavg: 2.06 2.05 2.00 4/214 24026
/proc/meminfo: memFree=30670444/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 24721 0 1 0 179961 39 0 0 20 0 19 0 29146628 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2406260 61807 2290 9 0 2396937 0
[pid=23897/tid=23898] ppid=23894 vsize=9625040 CPUtime=1797.31 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2494 0 1 0 179700 31 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573976665792 140573827762382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23900] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23900/stat : 23900 (java) S 23894 23897 16325 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573949127592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23901] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23901/stat : 23901 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573948075048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23902] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23902/stat : 23902 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573947021992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23903] ppid=23894 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/23897/task/23903/stat : 23903 (java) S 23894 23897 16325 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573945969448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23904] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23904/stat : 23904 (java) S 23894 23897 16325 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573815646632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23905] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23905/stat : 23905 (java) S 23894 23897 16325 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573814594088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23906] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23906/stat : 23906 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573813541032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23907] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23907/stat : 23907 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573812488488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23908] ppid=23894 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23897/task/23908/stat : 23908 (java) S 23894 23897 16325 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 19 0 29146630 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573329976168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13291 0 0 0 123 2 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/23897/task/23913/stat : 23913 (java) S 23894 23897 16325 0 -1 4202560 7462 0 0 0 94 1 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573324712376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23914] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23914/stat : 23914 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573323659512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23915] ppid=23894 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/23897/task/23915/stat : 23915 (java) S 23894 23897 16325 0 -1 4202560 103 0 0 0 44 38 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573322607176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23916] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23916/stat : 23916 (java) S 23894 23897 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29146709 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573321553448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23897 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1797.3 s]
/proc/loadavg: 2.06 2.05 2.00 4/214 24026
/proc/meminfo: memFree=30670444/32872528 swapFree=534252/566956
[pid=23897] ppid=23894 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/23897/stat : 23897 (java) S 23894 23897 16325 0 -1 4202496 24721 0 1 0 179961 39 0 0 20 0 19 0 29146628 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140734856095344 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23897/statm: 2406260 61807 2290 9 0 2396937 0
[pid=23897/tid=23898] ppid=23894 vsize=9625040 CPUtime=1797.31 cores=0,2,4,6
/proc/23897/task/23898/stat : 23898 (java) R 23894 23897 16325 0 -1 4202560 2494 0 1 0 179700 31 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573976665792 140573827762382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23897/tid=23900] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23900/stat : 23900 (java) S 23894 23897 16325 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573949127592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23901] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23901/stat : 23901 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573948075048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23902] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23902/stat : 23902 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573947021992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23903] ppid=23894 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/23897/task/23903/stat : 23903 (java) S 23894 23897 16325 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573945969448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23904] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23904/stat : 23904 (java) S 23894 23897 16325 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573815646632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23905] ppid=23894 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/23897/task/23905/stat : 23905 (java) S 23894 23897 16325 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573814594088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23906] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23906/stat : 23906 (java) S 23894 23897 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573813541032 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23907] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23907/stat : 23907 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146629 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573812488488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23908] ppid=23894 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/23897/task/23908/stat : 23908 (java) S 23894 23897 16325 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 19 0 29146630 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573329976168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23909] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23909/stat : 23909 (java) S 23894 23897 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573328922488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23910] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23910/stat : 23910 (java) S 23894 23897 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29146631 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573327869320 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23911] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23911/stat : 23911 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573326818064 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23912] ppid=23894 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/23897/task/23912/stat : 23912 (java) S 23894 23897 16325 0 -1 4202560 13291 0 0 0 123 2 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573325764920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23897/tid=23913] ppid=23894 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/23897/task/23913/stat : 23913 (java) S 23894 23897 16325 0 -1 4202560 7462 0 0 0 94 1 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573324712376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23914] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23914/stat : 23914 (java) S 23894 23897 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573323659512 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23897/tid=23915] ppid=23894 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/23897/task/23915/stat : 23915 (java) S 23894 23897 16325 0 -1 4202560 103 0 0 0 44 38 0 0 20 0 19 0 29146633 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573322607176 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23897/tid=23916] ppid=23894 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23897/task/23916/stat : 23916 (java) S 23894 23897 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29146709 9856040960 61807 33554432000 1073741824 1073778376 140734856104208 140573321553448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1797.35
CPU time (s): 1800.77
CPU user time (s): 1799.88
CPU system time (s): 0.892864
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.892864
maximum resident set size= 247356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24760
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38082
involuntary context switches= 2073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4931 second user time and 16.1405 second system time
The end