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-3732455-1338740214/watcher-3732455-1338740214 -o /tmp/evaluation-result-3732455-1338740214/solver-3732455-1338740214 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732455-1338740214.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.27 3.43 3.46 3/194 29221
/proc/meminfo: memFree=26209856/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/29221/stat : 29221 (java) R 29219 29221 21196 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 340146918 23793664 714 33554432000 1073741824 1073778376 140734510076256 140734510065320 227503289704 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 5809 714 529 9 0 128 0
[startup+0.0697621 s]
/proc/loadavg: 3.27 3.43 3.46 3/194 29221
/proc/meminfo: memFree=26209856/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 340146918 2764726272 5615 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 674982 5615 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100183 s]
/proc/loadavg: 3.27 3.43 3.46 3/194 29221
/proc/meminfo: memFree=26209856/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 4861 0 1 0 10 1 0 0 20 0 18 0 340146918 2764726272 6540 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 674982 6540 2153 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300217 s]
/proc/loadavg: 3.27 3.43 3.46 3/194 29221
/proc/meminfo: memFree=26209856/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 6482 0 1 0 28 4 0 0 20 0 20 0 340146918 3037372416 9600 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 741546 9600 2214 9 0 732240 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 2966184
[startup+0.700183 s]
/proc/loadavg: 3.27 3.43 3.46 3/194 29221
/proc/meminfo: memFree=26209856/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 6482 0 1 0 28 4 0 0 20 0 20 0 340146918 3037372416 9600 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 741546 9600 2214 9 0 732240 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 2966184
[startup+1.50062 s]
/proc/loadavg: 3.08 3.39 3.45 3/214 29243
/proc/meminfo: memFree=26179888/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 6625 0 1 0 33 5 0 0 20 0 20 0 340146918 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 741546 10708 2224 9 0 732240 0
[pid=29221/tid=29223] ppid=29219 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/29221/task/29223/stat : 29223 (java) S 29219 29221 21196 0 -1 4202560 2785 0 1 0 12 1 0 0 20 0 20 0 340146919 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239484556440 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29224] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29224/stat : 29224 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239351249320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29225] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29225/stat : 29225 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239350196776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29226] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29226/stat : 29226 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239349143720 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29227] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29227/stat : 29227 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239348091176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29221/tid=29228] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29228/stat : 29228 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239347039144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29229] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29229/stat : 29229 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239345986600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29221/tid=29230] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29230/stat : 29230 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239344933544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29231] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29231/stat : 29231 (java) S 29219 29221 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239343881000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29232] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29232/stat : 29232 (java) S 29219 29221 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238861068648 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29233] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29233/stat : 29233 (java) S 29219 29221 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238860014968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29234] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29234/stat : 29234 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238858961800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29235] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29235/stat : 29235 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238857910544 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29236] ppid=29219 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/29221/task/29236/stat : 29236 (java) S 29219 29221 21196 0 -1 4202560 722 0 0 0 3 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238856858424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29237] ppid=29219 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/29221/task/29237/stat : 29237 (java) S 29219 29221 21196 0 -1 4202560 1819 0 0 0 6 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238855805880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29238] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29238/stat : 29238 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238854753016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29239] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29239/stat : 29239 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238853700680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29242] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29242/stat : 29242 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146935 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238850540328 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29243] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29243/stat : 29243 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146935 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238849487784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.90063 s]
/proc/loadavg: 3.08 3.39 3.45 3/214 29243
/proc/meminfo: memFree=26179888/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 6625 0 1 0 33 5 0 0 20 0 20 0 340146918 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 741546 10708 2224 9 0 732240 0
[pid=29221/tid=29223] ppid=29219 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/29221/task/29223/stat : 29223 (java) S 29219 29221 21196 0 -1 4202560 2785 0 1 0 12 1 0 0 20 0 20 0 340146919 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239484556440 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29224] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29224/stat : 29224 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239351249320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29225] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29225/stat : 29225 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239350196776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29226] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29226/stat : 29226 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239349143720 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29227] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29227/stat : 29227 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239348091176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29221/tid=29228] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29228/stat : 29228 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239347039144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29229] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29229/stat : 29229 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239345986600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29221/tid=29230] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29230/stat : 29230 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239344933544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29231] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29231/stat : 29231 (java) S 29219 29221 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239343881000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29232] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29232/stat : 29232 (java) S 29219 29221 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238861068648 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29233] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29233/stat : 29233 (java) S 29219 29221 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238860014968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29234] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29234/stat : 29234 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238858961800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29235] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29235/stat : 29235 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238857910544 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29236] ppid=29219 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/29221/task/29236/stat : 29236 (java) S 29219 29221 21196 0 -1 4202560 722 0 0 0 3 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238856858424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29237] ppid=29219 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/29221/task/29237/stat : 29237 (java) S 29219 29221 21196 0 -1 4202560 1819 0 0 0 6 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238855805880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29238] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29238/stat : 29238 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238854753016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29239] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29239/stat : 29239 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238853700680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29242] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29242/stat : 29242 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146935 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238850540328 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29243] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29243/stat : 29243 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146935 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238849487784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 2966184
[startup+2.10062 s]
/proc/loadavg: 3.08 3.39 3.45 3/214 29245
/proc/meminfo: memFree=26174996/32873624 swapFree=7112/7112
[pid=29221] ppid=29219 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/29221/stat : 29221 (java) S 29219 29221 21196 0 -1 4202496 6625 0 1 0 33 5 0 0 20 0 20 0 340146918 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140734510067392 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29221/statm: 741546 10708 2224 9 0 732240 0
[pid=29221/tid=29223] ppid=29219 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/29221/task/29223/stat : 29223 (java) S 29219 29221 21196 0 -1 4202560 2785 0 1 0 12 1 0 0 20 0 20 0 340146919 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239484556440 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29224] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29224/stat : 29224 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239351249320 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29225] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29225/stat : 29225 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239350196776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29226] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29226/stat : 29226 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239349143720 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29227] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29227/stat : 29227 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239348091176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29221/tid=29228] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29228/stat : 29228 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239347039144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29229] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29229/stat : 29229 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239345986600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29221/tid=29230] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29230/stat : 29230 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239344933544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29231] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29231/stat : 29231 (java) S 29219 29221 21196 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340146920 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140239343881000 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29232] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29232/stat : 29232 (java) S 29219 29221 21196 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238861068648 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29233] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29233/stat : 29233 (java) S 29219 29221 21196 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238860014968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29234] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29234/stat : 29234 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146921 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238858961800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29235] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29235/stat : 29235 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238857910544 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29236] ppid=29219 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/29221/task/29236/stat : 29236 (java) S 29219 29221 21196 0 -1 4202560 722 0 0 0 3 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238856858424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29221/tid=29237] ppid=29219 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/29221/task/29237/stat : 29237 (java) S 29219 29221 21196 0 -1 4202560 1819 0 0 0 6 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238855805880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29238] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29238/stat : 29238 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238854753016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29221/tid=29239] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29239/stat : 29239 (java) S 29219 29221 21196 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340146923 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238853700680 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29242] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29242/stat : 29242 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146935 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238850540328 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29221/tid=29243] ppid=29219 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/29221/task/29243/stat : 29243 (java) S 29219 29221 21196 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340146935 3037372416 10708 33554432000 1073741824 1073778376 140734510076256 140238849487784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 2.16276
CPU time (s): 0.38394
CPU user time (s): 0.310952
CPU system time (s): 0.072988
CPU usage (%): 17.7523
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.310952
system time used= 0.072988
maximum resident set size= 44892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6633
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= 292
involuntary context switches= 31
runsolver used 0.003999 second user time and 0.016997 second system time
The end