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-3736621-1338751928/watcher-3736621-1338751928 -o /tmp/evaluation-result-3736621-1338751928/solver-3736621-1338751928 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736621-1338751928.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.50 3.68 3.70 4/197 15212
/proc/meminfo: memFree=25880236/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/15212/stat : 15212 (java6) D 15210 15212 11909 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 341317121 278528 33 33554432000 1073741824 1073778376 140736434644288 140736434641464 254741146919 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15212/statm: 68 33 25 9 0 25 0
[startup+0.078804 s]
/proc/loadavg: 3.50 3.68 3.70 4/197 15212
/proc/meminfo: memFree=25880236/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 3849 0 1 0 4 1 0 0 20 0 18 0 341317121 2764726272 5568 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 674982 5568 1758 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100277 s]
/proc/loadavg: 3.50 3.68 3.70 4/197 15212
/proc/meminfo: memFree=25880236/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 4129 0 1 0 6 1 0 0 20 0 18 0 341317121 2764726272 5848 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 674982 5849 1932 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300176 s]
/proc/loadavg: 3.50 3.68 3.70 4/197 15212
/proc/meminfo: memFree=25880236/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 7936 0 1 0 59 2 0 0 20 0 22 0 341317121 3037372416 10615 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 741546 10615 2226 9 0 732240 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2966184
[startup+0.70026 s]
/proc/loadavg: 3.50 3.68 3.70 4/197 15212
/proc/meminfo: memFree=25880236/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2966184 CPUtime=1.98 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 18698 0 1 0 191 7 0 0 20 0 20 0 341317121 3037372416 30595 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 741546 30595 2245 9 0 732240 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2966184
[startup+1.50068 s]
/proc/loadavg: 3.50 3.68 3.70 2/217 15234
/proc/meminfo: memFree=25767200/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2966184 CPUtime=2.15 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 18712 0 1 0 208 7 0 0 20 0 20 0 341317121 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 741546 31483 2252 9 0 732240 0
[pid=15212/tid=15214] ppid=15210 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/15212/task/15214/stat : 15214 (java) S 15210 15212 11909 0 -1 4202560 2796 0 1 0 15 1 0 0 20 0 20 0 341317122 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196682810520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15215] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15215/stat : 15215 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196667091496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15216] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15216/stat : 15216 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196666038696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15217] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15217/stat : 15217 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196664985896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15212/tid=15218] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15218/stat : 15218 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196663933096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15219] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15219/stat : 15219 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196662881320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15220] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15220/stat : 15220 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196661828520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15221] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15221/stat : 15221 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196660775720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15222] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15222/stat : 15222 (java) S 15210 15212 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196659722920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15223] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15223/stat : 15223 (java) S 15210 15212 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341317125 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196529215976 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15224] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15224/stat : 15224 (java) S 15210 15212 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196528162040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15225] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15225/stat : 15225 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196527109128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15226] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15226/stat : 15226 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196526057616 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15227] ppid=15210 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/15212/task/15227/stat : 15227 (java) S 15210 15212 11909 0 -1 4202560 7172 0 0 0 58 2 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196525005752 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15228] ppid=15210 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/15212/task/15228/stat : 15228 (java) S 15210 15212 11909 0 -1 4202560 7402 0 0 0 57 1 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195651382072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15229] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15229/stat : 15229 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195650329464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15230] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15230/stat : 15230 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195649276872 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15233] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15233/stat : 15233 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195646116776 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15234] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15234/stat : 15234 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195645063976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90069 s]
/proc/loadavg: 3.50 3.68 3.70 2/217 15234
/proc/meminfo: memFree=25767200/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2966184 CPUtime=2.15 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 18712 0 1 0 208 7 0 0 20 0 20 0 341317121 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 741546 31483 2252 9 0 732240 0
[pid=15212/tid=15214] ppid=15210 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/15212/task/15214/stat : 15214 (java) S 15210 15212 11909 0 -1 4202560 2796 0 1 0 15 1 0 0 20 0 20 0 341317122 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196682810520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15215] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15215/stat : 15215 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196667091496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15216] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15216/stat : 15216 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196666038696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15217] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15217/stat : 15217 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196664985896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15212/tid=15218] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15218/stat : 15218 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196663933096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15219] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15219/stat : 15219 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196662881320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15220] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15220/stat : 15220 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196661828520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15221] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15221/stat : 15221 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196660775720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15222] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15222/stat : 15222 (java) S 15210 15212 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196659722920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15223] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15223/stat : 15223 (java) S 15210 15212 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341317125 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196529215976 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15224] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15224/stat : 15224 (java) S 15210 15212 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196528162040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15225] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15225/stat : 15225 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196527109128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15226] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15226/stat : 15226 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196526057616 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15227] ppid=15210 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/15212/task/15227/stat : 15227 (java) S 15210 15212 11909 0 -1 4202560 7172 0 0 0 58 2 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196525005752 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15228] ppid=15210 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/15212/task/15228/stat : 15228 (java) S 15210 15212 11909 0 -1 4202560 7402 0 0 0 57 1 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195651382072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15229] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15229/stat : 15229 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195650329464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15230] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15230/stat : 15230 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195649276872 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15233] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15233/stat : 15233 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195646116776 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15234] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15234/stat : 15234 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195645063976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 2966184
[startup+2.10073 s]
/proc/loadavg: 3.38 3.65 3.69 2/217 15236
/proc/meminfo: memFree=25758404/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2966184 CPUtime=2.15 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 18712 0 1 0 208 7 0 0 20 0 20 0 341317121 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 741546 31483 2252 9 0 732240 0
[pid=15212/tid=15214] ppid=15210 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/15212/task/15214/stat : 15214 (java) S 15210 15212 11909 0 -1 4202560 2796 0 1 0 15 1 0 0 20 0 20 0 341317122 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196682810520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15215] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15215/stat : 15215 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196667091496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15216] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15216/stat : 15216 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196666038696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15217] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15217/stat : 15217 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196664985896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15212/tid=15218] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15218/stat : 15218 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196663933096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15219] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15219/stat : 15219 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196662881320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15220] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15220/stat : 15220 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196661828520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15221] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15221/stat : 15221 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196660775720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15222] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15222/stat : 15222 (java) S 15210 15212 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196659722920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15223] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15223/stat : 15223 (java) S 15210 15212 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341317125 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196529215976 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15224] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15224/stat : 15224 (java) S 15210 15212 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196528162040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15225] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15225/stat : 15225 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196527109128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15226] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15226/stat : 15226 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196526057616 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15227] ppid=15210 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/15212/task/15227/stat : 15227 (java) S 15210 15212 11909 0 -1 4202560 7172 0 0 0 58 2 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196525005752 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15228] ppid=15210 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/15212/task/15228/stat : 15228 (java) S 15210 15212 11909 0 -1 4202560 7402 0 0 0 57 1 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195651382072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15229] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15229/stat : 15229 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195650329464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15230] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15230/stat : 15230 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195649276872 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15233] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15233/stat : 15233 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195646116776 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15234] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15234/stat : 15234 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195645063976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 2966184
[startup+2.2073 s]
/proc/loadavg: 3.38 3.65 3.69 2/217 15236
/proc/meminfo: memFree=25758404/32873844 swapFree=7628/7628
[pid=15212] ppid=15210 vsize=2966184 CPUtime=2.15 cores=1,3,5,7
/proc/15212/stat : 15212 (java) S 15210 15212 11909 0 -1 4202496 18712 0 1 0 208 7 0 0 20 0 20 0 341317121 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140733538163376 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15212/statm: 741546 31483 2252 9 0 732240 0
[pid=15212/tid=15214] ppid=15210 vsize=2966184 CPUtime=0.17 cores=1,3,5,7
/proc/15212/task/15214/stat : 15214 (java) R 15210 15212 11909 0 -1 4202560 2796 0 1 0 15 2 0 0 20 0 20 0 341317122 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196682810520 140196540681863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15215] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15215/stat : 15215 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196667091496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15216] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15216/stat : 15216 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196666038696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15217] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15217/stat : 15217 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196664985896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15212/tid=15218] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15218/stat : 15218 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196663933096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15219] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15219/stat : 15219 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196662881320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15220] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15220/stat : 15220 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196661828520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15221] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15221/stat : 15221 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196660775720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15222] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15222/stat : 15222 (java) S 15210 15212 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341317124 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196659722920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15223] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15223/stat : 15223 (java) S 15210 15212 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341317125 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196529215976 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15224] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15224/stat : 15224 (java) S 15210 15212 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196528162040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15225] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15225/stat : 15225 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317126 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196527109128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15226] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15226/stat : 15226 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196526057616 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15227] ppid=15210 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/15212/task/15227/stat : 15227 (java) R 15210 15212 11909 0 -1 4202560 7172 0 0 0 58 2 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140196525005752 140196688803088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15212/tid=15228] ppid=15210 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/15212/task/15228/stat : 15228 (java) S 15210 15212 11909 0 -1 4202560 7402 0 0 0 57 1 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195651382072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15229] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15229/stat : 15229 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195650329464 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15212/tid=15230] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15230/stat : 15230 (java) S 15210 15212 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341317128 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195649276872 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15233] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15233/stat : 15233 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195646116776 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15212/tid=15234] ppid=15210 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15212/task/15234/stat : 15234 (java) S 15210 15212 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341317142 3037372416 31483 33554432000 1073741824 1073778376 140733538172240 140195645063976 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.22212
CPU time (s): 2.19467
CPU user time (s): 2.08268
CPU system time (s): 0.111982
CPU usage (%): 98.7644
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.08268
system time used= 0.111982
maximum resident set size= 127988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18718
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 360
involuntary context switches= 44
runsolver used 0.011998 second user time and 0.020996 second system time
The end