runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689448-1337882244/watcher-3689448-1337882244 -o /tmp/evaluation-result-3689448-1337882244/solver-3689448-1337882244 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689448-1337882244.opb
running on 4 cores: 1,3,5,7
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: 3.51 3.77 3.77 4/197 27908
/proc/meminfo: memFree=26012648/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/27908/stat : 27908 (java) D 27906 27908 23987 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 254349019 2560000 46 33554432000 1073741824 1073778376 140736374678288 140736374675416 225435544871 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27908/statm: 625 46 37 9 0 29 0
[startup+0.056151 s]
/proc/loadavg: 3.51 3.77 3.77 4/197 27908
/proc/meminfo: memFree=26012648/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 3028 0 1 0 2 1 0 0 20 0 13 0 254349019 9446973440 3725 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2306390 3725 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.10033 s]
/proc/loadavg: 3.51 3.77 3.77 4/197 27908
/proc/meminfo: memFree=26012648/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 3930 0 1 0 7 1 0 0 20 0 18 0 254349019 9787813888 5123 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2389603 5128 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.3003 s]
/proc/loadavg: 3.51 3.77 3.77 4/197 27908
/proc/meminfo: memFree=26012648/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 5347 0 1 0 44 2 0 0 20 0 18 0 254349019 9787813888 10323 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2389603 10323 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700318 s]
/proc/loadavg: 3.51 3.77 3.77 4/197 27908
/proc/meminfo: memFree=26012648/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9558412 CPUtime=1.35 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 12105 0 1 0 128 7 0 0 20 0 18 0 254349019 9787813888 44008 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2389603 44008 2250 9 0 2380296 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9558412
[startup+1.50078 s]
/proc/loadavg: 3.51 3.77 3.77 4/215 27926
/proc/meminfo: memFree=25785240/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9558412 CPUtime=2.59 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 13018 0 1 0 239 20 0 0 20 0 18 0 254349019 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2389603 92401 2250 9 0 2380296 0
[pid=27908/tid=27910] ppid=27906 vsize=9558412 CPUtime=1.33 cores=1,3,5,7
/proc/27908/task/27910/stat : 27910 (java) R 27906 27908 23987 0 -1 4202560 2566 0 1 0 126 7 0 0 20 0 18 0 254349020 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602689321960 225448092941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27911] ppid=27906 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/27908/task/27911/stat : 27911 (java) S 27906 27908 23987 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602532592168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27912] ppid=27906 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/27908/task/27912/stat : 27912 (java) S 27906 27908 23987 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602531539368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27913] ppid=27906 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/27908/task/27913/stat : 27913 (java) S 27906 27908 23987 0 -1 4202560 16 0 0 0 2 1 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602530486568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27914] ppid=27906 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/27908/task/27914/stat : 27914 (java) S 27906 27908 23987 0 -1 4202560 57 0 0 0 4 2 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602529433768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27915] ppid=27906 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/27908/task/27915/stat : 27915 (java) S 27906 27908 23987 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602528381992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27916] ppid=27906 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/27908/task/27916/stat : 27916 (java) S 27906 27908 23987 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602527329192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27917] ppid=27906 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/27908/task/27917/stat : 27917 (java) S 27906 27908 23987 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602526276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27918] ppid=27906 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/27908/task/27918/stat : 27918 (java) S 27906 27908 23987 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 18 0 254349022 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602525223592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27919] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27919/stat : 27919 (java) S 27906 27908 23987 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 254349023 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602513025512 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27920] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27920/stat : 27920 (java) S 27906 27908 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254349024 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602511971576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27921] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27921/stat : 27921 (java) S 27906 27908 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254349024 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602510918664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27922] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27922/stat : 27922 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602509867152 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27923] ppid=27906 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/27908/task/27923/stat : 27923 (java) S 27906 27908 23987 0 -1 4202560 4813 0 0 0 37 1 0 0 20 0 18 0 254349026 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602508815288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27924] ppid=27906 vsize=9558412 CPUtime=0.39 cores=1,3,5,7
/proc/27908/task/27924/stat : 27924 (java) S 27906 27908 23987 0 -1 4202560 4035 0 0 0 38 1 0 0 20 0 18 0 254349026 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602507762488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27925] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27925/stat : 27925 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602506709880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27926] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27926/stat : 27926 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 92401 33554432000 1073741824 1073778376 140736516191392 140602505657288 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9558412
[startup+3.10081 s]
/proc/loadavg: 3.51 3.77 3.77 11/215 27926
/proc/meminfo: memFree=25406424/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9558412 CPUtime=4.63 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 13590 0 1 0 424 39 0 0 20 0 18 0 254349019 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2389603 169505 2250 9 0 2380296 0
[pid=27908/tid=27910] ppid=27906 vsize=9558412 CPUtime=2.79 cores=1,3,5,7
/proc/27908/task/27910/stat : 27910 (java) R 27906 27908 23987 0 -1 4202560 2677 0 1 0 267 12 0 0 20 0 18 0 254349020 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602689314800 225448092941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27911] ppid=27906 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27908/task/27911/stat : 27911 (java) S 27906 27908 23987 0 -1 4202560 37 0 0 0 5 3 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602532592168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27912] ppid=27906 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/27908/task/27912/stat : 27912 (java) S 27906 27908 23987 0 -1 4202560 35 0 0 0 5 1 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602531539368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27913] ppid=27906 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/27908/task/27913/stat : 27913 (java) S 27906 27908 23987 0 -1 4202560 53 0 0 0 10 4 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602530486568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27914] ppid=27906 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/27908/task/27914/stat : 27914 (java) S 27906 27908 23987 0 -1 4202560 66 0 0 0 7 3 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602529433768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27915] ppid=27906 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/27908/task/27915/stat : 27915 (java) S 27906 27908 23987 0 -1 4202560 67 0 0 0 12 5 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602528381992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27916] ppid=27906 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/27908/task/27916/stat : 27916 (java) S 27906 27908 23987 0 -1 4202560 60 0 0 0 12 3 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602527329192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27917] ppid=27906 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/27908/task/27917/stat : 27917 (java) S 27906 27908 23987 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602526276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27918] ppid=27906 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/27908/task/27918/stat : 27918 (java) S 27906 27908 23987 0 -1 4202560 47 0 0 0 8 3 0 0 20 0 18 0 254349022 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602525223592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27919] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27919/stat : 27919 (java) S 27906 27908 23987 0 -1 4202560 481 0 0 0 0 0 0 0 20 0 18 0 254349023 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602513025512 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27920] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27920/stat : 27920 (java) S 27906 27908 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254349024 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602511971576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27921] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27921/stat : 27921 (java) S 27906 27908 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254349024 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602510918664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27922] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27922/stat : 27922 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602509867152 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27923] ppid=27906 vsize=9558412 CPUtime=0.4 cores=1,3,5,7
/proc/27908/task/27923/stat : 27923 (java) S 27906 27908 23987 0 -1 4202560 4813 0 0 0 39 1 0 0 20 0 18 0 254349026 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602508815288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27924] ppid=27906 vsize=9558412 CPUtime=0.39 cores=1,3,5,7
/proc/27908/task/27924/stat : 27924 (java) S 27906 27908 23987 0 -1 4202560 4035 0 0 0 38 1 0 0 20 0 18 0 254349026 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602507762488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27925] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27925/stat : 27925 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602506709880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27926] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27926/stat : 27926 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 169505 33554432000 1073741824 1073778376 140736516191392 140602505657288 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9558412
[startup+6.30081 s]
/proc/loadavg: 3.55 3.77 3.77 4/215 27926
/proc/meminfo: memFree=24692548/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9558412 CPUtime=8.66 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 15429 0 1 0 795 71 0 0 20 0 18 0 254349019 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2389603 331505 2250 9 0 2380296 0
[pid=27908/tid=27910] ppid=27906 vsize=9558412 CPUtime=5.7 cores=1,3,5,7
/proc/27908/task/27910/stat : 27910 (java) R 27906 27908 23987 0 -1 4202560 3370 0 1 0 550 20 0 0 20 0 18 0 254349020 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602689314672 225448092941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27911] ppid=27906 vsize=9558412 CPUtime=0.19 cores=1,3,5,7
/proc/27908/task/27911/stat : 27911 (java) S 27906 27908 23987 0 -1 4202560 181 0 0 0 14 5 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602532592168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27912] ppid=27906 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/27908/task/27912/stat : 27912 (java) S 27906 27908 23987 0 -1 4202560 97 0 0 0 13 4 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602531539368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27913] ppid=27906 vsize=9558412 CPUtime=0.34 cores=1,3,5,7
/proc/27908/task/27913/stat : 27913 (java) S 27906 27908 23987 0 -1 4202560 130 0 0 0 27 7 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602530486568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27914] ppid=27906 vsize=9558412 CPUtime=0.21 cores=1,3,5,7
/proc/27908/task/27914/stat : 27914 (java) S 27906 27908 23987 0 -1 4202560 151 0 0 0 15 6 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602529433768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27915] ppid=27906 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/27908/task/27915/stat : 27915 (java) S 27906 27908 23987 0 -1 4202560 152 0 0 0 28 9 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602528381992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27916] ppid=27906 vsize=9558412 CPUtime=0.31 cores=1,3,5,7
/proc/27908/task/27916/stat : 27916 (java) S 27906 27908 23987 0 -1 4202560 107 0 0 0 24 7 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602527329192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27917] ppid=27906 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/27908/task/27917/stat : 27917 (java) S 27906 27908 23987 0 -1 4202560 103 0 0 0 12 3 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602526276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27918] ppid=27906 vsize=9558412 CPUtime=0.24 cores=1,3,5,7
/proc/27908/task/27918/stat : 27918 (java) S 27906 27908 23987 0 -1 4202560 93 0 0 0 18 6 0 0 20 0 18 0 254349022 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602525223592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27919] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27919/stat : 27919 (java) S 27906 27908 23987 0 -1 4202560 1021 0 0 0 0 0 0 0 20 0 18 0 254349023 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602513025512 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27920] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27920/stat : 27920 (java) S 27906 27908 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 254349024 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602511971576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27921] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27921/stat : 27921 (java) S 27906 27908 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254349024 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602510918664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27922] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27922/stat : 27922 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602509867152 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27923] ppid=27906 vsize=9558412 CPUtime=0.4 cores=1,3,5,7
/proc/27908/task/27923/stat : 27923 (java) S 27906 27908 23987 0 -1 4202560 4813 0 0 0 39 1 0 0 20 0 18 0 254349026 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602508815288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27924] ppid=27906 vsize=9558412 CPUtime=0.39 cores=1,3,5,7
/proc/27908/task/27924/stat : 27924 (java) S 27906 27908 23987 0 -1 4202560 4035 0 0 0 38 1 0 0 20 0 18 0 254349026 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602507762488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27925] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27925/stat : 27925 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602506709880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27926] ppid=27906 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27926/stat : 27926 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254349026 9787813888 331505 33554432000 1073741824 1073778376 140736516191392 140602505657288 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 9558412
[startup+12.7009 s]
/proc/loadavg: 3.75 3.81 3.78 5/219 27930
/proc/meminfo: memFree=23604828/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9824668 CPUtime=21.46 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 20312 0 1 0 2035 111 0 0 20 0 22 0 254349019 10060460032 600160 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2456167 600160 2270 9 0 2446860 0
[pid=27908/tid=27910] ppid=27906 vsize=9824668 CPUtime=7.37 cores=1,3,5,7
################
# More data... #
################
[pid=27908/tid=27928] ppid=27906 vsize=9824668 CPUtime=760.35 cores=1,3,5,7
/proc/27908/task/27928/stat : 27928 (java) R 27906 27908 23987 0 -1 4202560 679 0 0 0 76017 18 0 0 20 0 22 0 254349844 10060460032 823724 33554432000 1073741824 1073778376 140736516191392 140602503547504 140602549799930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27929] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27929/stat : 27929 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 823724 33554432000 1073741824 1073778376 140736516191392 140602502497192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27930] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27930/stat : 27930 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 823724 33554432000 1073741824 1073778376 140736516191392 140602501444392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1592.57
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.06 4.02 3.88 5/219 28042
/proc/meminfo: memFree=25981188/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9824668 CPUtime=1710.45 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 26188 0 1 0 170857 188 0 0 20 0 22 0 254349019 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2456167 828347 2285 9 0 2446860 0
[pid=27908/tid=27910] ppid=27906 vsize=9824668 CPUtime=7.42 cores=1,3,5,7
/proc/27908/task/27910/stat : 27910 (java) S 27906 27908 23987 0 -1 4202560 3863 0 1 0 703 39 0 0 20 0 22 0 254349020 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602689324024 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27911] ppid=27906 vsize=9824668 CPUtime=1.18 cores=1,3,5,7
/proc/27908/task/27911/stat : 27911 (java) S 27906 27908 23987 0 -1 4202560 497 0 0 0 107 11 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602532592168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27912] ppid=27906 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/27908/task/27912/stat : 27912 (java) S 27906 27908 23987 0 -1 4202560 397 0 0 0 96 10 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602531539368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27913] ppid=27906 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/27908/task/27913/stat : 27913 (java) S 27906 27908 23987 0 -1 4202560 264 0 0 0 118 13 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602530486568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27914] ppid=27906 vsize=9824668 CPUtime=1.24 cores=1,3,5,7
/proc/27908/task/27914/stat : 27914 (java) S 27906 27908 23987 0 -1 4202560 242 0 0 0 112 12 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602529433768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27915] ppid=27906 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/27908/task/27915/stat : 27915 (java) S 27906 27908 23987 0 -1 4202560 452 0 0 0 123 14 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602528381992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27916] ppid=27906 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/27908/task/27916/stat : 27916 (java) S 27906 27908 23987 0 -1 4202560 493 0 0 0 115 14 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602527329192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27917] ppid=27906 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/27908/task/27917/stat : 27917 (java) S 27906 27908 23987 0 -1 4202560 647 0 0 0 114 13 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602526276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27918] ppid=27906 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/27908/task/27918/stat : 27918 (java) S 27906 27908 23987 0 -1 4202560 355 0 0 0 109 12 0 0 20 0 22 0 254349022 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602525223592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27919] ppid=27906 vsize=9824668 CPUtime=54.01 cores=1,3,5,7
/proc/27908/task/27919/stat : 27919 (java) S 27906 27908 23987 0 -1 4202560 1834 0 0 0 5387 14 0 0 20 0 22 0 254349023 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602513025512 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27920] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27920/stat : 27920 (java) S 27906 27908 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254349024 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602511971576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27921] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27921/stat : 27921 (java) S 27906 27908 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254349024 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602510918664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27922] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27922/stat : 27922 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254349026 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602509867152 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27923] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27923/stat : 27923 (java) S 27906 27908 23987 0 -1 4202560 7922 0 0 0 137 2 0 0 20 0 22 0 254349026 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602508815288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27924] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27924/stat : 27924 (java) S 27906 27908 23987 0 -1 4202560 7249 0 0 0 136 3 0 0 20 0 22 0 254349026 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602507762488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27925] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27925/stat : 27925 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254349026 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602506709880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27926] ppid=27906 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/27908/task/27926/stat : 27926 (java) S 27906 27908 23987 0 -1 4202560 51 0 0 0 20 23 0 0 20 0 22 0 254349026 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602505657288 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27927] ppid=27906 vsize=9824668 CPUtime=817.92 cores=1,3,5,7
/proc/27908/task/27927/stat : 27927 (java) R 27906 27908 23987 0 -1 4202560 54 0 0 0 81780 12 0 0 20 0 22 0 254349844 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602504602064 140602550051021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27928] ppid=27906 vsize=9824668 CPUtime=817.98 cores=1,3,5,7
/proc/27908/task/27928/stat : 27928 (java) R 27906 27908 23987 0 -1 4202560 679 0 0 0 81779 19 0 0 20 0 22 0 254349844 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602503547072 140602550179317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27929] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27929/stat : 27929 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602502497192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27930] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27930/stat : 27930 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 828347 33554432000 1073741824 1073778376 140736516191392 140602501444392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1710.45
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+928.101 s]
/proc/loadavg: 4.03 4.02 3.89 5/219 28046
/proc/meminfo: memFree=25948172/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 26221 0 1 0 179830 190 0 0 20 0 22 0 254349019 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2456167 836549 2285 9 0 2446860 0
[pid=27908/tid=27910] ppid=27906 vsize=9824668 CPUtime=7.43 cores=1,3,5,7
/proc/27908/task/27910/stat : 27910 (java) S 27906 27908 23987 0 -1 4202560 3864 0 1 0 704 39 0 0 20 0 22 0 254349020 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602689324024 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27911] ppid=27906 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/27908/task/27911/stat : 27911 (java) S 27906 27908 23987 0 -1 4202560 498 0 0 0 110 11 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602532592168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27912] ppid=27906 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/27908/task/27912/stat : 27912 (java) S 27906 27908 23987 0 -1 4202560 397 0 0 0 98 10 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602531539368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27913] ppid=27906 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/27908/task/27913/stat : 27913 (java) S 27906 27908 23987 0 -1 4202560 266 0 0 0 120 13 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602530486568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27914] ppid=27906 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/27908/task/27914/stat : 27914 (java) S 27906 27908 23987 0 -1 4202560 242 0 0 0 113 12 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602529433768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27915] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27915/stat : 27915 (java) S 27906 27908 23987 0 -1 4202560 452 0 0 0 125 14 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602528381992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27916] ppid=27906 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/27908/task/27916/stat : 27916 (java) S 27906 27908 23987 0 -1 4202560 500 0 0 0 116 14 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602527329192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27917] ppid=27906 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/27908/task/27917/stat : 27917 (java) S 27906 27908 23987 0 -1 4202560 647 0 0 0 119 13 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602526276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27918] ppid=27906 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/27908/task/27918/stat : 27918 (java) S 27906 27908 23987 0 -1 4202560 355 0 0 0 111 12 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602525223592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27919] ppid=27906 vsize=9824668 CPUtime=55.96 cores=1,3,5,7
/proc/27908/task/27919/stat : 27919 (java) S 27906 27908 23987 0 -1 4202560 1852 0 0 0 5581 15 0 0 20 0 22 0 254349023 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602513025512 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27920] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27920/stat : 27920 (java) S 27906 27908 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254349024 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602511971576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27921] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27921/stat : 27921 (java) S 27906 27908 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254349024 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602510918664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27922] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27922/stat : 27922 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602509867152 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27923] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27923/stat : 27923 (java) S 27906 27908 23987 0 -1 4202560 7922 0 0 0 137 2 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602508815288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27924] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27924/stat : 27924 (java) S 27906 27908 23987 0 -1 4202560 7249 0 0 0 136 3 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602507762488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27925] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27925/stat : 27925 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602506709880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27926] ppid=27906 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/27908/task/27926/stat : 27926 (java) S 27906 27908 23987 0 -1 4202560 53 0 0 0 21 24 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602505657288 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27927] ppid=27906 vsize=9824668 CPUtime=861.73 cores=1,3,5,7
/proc/27908/task/27927/stat : 27927 (java) R 27906 27908 23987 0 -1 4202560 55 0 0 0 86158 15 0 0 20 0 22 0 254349844 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602504602064 140602550056124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27928] ppid=27906 vsize=9824668 CPUtime=861.78 cores=1,3,5,7
/proc/27908/task/27928/stat : 27928 (java) R 27906 27908 23987 0 -1 4202560 680 0 0 0 86158 20 0 0 20 0 22 0 254349844 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602503547504 140602549475266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27929] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27929/stat : 27929 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602502497192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27930] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27930/stat : 27930 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602501444392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+928.101 s]
/proc/loadavg: 4.03 4.02 3.89 5/219 28046
/proc/meminfo: memFree=25948172/32873844 swapFree=7900/7900
[pid=27908] ppid=27906 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/27908/stat : 27908 (java) S 27906 27908 23987 0 -1 4202496 26221 0 1 0 179830 190 0 0 20 0 22 0 254349019 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140736516182528 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27908/statm: 2456167 836549 2285 9 0 2446860 0
[pid=27908/tid=27910] ppid=27906 vsize=9824668 CPUtime=7.43 cores=1,3,5,7
/proc/27908/task/27910/stat : 27910 (java) S 27906 27908 23987 0 -1 4202560 3864 0 1 0 704 39 0 0 20 0 22 0 254349020 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602689324024 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27911] ppid=27906 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/27908/task/27911/stat : 27911 (java) S 27906 27908 23987 0 -1 4202560 498 0 0 0 110 11 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602532592168 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27912] ppid=27906 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/27908/task/27912/stat : 27912 (java) S 27906 27908 23987 0 -1 4202560 397 0 0 0 98 10 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602531539368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27913] ppid=27906 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/27908/task/27913/stat : 27913 (java) S 27906 27908 23987 0 -1 4202560 266 0 0 0 120 13 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602530486568 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27914] ppid=27906 vsize=9824668 CPUtime=1.25 cores=1,3,5,7
/proc/27908/task/27914/stat : 27914 (java) S 27906 27908 23987 0 -1 4202560 242 0 0 0 113 12 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602529433768 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27915] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27915/stat : 27915 (java) S 27906 27908 23987 0 -1 4202560 452 0 0 0 125 14 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602528381992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27916] ppid=27906 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/27908/task/27916/stat : 27916 (java) S 27906 27908 23987 0 -1 4202560 500 0 0 0 116 14 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602527329192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27917] ppid=27906 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/27908/task/27917/stat : 27917 (java) S 27906 27908 23987 0 -1 4202560 647 0 0 0 119 13 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602526276392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27918] ppid=27906 vsize=9824668 CPUtime=1.23 cores=1,3,5,7
/proc/27908/task/27918/stat : 27918 (java) S 27906 27908 23987 0 -1 4202560 355 0 0 0 111 12 0 0 20 0 22 0 254349022 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602525223592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27919] ppid=27906 vsize=9824668 CPUtime=55.96 cores=1,3,5,7
/proc/27908/task/27919/stat : 27919 (java) S 27906 27908 23987 0 -1 4202560 1852 0 0 0 5581 15 0 0 20 0 22 0 254349023 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602513025512 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27920] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27920/stat : 27920 (java) S 27906 27908 23987 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 254349024 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602511971576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27921] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27921/stat : 27921 (java) S 27906 27908 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254349024 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602510918664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27922] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27922/stat : 27922 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602509867152 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27923] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27923/stat : 27923 (java) S 27906 27908 23987 0 -1 4202560 7922 0 0 0 137 2 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602508815288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27924] ppid=27906 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/27908/task/27924/stat : 27924 (java) S 27906 27908 23987 0 -1 4202560 7249 0 0 0 136 3 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602507762488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27925] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27925/stat : 27925 (java) S 27906 27908 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602506709880 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27926] ppid=27906 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/27908/task/27926/stat : 27926 (java) S 27906 27908 23987 0 -1 4202560 53 0 0 0 21 24 0 0 20 0 22 0 254349026 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602505657288 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27908/tid=27927] ppid=27906 vsize=9824668 CPUtime=861.73 cores=1,3,5,7
/proc/27908/task/27927/stat : 27927 (java) R 27906 27908 23987 0 -1 4202560 55 0 0 0 86158 15 0 0 20 0 22 0 254349844 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602504602064 140602550056124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27908/tid=27928] ppid=27906 vsize=9824668 CPUtime=861.78 cores=1,3,5,7
/proc/27908/task/27928/stat : 27928 (java) R 27906 27908 23987 0 -1 4202560 680 0 0 0 86158 20 0 0 20 0 22 0 254349844 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602503547504 140602549475266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27908/tid=27929] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27929/stat : 27929 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602502497192 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27908/tid=27930] ppid=27906 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27908/task/27930/stat : 27930 (java) S 27906 27908 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254349847 10060460032 836549 33554432000 1073741824 1073778376 140736516191392 140602501444392 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 928.162
CPU time (s): 1800.65
CPU user time (s): 1798.31
CPU system time (s): 2.34164
CPU usage (%): 194.002
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.34164
maximum resident set size= 3346316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26253
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25060
involuntary context switches= 25584
runsolver used 3.42248 second user time and 9.13261 second system time
The end