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-3734105-1338744398/watcher-3734105-1338744398 -o /tmp/evaluation-result-3734105-1338744398/solver-3734105-1338744398 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734105-1338744398.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.28 3.50 2.67 4/198 27206
/proc/meminfo: memFree=26490820/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/27206/stat : 27206 (java) R 27204 27206 25443 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 340565594 23793664 714 33554432000 1073741824 1073778376 140733569979056 140733569968120 270320842832 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 5809 715 529 9 0 128 0
[startup+0.10237 s]
/proc/loadavg: 3.28 3.50 2.67 4/198 27206
/proc/meminfo: memFree=26490820/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 4896 0 1 0 10 1 0 0 20 0 18 0 340565594 2764726272 6559 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 674982 6559 2153 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.200166 s]
/proc/loadavg: 3.28 3.50 2.67 4/198 27206
/proc/meminfo: memFree=26490820/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 6817 0 1 0 35 1 0 0 20 0 22 0 340565594 3037372416 9930 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 9930 2210 9 0 732240 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 2966184
[startup+0.300234 s]
/proc/loadavg: 3.28 3.50 2.67 4/198 27206
/proc/meminfo: memFree=26490820/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 9584 0 1 0 56 4 0 0 20 0 20 0 340565594 3037372416 11017 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 11017 2226 9 0 732240 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 2966184
[startup+0.700143 s]
/proc/loadavg: 3.28 3.50 2.67 4/198 27206
/proc/meminfo: memFree=26490820/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 9640 0 1 0 57 4 0 0 20 0 20 0 340565594 3037372416 10931 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 10931 2226 9 0 732240 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2966184
[startup+1.50058 s]
/proc/loadavg: 3.26 3.49 2.67 3/218 27228
/proc/meminfo: memFree=26454608/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 9650 0 1 0 57 4 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 11955 2226 9 0 732240 0
[pid=27206/tid=27208] ppid=27204 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27206/task/27208/stat : 27208 (java) S 27204 27206 25443 0 -1 4202560 2793 0 1 0 11 1 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950460372120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27209] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27209/stat : 27209 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950444652840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27210] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27210/stat : 27210 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950443600040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27211] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27211/stat : 27211 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950442547752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27212] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27212/stat : 27212 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950441494952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27213] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27213/stat : 27213 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950440442664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27214] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27214/stat : 27214 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950439389864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27215] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27215/stat : 27215 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950438337576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27216] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27216/stat : 27216 (java) S 27204 27206 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950437284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27217] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27217/stat : 27217 (java) S 27204 27206 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340565596 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950306793704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27218] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27218/stat : 27218 (java) S 27204 27206 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950305739768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27219] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27219/stat : 27219 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950304687368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27220] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27220/stat : 27220 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950303635856 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27221] ppid=27204 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/27206/task/27221/stat : 27221 (java) S 27204 27206 25443 0 -1 4202560 2779 0 0 0 13 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950302583480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27222] ppid=27204 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/27206/task/27222/stat : 27222 (java) S 27204 27206 25443 0 -1 4202560 2767 0 0 0 16 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949428959800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27223] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27223/stat : 27223 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949427907704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27224] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27224/stat : 27224 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949426855112 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27227] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27227/stat : 27227 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949423695016 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27228] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27228/stat : 27228 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949422642216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.60075 s]
/proc/loadavg: 3.26 3.49 2.67 3/218 27228
/proc/meminfo: memFree=26454608/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 9650 0 1 0 57 4 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 11955 2226 9 0 732240 0
[pid=27206/tid=27208] ppid=27204 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27206/task/27208/stat : 27208 (java) S 27204 27206 25443 0 -1 4202560 2793 0 1 0 11 1 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950460372120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27209] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27209/stat : 27209 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950444652840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27210] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27210/stat : 27210 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950443600040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27211] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27211/stat : 27211 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950442547752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27212] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27212/stat : 27212 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950441494952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27213] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27213/stat : 27213 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950440442664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27214] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27214/stat : 27214 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950439389864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27215] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27215/stat : 27215 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950438337576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27216] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27216/stat : 27216 (java) S 27204 27206 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950437284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27217] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27217/stat : 27217 (java) S 27204 27206 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340565596 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950306793704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27218] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27218/stat : 27218 (java) S 27204 27206 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950305739768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27219] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27219/stat : 27219 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950304687368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27220] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27220/stat : 27220 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950303635856 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27221] ppid=27204 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/27206/task/27221/stat : 27221 (java) S 27204 27206 25443 0 -1 4202560 2779 0 0 0 13 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950302583480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27222] ppid=27204 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/27206/task/27222/stat : 27222 (java) S 27204 27206 25443 0 -1 4202560 2767 0 0 0 16 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949428959800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27223] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27223/stat : 27223 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949427907704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27224] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27224/stat : 27224 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949426855112 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27227] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27227/stat : 27227 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949423695016 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27228] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27228/stat : 27228 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949422642216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2966184
[startup+2.00058 s]
/proc/loadavg: 3.26 3.49 2.67 3/218 27228
/proc/meminfo: memFree=26454608/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 9650 0 1 0 57 4 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 11955 2226 9 0 732240 0
[pid=27206/tid=27208] ppid=27204 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27206/task/27208/stat : 27208 (java) S 27204 27206 25443 0 -1 4202560 2793 0 1 0 11 1 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950460372120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27209] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27209/stat : 27209 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950444652840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27210] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27210/stat : 27210 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950443600040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27211] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27211/stat : 27211 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950442547752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27212] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27212/stat : 27212 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950441494952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27213] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27213/stat : 27213 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950440442664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27214] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27214/stat : 27214 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950439389864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27215] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27215/stat : 27215 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950438337576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27216] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27216/stat : 27216 (java) S 27204 27206 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950437284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27217] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27217/stat : 27217 (java) S 27204 27206 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340565596 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950306793704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27218] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27218/stat : 27218 (java) S 27204 27206 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950305739768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27219] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27219/stat : 27219 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950304687368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27220] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27220/stat : 27220 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950303635856 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27221] ppid=27204 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/27206/task/27221/stat : 27221 (java) S 27204 27206 25443 0 -1 4202560 2779 0 0 0 13 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950302583480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27222] ppid=27204 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/27206/task/27222/stat : 27222 (java) S 27204 27206 25443 0 -1 4202560 2767 0 0 0 16 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949428959800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27223] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27223/stat : 27223 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949427907704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27224] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27224/stat : 27224 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949426855112 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27227] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27227/stat : 27227 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949423695016 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27228] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27228/stat : 27228 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949422642216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2966184
[startup+2.10058 s]
/proc/loadavg: 3.26 3.49 2.67 3/218 27228
/proc/meminfo: memFree=26454608/32873660 swapFree=7120/7120
[pid=27206] ppid=27204 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/27206/stat : 27206 (java) S 27204 27206 25443 0 -1 4202496 9650 0 1 0 57 4 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 140733569970192 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27206/statm: 741546 11955 2226 9 0 732240 0
[pid=27206/tid=27208] ppid=27204 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27206/task/27208/stat : 27208 (java) S 27204 27206 25443 0 -1 4202560 2793 0 1 0 11 1 0 0 20 0 20 0 340565594 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950460372120 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27209] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27209/stat : 27209 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950444652840 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27210] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27210/stat : 27210 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950443600040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27211] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27211/stat : 27211 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950442547752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27212] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27212/stat : 27212 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950441494952 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27213] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27213/stat : 27213 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950440442664 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27214] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27214/stat : 27214 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950439389864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27215] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27215/stat : 27215 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950438337576 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27216] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27216/stat : 27216 (java) S 27204 27206 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340565595 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950437284776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27217] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27217/stat : 27217 (java) S 27204 27206 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340565596 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950306793704 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27218] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27218/stat : 27218 (java) S 27204 27206 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950305739768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27219] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27219/stat : 27219 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565597 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950304687368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27220] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27220/stat : 27220 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950303635856 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27221] ppid=27204 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/27206/task/27221/stat : 27221 (java) S 27204 27206 25443 0 -1 4202560 2779 0 0 0 13 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139950302583480 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27206/tid=27222] ppid=27204 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/27206/task/27222/stat : 27222 (java) S 27204 27206 25443 0 -1 4202560 2767 0 0 0 16 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949428959800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27223] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27223/stat : 27223 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949427907704 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27206/tid=27224] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27224/stat : 27224 (java) S 27204 27206 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340565599 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949426855112 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27206/tid=27227] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27227/stat : 27227 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949423695016 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27206/tid=27228] ppid=27204 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27206/task/27228/stat : 27228 (java) S 27204 27206 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340565609 3037372416 11955 33554432000 1073741824 1073778376 140733569979056 139949422642216 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.15147
CPU time (s): 0.632903
CPU user time (s): 0.571913
CPU system time (s): 0.06099
CPU usage (%): 29.4172
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.571913
system time used= 0.06099
maximum resident set size= 49904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9664
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= 269
involuntary context switches= 22
runsolver used 0.005999 second user time and 0.025996 second system time
The end