runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454285-1307192851/watcher-3454285-1307192851 -o /tmp/evaluation-result-3454285-1307192851/solver-3454285-1307192851 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454285-1307192851.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: 0.97 1.11 1.86 2/450 27174
/proc/meminfo: memFree=31787688/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 4041 0 1 0 0 0 0 0 21 0 2 0 830882955 10694979584 3744 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2611079 3756 917 9 0 2602235 0
[pid=27174/tid=27175] ppid=27172 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) R 27172 27174 23433 0 -1 4202560 4384 0 1 0 0 0 0 0 22 0 2 0 830882956 10694979584 5200 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0936651 s]
/proc/loadavg: 0.97 1.11 1.86 2/450 27174
/proc/meminfo: memFree=31787688/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10539668 CPUtime=0.09 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 12959 0 1 0 8 1 0 0 21 0 18 0 830882955 10792620032 12623 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2634917 12623 2091 9 0 2625651 0
[pid=27174/tid=27175] ppid=27172 vsize=10539668 CPUtime=0.07 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) R 27172 27174 23433 0 -1 4202560 11014 0 1 0 6 1 0 0 25 0 18 0 830882956 10792620032 12623 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562364363 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539668
[startup+0.10029 s]
/proc/loadavg: 0.97 1.11 1.86 2/450 27174
/proc/meminfo: memFree=31787688/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10539668 CPUtime=0.1 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 13045 0 1 0 9 1 0 0 21 0 18 0 830882955 10792620032 12709 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2634917 12709 2092 9 0 2625651 0
[pid=27174/tid=27175] ppid=27172 vsize=10539668 CPUtime=0.08 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) R 27172 27174 23433 0 -1 4202560 11099 0 1 0 7 1 0 0 25 0 18 0 830882956 10792620032 12709 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539668
[startup+0.317539 s]
/proc/loadavg: 0.97 1.11 1.86 2/450 27174
/proc/meminfo: memFree=31787688/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10540716 CPUtime=0.52 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 16950 0 1 0 50 2 0 0 21 0 18 0 830882955 10793693184 16055 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2635179 16056 2201 9 0 2625913 0
[pid=27174/tid=27175] ppid=27172 vsize=10540716 CPUtime=0.3 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) R 27172 27174 23433 0 -1 4202560 13717 0 1 0 28 2 0 0 25 0 18 0 830882956 10793693184 16056 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505618226 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10540716
[startup+0.700217 s]
/proc/loadavg: 0.97 1.11 1.86 2/450 27174
/proc/meminfo: memFree=31787688/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10544496 CPUtime=1.18 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 57590 0 1 0 110 8 0 0 21 0 18 0 830882955 10797563904 54955 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2636124 54960 2213 9 0 2626858 0
[pid=27174/tid=27175] ppid=27172 vsize=10544496 CPUtime=0.67 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) R 27172 27174 23433 0 -1 4202560 50837 0 1 0 61 6 0 0 25 0 18 0 830882956 10797563904 54963 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505615508 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544496
[startup+1.50104 s]
/proc/loadavg: 0.97 1.11 1.86 3/488 27215
/proc/meminfo: memFree=31232060/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10548780 CPUtime=2.78 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 84548 0 1 0 267 11 0 0 21 0 22 0 830882955 10801950720 81874 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2637195 81874 2233 9 0 2627929 0
[pid=27174/tid=27175] ppid=27172 vsize=10548780 CPUtime=1.12 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) S 27172 27174 23433 0 -1 4202560 74034 0 1 0 103 9 0 0 25 0 22 0 830882956 10801950720 81874 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27177] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27177/stat : 27177 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830882958 10801950720 81874 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27178] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27178/stat : 27178 (java) S 27172 27174 23433 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 830882958 10801950720 81875 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27179] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27179/stat : 27179 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801950720 81876 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27180] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27180/stat : 27180 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27181] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27181/stat : 27181 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27182] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27182/stat : 27182 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27183] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27183/stat : 27183 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27184] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27184/stat : 27184 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27185] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27185/stat : 27185 (java) S 27172 27174 23433 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830882959 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 0 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27186] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27186/stat : 27186 (java) S 27172 27174 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830882959 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27187] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27187/stat : 27187 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830882959 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27188] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27188/stat : 27188 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562361265 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27189] ppid=27172 vsize=10548780 CPUtime=0.49 cores=1,3,5,7
/proc/27174/task/27189/stat : 27189 (java) S 27172 27174 23433 0 -1 4202560 2696 0 0 0 49 0 0 0 16 0 22 0 830882961 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27190] ppid=27172 vsize=10548780 CPUtime=0.46 cores=1,3,5,7
/proc/27174/task/27190/stat : 27190 (java) S 27172 27174 23433 0 -1 4202560 3071 0 0 0 46 0 0 0 16 0 22 0 830882961 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27191] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27191/stat : 27191 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27192] ppid=27172 vsize=10548780 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27192/stat : 27192 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830882961 10801950720 81877 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10548780
[startup+3.10074 s]
/proc/loadavg: 0.97 1.11 1.86 6/492 27219
/proc/meminfo: memFree=30905044/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10549508 CPUtime=6.29 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 95332 0 1 0 616 13 0 0 21 0 22 0 830882955 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2637377 92587 2235 9 0 2628111 0
[pid=27174/tid=27175] ppid=27172 vsize=10549508 CPUtime=1.12 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) S 27172 27174 23433 0 -1 4202560 74034 0 1 0 103 9 0 0 15 0 22 0 830882956 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27177] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27177/stat : 27177 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830882958 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27178] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27178/stat : 27178 (java) S 27172 27174 23433 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 830882958 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27179] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27179/stat : 27179 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27180] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27180/stat : 27180 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27181] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27181/stat : 27181 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27182] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27182/stat : 27182 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10802696192 92587 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27183] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27183/stat : 27183 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27184] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27184/stat : 27184 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27185] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27185/stat : 27185 (java) S 27172 27174 23433 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 830882959 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 0 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27186] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27186/stat : 27186 (java) S 27172 27174 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830882959 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27187] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27187/stat : 27187 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830882959 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27188] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27188/stat : 27188 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562361265 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27189] ppid=27172 vsize=10549508 CPUtime=0.65 cores=1,3,5,7
/proc/27174/task/27189/stat : 27189 (java) S 27172 27174 23433 0 -1 4202560 2786 0 0 0 65 0 0 0 15 0 22 0 830882961 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27190] ppid=27172 vsize=10549508 CPUtime=0.59 cores=1,3,5,7
/proc/27174/task/27190/stat : 27190 (java) S 27172 27174 23433 0 -1 4202560 3219 0 0 0 59 0 0 0 15 0 22 0 830882961 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27191] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27191/stat : 27191 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27192] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27192/stat : 27192 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830882961 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27216] ppid=27172 vsize=10549508 CPUtime=1.95 cores=1,3,5,7
/proc/27174/task/27216/stat : 27216 (java) R 27172 27174 23433 0 -1 4202560 1406 0 0 0 195 0 0 0 25 0 22 0 830883069 10802696192 92588 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505799396 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27174/tid=27217] ppid=27172 vsize=10549508 CPUtime=1.92 cores=1,3,5,7
/proc/27174/task/27217/stat : 27217 (java) R 27172 27174 23433 0 -1 4202560 12720 0 0 0 191 1 0 0 25 0 22 0 830883069 10802696192 92589 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505770074 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27174/tid=27218] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27218/stat : 27218 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883072 10802696192 92589 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27219] ppid=27172 vsize=10549508 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27219/stat : 27219 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883074 10802696192 92589 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10549508
[startup+6.30116 s]
/proc/loadavg: 1.21 1.16 1.87 5/496 27223
/proc/meminfo: memFree=30720384/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10548576 CPUtime=12.69 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 106840 0 1 0 1255 14 0 0 21 0 22 0 830882955 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2637144 103926 2235 9 0 2627878 0
[pid=27174/tid=27175] ppid=27172 vsize=10548576 CPUtime=1.12 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) S 27172 27174 23433 0 -1 4202560 74034 0 1 0 103 9 0 0 15 0 22 0 830882956 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27177] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27177/stat : 27177 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27178] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27178/stat : 27178 (java) S 27172 27174 23433 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27179] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27179/stat : 27179 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27180] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27180/stat : 27180 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27181] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27181/stat : 27181 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27182] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27182/stat : 27182 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27183] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27183/stat : 27183 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27184] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27184/stat : 27184 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882958 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27185] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27185/stat : 27185 (java) S 27172 27174 23433 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 830882959 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 0 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27186] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27186/stat : 27186 (java) S 27172 27174 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830882959 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27187] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27187/stat : 27187 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830882959 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27188] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27188/stat : 27188 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 103926 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562361265 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=24163748/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10548576 CPUtime=1646.27 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 994696 0 1 0 164514 113 0 0 21 0 22 0 830882955 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2637144 987787 2267 9 0 2627878 0
[pid=27174/tid=27175] ppid=27172 vsize=10548576 CPUtime=1.12 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) S 27172 27174 23433 0 -1 4202560 74036 0 1 0 103 9 0 0 15 0 22 0 830882956 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27177] ppid=27172 vsize=10548576 CPUtime=0.48 cores=1,3,5,7
/proc/27174/task/27177/stat : 27177 (java) S 27172 27174 23433 0 -1 4202560 21771 0 0 0 46 2 0 0 15 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27178] ppid=27172 vsize=10548576 CPUtime=0.42 cores=1,3,5,7
/proc/27174/task/27178/stat : 27178 (java) S 27172 27174 23433 0 -1 4202560 21080 0 0 0 40 2 0 0 15 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27179] ppid=27172 vsize=10548576 CPUtime=0.43 cores=1,3,5,7
/proc/27174/task/27179/stat : 27179 (java) S 27172 27174 23433 0 -1 4202560 21738 0 0 0 41 2 0 0 15 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27180] ppid=27172 vsize=10548576 CPUtime=0.34 cores=1,3,5,7
/proc/27174/task/27180/stat : 27180 (java) S 27172 27174 23433 0 -1 4202560 17776 0 0 0 32 2 0 0 16 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27181] ppid=27172 vsize=10548576 CPUtime=0.4 cores=1,3,5,7
/proc/27174/task/27181/stat : 27181 (java) S 27172 27174 23433 0 -1 4202560 13048 0 0 0 39 1 0 0 15 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27182] ppid=27172 vsize=10548576 CPUtime=0.42 cores=1,3,5,7
/proc/27174/task/27182/stat : 27182 (java) S 27172 27174 23433 0 -1 4202560 15601 0 0 0 40 2 0 0 16 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27183] ppid=27172 vsize=10548576 CPUtime=0.38 cores=1,3,5,7
/proc/27174/task/27183/stat : 27183 (java) S 27172 27174 23433 0 -1 4202560 18962 0 0 0 36 2 0 0 16 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27184] ppid=27172 vsize=10548576 CPUtime=0.45 cores=1,3,5,7
/proc/27174/task/27184/stat : 27184 (java) S 27172 27174 23433 0 -1 4202560 19750 0 0 0 43 2 0 0 16 0 22 0 830882958 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27185] ppid=27172 vsize=10548576 CPUtime=0.16 cores=1,3,5,7
/proc/27174/task/27185/stat : 27185 (java) S 27172 27174 23433 0 -1 4202560 75 0 0 0 14 2 0 0 15 0 22 0 830882959 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 0 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27186] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27186/stat : 27186 (java) S 27172 27174 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830882959 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27187] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27187/stat : 27187 (java) S 27172 27174 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830882959 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27188] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27188/stat : 27188 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562361265 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27189] ppid=27172 vsize=10548576 CPUtime=1.07 cores=1,3,5,7
/proc/27174/task/27189/stat : 27189 (java) S 27172 27174 23433 0 -1 4202560 5385 0 0 0 107 0 0 0 16 0 22 0 830882961 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27190] ppid=27172 vsize=10548576 CPUtime=0.77 cores=1,3,5,7
/proc/27174/task/27190/stat : 27190 (java) S 27172 27174 23433 0 -1 4202560 3235 0 0 0 77 0 0 0 16 0 22 0 830882961 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27191] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27191/stat : 27191 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27192] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27192/stat : 27192 (java) S 27172 27174 23433 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830882961 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27216] ppid=27172 vsize=10548576 CPUtime=819.84 cores=1,3,5,7
/proc/27174/task/27216/stat : 27216 (java) R 27172 27174 23433 0 -1 4202560 5555 0 0 0 81983 1 0 0 25 0 22 0 830883069 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505950080 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27174/tid=27217] ppid=27172 vsize=10548576 CPUtime=819.82 cores=1,3,5,7
/proc/27174/task/27217/stat : 27217 (java) R 27172 27174 23433 0 -1 4202560 755477 0 0 0 81905 77 0 0 25 0 22 0 830883069 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912506162099 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27174/tid=27218] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27218/stat : 27218 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883072 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27219] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27219/stat : 27219 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883074 10801741824 987787 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1646.27
Current children cumulated vsize (KiB) 10548576
[startup+882.301 s]
/proc/loadavg: 4.11 3.89 3.18 5/496 27247
/proc/meminfo: memFree=24129380/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10548576 CPUtime=1766.41 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 1003138 0 1 0 176526 115 0 0 21 0 22 0 830882955 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2637144 996154 2267 9 0 2627878 0
[pid=27174/tid=27175] ppid=27172 vsize=10548576 CPUtime=1.12 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) S 27172 27174 23433 0 -1 4202560 74036 0 1 0 103 9 0 0 15 0 22 0 830882956 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27177] ppid=27172 vsize=10548576 CPUtime=0.54 cores=1,3,5,7
/proc/27174/task/27177/stat : 27177 (java) S 27172 27174 23433 0 -1 4202560 23367 0 0 0 51 3 0 0 15 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27178] ppid=27172 vsize=10548576 CPUtime=0.47 cores=1,3,5,7
/proc/27174/task/27178/stat : 27178 (java) S 27172 27174 23433 0 -1 4202560 22387 0 0 0 44 3 0 0 15 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27179] ppid=27172 vsize=10548576 CPUtime=0.48 cores=1,3,5,7
/proc/27174/task/27179/stat : 27179 (java) S 27172 27174 23433 0 -1 4202560 23179 0 0 0 46 2 0 0 16 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27180] ppid=27172 vsize=10548576 CPUtime=0.37 cores=1,3,5,7
/proc/27174/task/27180/stat : 27180 (java) S 27172 27174 23433 0 -1 4202560 18104 0 0 0 35 2 0 0 15 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27181] ppid=27172 vsize=10548576 CPUtime=0.46 cores=1,3,5,7
/proc/27174/task/27181/stat : 27181 (java) S 27172 27174 23433 0 -1 4202560 14609 0 0 0 45 1 0 0 16 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27182] ppid=27172 vsize=10548576 CPUtime=0.47 cores=1,3,5,7
/proc/27174/task/27182/stat : 27182 (java) S 27172 27174 23433 0 -1 4202560 16053 0 0 0 44 3 0 0 16 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27183] ppid=27172 vsize=10548576 CPUtime=0.42 cores=1,3,5,7
/proc/27174/task/27183/stat : 27183 (java) S 27172 27174 23433 0 -1 4202560 20311 0 0 0 40 2 0 0 15 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27184] ppid=27172 vsize=10548576 CPUtime=0.48 cores=1,3,5,7
/proc/27174/task/27184/stat : 27184 (java) S 27172 27174 23433 0 -1 4202560 20133 0 0 0 46 2 0 0 16 0 22 0 830882958 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27185] ppid=27172 vsize=10548576 CPUtime=0.17 cores=1,3,5,7
/proc/27174/task/27185/stat : 27185 (java) S 27172 27174 23433 0 -1 4202560 77 0 0 0 15 2 0 0 15 0 22 0 830882959 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 0 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27186] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27186/stat : 27186 (java) S 27172 27174 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830882959 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27187] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27187/stat : 27187 (java) S 27172 27174 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830882959 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27188] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27188/stat : 27188 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562361265 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27189] ppid=27172 vsize=10548576 CPUtime=1.07 cores=1,3,5,7
/proc/27174/task/27189/stat : 27189 (java) S 27172 27174 23433 0 -1 4202560 5385 0 0 0 107 0 0 0 16 0 22 0 830882961 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27190] ppid=27172 vsize=10548576 CPUtime=0.77 cores=1,3,5,7
/proc/27174/task/27190/stat : 27190 (java) S 27172 27174 23433 0 -1 4202560 3235 0 0 0 77 0 0 0 16 0 22 0 830882961 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27191] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27191/stat : 27191 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27192] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27192/stat : 27192 (java) S 27172 27174 23433 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830882961 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27216] ppid=27172 vsize=10548576 CPUtime=879.73 cores=1,3,5,7
/proc/27174/task/27216/stat : 27216 (java) R 27172 27174 23433 0 -1 4202560 5570 0 0 0 87972 1 0 0 25 0 22 0 830883069 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505768419 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27174/tid=27217] ppid=27172 vsize=10548576 CPUtime=879.72 cores=1,3,5,7
/proc/27174/task/27217/stat : 27217 (java) R 27172 27174 23433 0 -1 4202560 755483 0 0 0 87895 77 0 0 25 0 22 0 830883069 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505776335 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27174/tid=27218] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27218/stat : 27218 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883072 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27219] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27219/stat : 27219 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883074 10801741824 996154 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1766.41
Current children cumulated vsize (KiB) 10548576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.101 s]
/proc/loadavg: 4.20 3.93 3.21 5/496 27247
/proc/meminfo: memFree=24118944/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=10548576 CPUtime=1800.08 cores=1,3,5,7
/proc/27174/stat : 27174 (java) S 27172 27174 23433 0 -1 4202496 1005681 0 1 0 179892 116 0 0 21 0 22 0 830882955 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 2637144 998666 2267 9 0 2627878 0
[pid=27174/tid=27175] ppid=27172 vsize=10548576 CPUtime=1.12 cores=1,3,5,7
/proc/27174/task/27175/stat : 27175 (java) S 27172 27174 23433 0 -1 4202560 74036 0 1 0 103 9 0 0 15 0 22 0 830882956 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27177] ppid=27172 vsize=10548576 CPUtime=0.54 cores=1,3,5,7
/proc/27174/task/27177/stat : 27177 (java) S 27172 27174 23433 0 -1 4202560 23465 0 0 0 51 3 0 0 15 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27178] ppid=27172 vsize=10548576 CPUtime=0.48 cores=1,3,5,7
/proc/27174/task/27178/stat : 27178 (java) S 27172 27174 23433 0 -1 4202560 22877 0 0 0 45 3 0 0 16 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27179] ppid=27172 vsize=10548576 CPUtime=0.51 cores=1,3,5,7
/proc/27174/task/27179/stat : 27179 (java) S 27172 27174 23433 0 -1 4202560 23454 0 0 0 48 3 0 0 16 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27180] ppid=27172 vsize=10548576 CPUtime=0.38 cores=1,3,5,7
/proc/27174/task/27180/stat : 27180 (java) S 27172 27174 23433 0 -1 4202560 18604 0 0 0 36 2 0 0 16 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27181] ppid=27172 vsize=10548576 CPUtime=0.47 cores=1,3,5,7
/proc/27174/task/27181/stat : 27181 (java) S 27172 27174 23433 0 -1 4202560 14667 0 0 0 46 1 0 0 15 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27182] ppid=27172 vsize=10548576 CPUtime=0.47 cores=1,3,5,7
/proc/27174/task/27182/stat : 27182 (java) S 27172 27174 23433 0 -1 4202560 16304 0 0 0 44 3 0 0 15 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27183] ppid=27172 vsize=10548576 CPUtime=0.43 cores=1,3,5,7
/proc/27174/task/27183/stat : 27183 (java) S 27172 27174 23433 0 -1 4202560 20715 0 0 0 41 2 0 0 15 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27184] ppid=27172 vsize=10548576 CPUtime=0.49 cores=1,3,5,7
/proc/27174/task/27184/stat : 27184 (java) S 27172 27174 23433 0 -1 4202560 20589 0 0 0 47 2 0 0 15 0 22 0 830882958 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27185] ppid=27172 vsize=10548576 CPUtime=0.17 cores=1,3,5,7
/proc/27174/task/27185/stat : 27185 (java) S 27172 27174 23433 0 -1 4202560 79 0 0 0 15 2 0 0 15 0 22 0 830882959 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 0 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27186] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27186/stat : 27186 (java) S 27172 27174 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830882959 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27187] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27187/stat : 27187 (java) S 27172 27174 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830882959 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27188] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27188/stat : 27188 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562361265 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27189] ppid=27172 vsize=10548576 CPUtime=1.07 cores=1,3,5,7
/proc/27174/task/27189/stat : 27189 (java) S 27172 27174 23433 0 -1 4202560 5385 0 0 0 107 0 0 0 16 0 22 0 830882961 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 5 0 0 0
[pid=27174/tid=27190] ppid=27172 vsize=10548576 CPUtime=0.77 cores=1,3,5,7
/proc/27174/task/27190/stat : 27190 (java) S 27172 27174 23433 0 -1 4202560 3235 0 0 0 77 0 0 0 16 0 22 0 830882961 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
[pid=27174/tid=27191] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27191/stat : 27191 (java) S 27172 27174 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830882961 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562353561 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27192] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27192/stat : 27192 (java) S 27172 27174 23433 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830882961 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 3 0 0 0
[pid=27174/tid=27216] ppid=27172 vsize=10548576 CPUtime=896.52 cores=1,3,5,7
/proc/27174/task/27216/stat : 27216 (java) R 27172 27174 23433 0 -1 4202560 5574 0 0 0 89651 1 0 0 25 0 22 0 830883069 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912506122014 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27174/tid=27217] ppid=27172 vsize=10548576 CPUtime=896.51 cores=1,3,5,7
/proc/27174/task/27217/stat : 27217 (java) R 27172 27174 23433 0 -1 4202560 755486 0 0 0 89573 78 0 0 25 0 22 0 830883069 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 46912505776971 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27174/tid=27218] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27218/stat : 27218 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883072 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 1 0 0 0
[pid=27174/tid=27219] ppid=27172 vsize=10548576 CPUtime=0 cores=1,3,5,7
/proc/27174/task/27219/stat : 27219 (java) S 27172 27174 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830883074 10801741824 998666 33554432000 1073741824 1073778376 140736056342144 18446744073709551615 271562354176 0 4 0 16800975 18446604456609244992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10548576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.224 s]
/proc/loadavg: 4.20 3.93 3.21 5/496 27247
/proc/meminfo: memFree=24118944/32951124 swapFree=55639044/67111528
[pid=27174] ppid=27172 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/27174/stat : 27174 (java) Z 27172 27174 23433 0 -1 4203548 1005709 0 1 0 179896 125 0 0 17 0 2 0 830882955 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27174/statm: 0 0 0 0 0 0 0
[pid=27174/tid=27218] ppid=27172 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/27174/task/27218/stat : 27218 (java) R 27172 27174 23433 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 830883072 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.279
CPU time (s): 1800.28
CPU user time (s): 1798.97
CPU system time (s): 1.3088
CPU usage (%): 200.191
Max. virtual memory (cumulated for all children) (KiB): 10549508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.3088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005709
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27590
involuntary context switches= 23670
runsolver used 4.17836 second user time and 9.74952 second system time
The end