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-3733137-1338741596/watcher-3733137-1338741596 -o /tmp/evaluation-result-3733137-1338741596/solver-3733137-1338741596 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733137-1338741596.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.67 3.73 3.64 4/195 29990
/proc/meminfo: memFree=25732524/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29990/stat : 29990 (java6) R 29988 29990 21196 0 -1 4202496 236 0 0 0 0 0 0 0 20 0 1 0 340285100 9515008 170 33554432000 1073741824 1073778376 140737034122480 140737034119608 227503280917 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29990/statm: 2323 176 133 9 0 71 0
[startup+0.0812151 s]
/proc/loadavg: 3.67 3.73 3.64 4/195 29990
/proc/meminfo: memFree=25732524/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 3953 0 1 0 5 1 0 0 20 0 18 0 340285100 2764726272 5160 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 674982 5160 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100184 s]
/proc/loadavg: 3.67 3.73 3.64 4/195 29990
/proc/meminfo: memFree=25732524/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 4781 0 1 0 8 1 0 0 20 0 18 0 340285100 2764726272 5973 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 674982 5974 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300213 s]
/proc/loadavg: 3.67 3.73 3.64 4/195 29990
/proc/meminfo: memFree=25732524/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2699928 CPUtime=0.46 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 5974 0 1 0 45 1 0 0 20 0 18 0 340285100 2764726272 8672 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 674982 8672 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928
[startup+0.700234 s]
/proc/loadavg: 3.67 3.73 3.64 4/195 29990
/proc/meminfo: memFree=25732524/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=1.32 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 13184 0 1 0 126 6 0 0 20 0 20 0 340285100 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 43265 2246 9 0 732240 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2966184
[startup+1.50068 s]
/proc/loadavg: 3.67 3.73 3.64 3/215 30012
/proc/meminfo: memFree=25568164/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=1.32 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 13184 0 1 0 126 6 0 0 20 0 20 0 340285100 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 43265 2246 9 0 732240 0
[pid=29990/tid=29992] ppid=29988 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/29990/task/29992/stat : 29992 (java) S 29988 29990 21196 0 -1 4202560 2913 0 1 0 59 3 0 0 20 0 20 0 340285101 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210683339928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=29993] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29993/stat : 29993 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210549549352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29994] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29994/stat : 29994 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210548496552 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29995] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29995/stat : 29995 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210547444264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29996] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29996/stat : 29996 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210546391464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=29997] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29997/stat : 29997 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210545339176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29998] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29998/stat : 29998 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210544286376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29999] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29999/stat : 29999 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210543234088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30000] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30000/stat : 30000 (java) S 29988 29990 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210542181288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30001] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30001/stat : 30001 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210529982696 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30002] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30002/stat : 30002 (java) S 29988 29990 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210528928760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30003] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30003/stat : 30003 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210527876360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30004] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30004/stat : 30004 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210526824848 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30005] ppid=29988 vsize=2966184 CPUtime=0.26 cores=1,3,5,7
/proc/29990/task/30005/stat : 30005 (java) S 29988 29990 21196 0 -1 4202560 3793 0 0 0 26 0 0 0 20 0 20 0 340285106 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210525772472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30006] ppid=29988 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/29990/task/30006/stat : 30006 (java) S 29988 29990 21196 0 -1 4202560 5233 0 0 0 32 0 0 0 20 0 20 0 340285106 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210524719672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30007] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30007/stat : 30007 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210523667576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30008] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30008/stat : 30008 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210522614984 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30011] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30011/stat : 30011 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285168 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210519454888 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30012] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30012/stat : 30012 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285168 3037372416 43265 33554432000 1073741824 1073778376 140734357051760 140210518402088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2966184
[startup+3.10066 s]
/proc/loadavg: 3.67 3.73 3.64 3/215 30014
/proc/meminfo: memFree=25545516/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=2.46 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 19907 0 1 0 235 11 0 0 20 0 20 0 340285100 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 50578 2258 9 0 732240 0
[pid=29990/tid=29992] ppid=29988 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/29990/task/29992/stat : 29992 (java) S 29988 29990 21196 0 -1 4202560 2914 0 1 0 60 3 0 0 20 0 20 0 340285101 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210683339928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29993] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29993/stat : 29993 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210549549352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29994] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29994/stat : 29994 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210548496552 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29995] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29995/stat : 29995 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210547444264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29996] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29996/stat : 29996 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210546391464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=29997] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29997/stat : 29997 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210545339176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29998] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29998/stat : 29998 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210544286376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29999] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29999/stat : 29999 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210543234088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30000] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30000/stat : 30000 (java) S 29988 29990 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210542181288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30001] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30001/stat : 30001 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210529982696 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30002] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30002/stat : 30002 (java) S 29988 29990 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210528928760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30003] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30003/stat : 30003 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210527876360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30004] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30004/stat : 30004 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210526824848 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30005] ppid=29988 vsize=2966184 CPUtime=0.75 cores=1,3,5,7
/proc/29990/task/30005/stat : 30005 (java) S 29988 29990 21196 0 -1 4202560 10128 0 0 0 73 2 0 0 20 0 20 0 340285106 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210525772472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30006] ppid=29988 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/29990/task/30006/stat : 30006 (java) S 29988 29990 21196 0 -1 4202560 5540 0 0 0 61 0 0 0 20 0 20 0 340285106 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210524719672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30007] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30007/stat : 30007 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210523667576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30008] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30008/stat : 30008 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210522614984 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30011] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30011/stat : 30011 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285168 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210519454888 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30012] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30012/stat : 30012 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285168 3037372416 50578 33554432000 1073741824 1073778376 140734357051760 140210518402088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 2966184
heavy processes:
[startup+6.30056 s]
/proc/loadavg: 3.53 3.70 3.63 3/216 30023
/proc/meminfo: memFree=25521236/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=3.2 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 19994 0 1 0 303 17 0 0 20 0 20 0 340285100 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 59200 2263 9 0 732240 0
[pid=29990/tid=29992] ppid=29988 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/29990/task/29992/stat : 29992 (java) S 29988 29990 21196 0 -1 4202560 2917 0 1 0 60 3 0 0 20 0 20 0 340285101 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210683339928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29993] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29993/stat : 29993 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210549549352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29994] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29994/stat : 29994 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210548496552 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29995] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29995/stat : 29995 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210547444264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29996] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29996/stat : 29996 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210546391464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=29997] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29997/stat : 29997 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210545339176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29998] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29998/stat : 29998 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210544286376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=29999] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/29999/stat : 29999 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210543234088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30000] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30000/stat : 30000 (java) S 29988 29990 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340285102 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210542181288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30001] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30001/stat : 30001 (java) S 29988 29990 21196 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210529982696 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30002] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30002/stat : 30002 (java) S 29988 29990 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210528928760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30003] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30003/stat : 30003 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340285103 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210527876360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30004] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30004/stat : 30004 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210526824848 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30005] ppid=29988 vsize=2966184 CPUtime=0.94 cores=1,3,5,7
/proc/29990/task/30005/stat : 30005 (java) S 29988 29990 21196 0 -1 4202560 10148 0 0 0 92 2 0 0 20 0 20 0 340285106 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210525772472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30006] ppid=29988 vsize=2966184 CPUtime=0.85 cores=1,3,5,7
/proc/29990/task/30006/stat : 30006 (java) S 29988 29990 21196 0 -1 4202560 5562 0 0 0 85 0 0 0 20 0 20 0 340285106 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210524719672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30007] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30007/stat : 30007 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210523667576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30008] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30008/stat : 30008 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340285106 3037372416 59200 33554432000 1073741824 1073778376 140734357051760 140210522614984 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30011] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 3.40 3.73 3.74 4/217 30111
/proc/meminfo: memFree=24360212/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=1800.07 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 28194 0 1 0 179853 154 0 0 20 0 22 0 340285100 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 361064 2288 9 0 732240 0
[pid=29990/tid=29992] ppid=29988 vsize=2966184 CPUtime=0.66 cores=1,3,5,7
/proc/29990/task/29992/stat : 29992 (java) S 29988 29990 21196 0 -1 4202560 3076 0 1 0 63 3 0 0 20 0 22 0 340285101 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210683339928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29993] ppid=29988 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/29990/task/29993/stat : 29993 (java) S 29988 29990 21196 0 -1 4202560 439 0 0 0 757 12 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210549549352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29994] ppid=29988 vsize=2966184 CPUtime=7.28 cores=1,3,5,7
/proc/29990/task/29994/stat : 29994 (java) S 29988 29990 21196 0 -1 4202560 394 0 0 0 720 8 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210548496552 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29995] ppid=29988 vsize=2966184 CPUtime=7.56 cores=1,3,5,7
/proc/29990/task/29995/stat : 29995 (java) S 29988 29990 21196 0 -1 4202560 424 0 0 0 746 10 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210547444264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29996] ppid=29988 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/29990/task/29996/stat : 29996 (java) S 29988 29990 21196 0 -1 4202560 436 0 0 0 757 12 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210546391464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29997] ppid=29988 vsize=2966184 CPUtime=7.27 cores=1,3,5,7
/proc/29990/task/29997/stat : 29997 (java) S 29988 29990 21196 0 -1 4202560 421 0 0 0 716 11 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210545339176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29998] ppid=29988 vsize=2966184 CPUtime=7.48 cores=1,3,5,7
/proc/29990/task/29998/stat : 29998 (java) S 29988 29990 21196 0 -1 4202560 408 0 0 0 737 11 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210544286376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29999] ppid=29988 vsize=2966184 CPUtime=7.4 cores=1,3,5,7
/proc/29990/task/29999/stat : 29999 (java) S 29988 29990 21196 0 -1 4202560 401 0 0 0 731 9 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210543234088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30000] ppid=29988 vsize=2966184 CPUtime=7.56 cores=1,3,5,7
/proc/29990/task/30000/stat : 30000 (java) S 29988 29990 21196 0 -1 4202560 410 0 0 0 746 10 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210542181288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30001] ppid=29988 vsize=2966184 CPUtime=186.8 cores=1,3,5,7
/proc/29990/task/30001/stat : 30001 (java) R 29988 29990 21196 0 -1 4202560 223 0 0 0 18655 25 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210529982632 140210689462675 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30002] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30002/stat : 30002 (java) S 29988 29990 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210528928760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30003] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30003/stat : 30003 (java) S 29988 29990 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210527876360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30004] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30004/stat : 30004 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210526824848 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30005] ppid=29988 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/29990/task/30005/stat : 30005 (java) S 29988 29990 21196 0 -1 4202560 10177 0 0 0 125 2 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210525772472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30006] ppid=29988 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/29990/task/30006/stat : 30006 (java) S 29988 29990 21196 0 -1 4202560 9532 0 0 0 177 1 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210524719672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30007] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30007/stat : 30007 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210523667576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30008] ppid=29988 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/29990/task/30008/stat : 30008 (java) S 29988 29990 21196 0 -1 4202560 57 0 0 0 17 19 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210522614984 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30011] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30011/stat : 30011 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340285168 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210519454888 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30012] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30012/stat : 30012 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340285168 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210518402088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30030] ppid=29988 vsize=2966184 CPUtime=771.79 cores=1,3,5,7
/proc/29990/task/30030/stat : 30030 (java) S 29988 29990 21196 0 -1 4202560 161 0 0 0 77166 13 0 0 20 0 22 0 340285968 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210520506008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30031] ppid=29988 vsize=2966184 CPUtime=771.77 cores=1,3,5,7
/proc/29990/task/30031/stat : 30031 (java) S 29988 29990 21196 0 -1 4202560 229 0 0 0 77164 13 0 0 20 0 22 0 340285968 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210521557800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+986.201 s]
/proc/loadavg: 3.40 3.73 3.74 4/217 30111
/proc/meminfo: memFree=24360212/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=1800.66 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 28195 0 1 0 179912 154 0 0 20 0 22 0 340285100 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 361064 2288 9 0 732240 0
[pid=29990/tid=29992] ppid=29988 vsize=2966184 CPUtime=0.66 cores=1,3,5,7
/proc/29990/task/29992/stat : 29992 (java) S 29988 29990 21196 0 -1 4202560 3076 0 1 0 63 3 0 0 20 0 22 0 340285101 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210683339640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29993] ppid=29988 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/29990/task/29993/stat : 29993 (java) S 29988 29990 21196 0 -1 4202560 439 0 0 0 757 12 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210549549352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29994] ppid=29988 vsize=2966184 CPUtime=7.28 cores=1,3,5,7
/proc/29990/task/29994/stat : 29994 (java) S 29988 29990 21196 0 -1 4202560 394 0 0 0 720 8 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210548496552 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29995] ppid=29988 vsize=2966184 CPUtime=7.56 cores=1,3,5,7
/proc/29990/task/29995/stat : 29995 (java) S 29988 29990 21196 0 -1 4202560 424 0 0 0 746 10 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210547444264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29996] ppid=29988 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/29990/task/29996/stat : 29996 (java) S 29988 29990 21196 0 -1 4202560 436 0 0 0 757 12 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210546391464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29997] ppid=29988 vsize=2966184 CPUtime=7.27 cores=1,3,5,7
/proc/29990/task/29997/stat : 29997 (java) S 29988 29990 21196 0 -1 4202560 421 0 0 0 716 11 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210545339176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29998] ppid=29988 vsize=2966184 CPUtime=7.48 cores=1,3,5,7
/proc/29990/task/29998/stat : 29998 (java) S 29988 29990 21196 0 -1 4202560 408 0 0 0 737 11 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210544286376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29999] ppid=29988 vsize=2966184 CPUtime=7.4 cores=1,3,5,7
/proc/29990/task/29999/stat : 29999 (java) S 29988 29990 21196 0 -1 4202560 401 0 0 0 731 9 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210543234088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30000] ppid=29988 vsize=2966184 CPUtime=7.56 cores=1,3,5,7
/proc/29990/task/30000/stat : 30000 (java) S 29988 29990 21196 0 -1 4202560 410 0 0 0 746 10 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210542181288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30001] ppid=29988 vsize=2966184 CPUtime=187.39 cores=1,3,5,7
/proc/29990/task/30001/stat : 30001 (java) R 29988 29990 21196 0 -1 4202560 223 0 0 0 18714 25 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210529982512 140210690193476 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30002] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30002/stat : 30002 (java) S 29988 29990 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210528928760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30003] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30003/stat : 30003 (java) S 29988 29990 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210527876360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30004] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30004/stat : 30004 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210526824392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30005] ppid=29988 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/29990/task/30005/stat : 30005 (java) S 29988 29990 21196 0 -1 4202560 10177 0 0 0 125 2 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210525772472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30006] ppid=29988 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/29990/task/30006/stat : 30006 (java) S 29988 29990 21196 0 -1 4202560 9532 0 0 0 177 1 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210524719672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30007] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30007/stat : 30007 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210523667576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30008] ppid=29988 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/29990/task/30008/stat : 30008 (java) S 29988 29990 21196 0 -1 4202560 57 0 0 0 17 19 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210522614984 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30011] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30011/stat : 30011 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340285168 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210519454888 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30012] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30012/stat : 30012 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340285168 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210518402088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30030] ppid=29988 vsize=2966184 CPUtime=771.79 cores=1,3,5,7
/proc/29990/task/30030/stat : 30030 (java) S 29988 29990 21196 0 -1 4202560 161 0 0 0 77166 13 0 0 20 0 22 0 340285968 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210520506008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30031] ppid=29988 vsize=2966184 CPUtime=771.77 cores=1,3,5,7
/proc/29990/task/30031/stat : 30031 (java) S 29988 29990 21196 0 -1 4202560 229 0 0 0 77164 13 0 0 20 0 22 0 340285968 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210521557800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 2966184
[startup+986.601 s]
/proc/loadavg: 3.40 3.73 3.74 4/218 30112
/proc/meminfo: memFree=24360204/32873624 swapFree=7112/7112
[pid=29990] ppid=29988 vsize=2966184 CPUtime=1801.06 cores=1,3,5,7
/proc/29990/stat : 29990 (java) S 29988 29990 21196 0 -1 4202496 28195 0 1 0 179952 154 0 0 20 0 22 0 340285100 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140734357042896 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29990/statm: 741546 361064 2288 9 0 732240 0
[pid=29990/tid=29992] ppid=29988 vsize=2966184 CPUtime=0.66 cores=1,3,5,7
/proc/29990/task/29992/stat : 29992 (java) S 29988 29990 21196 0 -1 4202560 3076 0 1 0 63 3 0 0 20 0 22 0 340285101 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210683339640 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29993] ppid=29988 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/29990/task/29993/stat : 29993 (java) S 29988 29990 21196 0 -1 4202560 439 0 0 0 757 12 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210549549352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29994] ppid=29988 vsize=2966184 CPUtime=7.28 cores=1,3,5,7
/proc/29990/task/29994/stat : 29994 (java) S 29988 29990 21196 0 -1 4202560 394 0 0 0 720 8 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210548496552 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29995] ppid=29988 vsize=2966184 CPUtime=7.56 cores=1,3,5,7
/proc/29990/task/29995/stat : 29995 (java) S 29988 29990 21196 0 -1 4202560 424 0 0 0 746 10 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210547444264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29996] ppid=29988 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/29990/task/29996/stat : 29996 (java) S 29988 29990 21196 0 -1 4202560 436 0 0 0 757 12 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210546391464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29997] ppid=29988 vsize=2966184 CPUtime=7.27 cores=1,3,5,7
/proc/29990/task/29997/stat : 29997 (java) S 29988 29990 21196 0 -1 4202560 421 0 0 0 716 11 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210545339176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=29998] ppid=29988 vsize=2966184 CPUtime=7.48 cores=1,3,5,7
/proc/29990/task/29998/stat : 29998 (java) S 29988 29990 21196 0 -1 4202560 408 0 0 0 737 11 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210544286376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=29999] ppid=29988 vsize=2966184 CPUtime=7.4 cores=1,3,5,7
/proc/29990/task/29999/stat : 29999 (java) S 29988 29990 21196 0 -1 4202560 401 0 0 0 731 9 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210543234088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30000] ppid=29988 vsize=2966184 CPUtime=7.56 cores=1,3,5,7
/proc/29990/task/30000/stat : 30000 (java) S 29988 29990 21196 0 -1 4202560 410 0 0 0 746 10 0 0 20 0 22 0 340285102 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210542181288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30001] ppid=29988 vsize=2966184 CPUtime=187.79 cores=1,3,5,7
/proc/29990/task/30001/stat : 30001 (java) R 29988 29990 21196 0 -1 4202560 223 0 0 0 18754 25 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210529982512 140210686611118 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30002] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30002/stat : 30002 (java) S 29988 29990 21196 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210528928760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30003] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30003/stat : 30003 (java) S 29988 29990 21196 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340285103 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210527876360 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30004] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30004/stat : 30004 (java) S 29988 29990 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210526824392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30005] ppid=29988 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/29990/task/30005/stat : 30005 (java) S 29988 29990 21196 0 -1 4202560 10177 0 0 0 125 2 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210525772472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29990/tid=30006] ppid=29988 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/29990/task/30006/stat : 30006 (java) S 29988 29990 21196 0 -1 4202560 9532 0 0 0 177 1 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210524719672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29990/tid=30007] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30007/stat : 30007 (java) S 29988 29990 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210523667576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30008] ppid=29988 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/29990/task/30008/stat : 30008 (java) S 29988 29990 21196 0 -1 4202560 57 0 0 0 17 19 0 0 20 0 22 0 340285106 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210522614984 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30011] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30011/stat : 30011 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340285168 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210519454888 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30012] ppid=29988 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29990/task/30012/stat : 30012 (java) S 29988 29990 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340285168 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210518402088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29990/tid=30030] ppid=29988 vsize=2966184 CPUtime=771.79 cores=1,3,5,7
/proc/29990/task/30030/stat : 30030 (java) S 29988 29990 21196 0 -1 4202560 161 0 0 0 77166 13 0 0 20 0 22 0 340285968 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210520506008 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29990/tid=30031] ppid=29988 vsize=2966184 CPUtime=771.77 cores=1,3,5,7
/proc/29990/task/30031/stat : 30031 (java) S 29988 29990 21196 0 -1 4202560 229 0 0 0 77164 13 0 0 20 0 22 0 340285968 3037372416 361064 33554432000 1073741824 1073778376 140734357051760 140210521557800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29990 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=159094
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=911709
# CPU time returned by wait4() is 1797.07
# while last known CPU time is 1801.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 986.657
CPU time (s): 1801.06
CPU user time (s): 1799.52
CPU system time (s): 1.54
CPU usage (%): 182.542
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 1.91171
maximum resident set size= 1444376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28227
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32741
involuntary context switches= 89103
runsolver used 3.50147 second user time and 9.14361 second system time
The end