runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459090-1307133745/watcher-3459090-1307133745 -o /tmp/evaluation-result-3459090-1307133745/solver-3459090-1307133745 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459090-1307133745.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: 2.04 2.57 3.10 2/399 3311
/proc/meminfo: memFree=30113464/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 1166 0 0 0 0 0 0 0 17 0 2 0 824974283 26714112 896 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 6522 896 682 9 0 381 0
[pid=3311/tid=3313] ppid=3306 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 1928 0 1 0 0 0 0 0 18 0 2 0 824974284 13833195520 2743 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0533271 s]
/proc/loadavg: 2.04 2.57 3.10 2/399 3311
/proc/meminfo: memFree=30113464/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 13807 0 1 0 2 1 0 0 17 0 13 0 824974283 13874667520 13505 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3387370 13506 1675 9 0 3378118 0
[pid=3311/tid=3313] ppid=3306 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 12663 0 1 0 2 1 0 0 24 0 13 0 824974284 13874667520 13506 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 46912505219208 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.10032 s]
/proc/loadavg: 2.04 2.57 3.10 2/399 3311
/proc/meminfo: memFree=30113464/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13622092 CPUtime=0.09 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 15350 0 1 0 7 2 0 0 17 0 18 0 824974283 13949022208 15048 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3405523 15048 2082 9 0 3396257 0
[pid=3311/tid=3313] ppid=3306 vsize=13622092 CPUtime=0.07 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 13446 0 1 0 6 1 0 0 22 0 18 0 824974284 13949022208 15048 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622092
[startup+0.300287 s]
/proc/loadavg: 2.04 2.57 3.10 2/399 3311
/proc/meminfo: memFree=30113464/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13630140 CPUtime=0.52 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 19882 0 1 0 50 2 0 0 17 0 19 0 824974283 13957263360 18370 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3407535 18370 2207 9 0 3398269 0
[pid=3311/tid=3313] ppid=3306 vsize=13630140 CPUtime=0.27 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 14314 0 1 0 26 1 0 0 23 0 19 0 824974284 13957263360 18370 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 46912505183175 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13630140
[startup+0.700213 s]
/proc/loadavg: 2.04 2.57 3.10 2/399 3311
/proc/meminfo: memFree=30113464/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13630140 CPUtime=1.08 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 20403 0 1 0 106 2 0 0 17 0 19 0 824974283 13957263360 18829 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3407535 18829 2220 9 0 3398269 0
[pid=3311/tid=3313] ppid=3306 vsize=13630140 CPUtime=0.67 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 14704 0 1 0 66 1 0 0 25 0 19 0 824974284 13957263360 18829 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 46912505606840 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 13630140
[startup+1.5021 s]
/proc/loadavg: 2.04 2.57 3.10 5/437 3349
/proc/meminfo: memFree=29960108/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13630140 CPUtime=1.97 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 21705 0 1 0 194 3 0 0 17 0 19 0 824974283 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3407535 19906 2249 9 0 3398269 0
[pid=3311/tid=3313] ppid=3306 vsize=13630140 CPUtime=1.45 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) S 3306 3311 31595 0 -1 4202560 14761 0 1 0 144 1 0 0 25 0 19 0 824974284 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3324] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3324/stat : 3324 (java) S 3306 3311 31595 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3325] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3325/stat : 3325 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3326] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3326/stat : 3326 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3327] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3327/stat : 3327 (java) R 3306 3311 31595 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3311/tid=3328] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3328/stat : 3328 (java) R 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3311/tid=3329] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3329/stat : 3329 (java) R 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3311/tid=3330] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3330/stat : 3330 (java) S 3306 3311 31595 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3331] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3331/stat : 3331 (java) R 3306 3311 31595 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3311/tid=3333] ppid=3306 vsize=13630140 CPUtime=0.01 cores=1,3,5,7
/proc/3311/task/3333/stat : 3333 (java) S 3306 3311 31595 0 -1 4202560 303 0 0 0 1 0 0 0 16 0 19 0 824974287 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 0 0 16800975 18446604456720024640 0 0 -1 3 0 0 0
[pid=3311/tid=3335] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3335/stat : 3335 (java) S 3306 3311 31595 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 824974287 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3337] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3337/stat : 3337 (java) S 3306 3311 31595 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 19 0 824974287 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3340] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3340/stat : 3340 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 824974290 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290703281 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3341] ppid=3306 vsize=13630140 CPUtime=0.26 cores=1,3,5,7
/proc/3311/task/3341/stat : 3341 (java) S 3306 3311 31595 0 -1 4202560 1876 0 0 0 26 0 0 0 16 0 19 0 824974290 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3342] ppid=3306 vsize=13630140 CPUtime=0.21 cores=1,3,5,7
/proc/3311/task/3342/stat : 3342 (java) S 3306 3311 31595 0 -1 4202560 2907 0 0 0 21 0 0 0 15 0 19 0 824974290 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3345] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3345/stat : 3345 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 824974290 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3347] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3347/stat : 3347 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974290 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3348] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3348/stat : 3348 (java) S 3306 3311 31595 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 824974304 13957263360 19906 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13630140
Solver just ended. Dumping a history of the last processes samples
[startup+1.901 s]
/proc/loadavg: 2.04 2.57 3.10 5/437 3349
/proc/meminfo: memFree=29960108/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13630140 CPUtime=2.37 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 21959 0 1 0 234 3 0 0 17 0 19 0 824974283 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3407535 20160 2249 9 0 3398269 0
[pid=3311/tid=3313] ppid=3306 vsize=13630140 CPUtime=1.84 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 14761 0 1 0 183 1 0 0 25 0 19 0 824974284 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 46912505625984 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3311/tid=3324] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3324/stat : 3324 (java) S 3306 3311 31595 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3325] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3325/stat : 3325 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3326] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3326/stat : 3326 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3327] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3327/stat : 3327 (java) S 3306 3311 31595 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3328] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3328/stat : 3328 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3329] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3329/stat : 3329 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3330] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3330/stat : 3330 (java) S 3306 3311 31595 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3331] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3331/stat : 3331 (java) S 3306 3311 31595 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3333] ppid=3306 vsize=13630140 CPUtime=0.02 cores=1,3,5,7
/proc/3311/task/3333/stat : 3333 (java) S 3306 3311 31595 0 -1 4202560 557 0 0 0 2 0 0 0 16 0 19 0 824974287 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 0 0 16800975 18446604456720024640 0 0 -1 3 0 0 0
[pid=3311/tid=3335] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3335/stat : 3335 (java) S 3306 3311 31595 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 824974287 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3337] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3337/stat : 3337 (java) S 3306 3311 31595 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 19 0 824974287 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3340] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3340/stat : 3340 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290703281 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3341] ppid=3306 vsize=13630140 CPUtime=0.26 cores=1,3,5,7
/proc/3311/task/3341/stat : 3341 (java) S 3306 3311 31595 0 -1 4202560 1876 0 0 0 26 0 0 0 16 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3342] ppid=3306 vsize=13630140 CPUtime=0.21 cores=1,3,5,7
/proc/3311/task/3342/stat : 3342 (java) S 3306 3311 31595 0 -1 4202560 2907 0 0 0 21 0 0 0 15 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3345] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3345/stat : 3345 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3347] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3347/stat : 3347 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3348] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3348/stat : 3348 (java) S 3306 3311 31595 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 824974304 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13630140
[startup+2.10096 s]
/proc/loadavg: 2.04 2.56 3.09 3/437 3349
/proc/meminfo: memFree=29946348/32950904 swapFree=56615552/67111528
[pid=3311] ppid=3306 vsize=13630140 CPUtime=2.58 cores=1,3,5,7
/proc/3311/stat : 3311 (java) S 3306 3311 31595 0 -1 4202496 21959 0 1 0 255 3 0 0 17 0 19 0 824974283 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3311/statm: 3407535 20160 2249 9 0 3398269 0
[pid=3311/tid=3313] ppid=3306 vsize=13630140 CPUtime=2.05 cores=1,3,5,7
/proc/3311/task/3313/stat : 3313 (java) R 3306 3311 31595 0 -1 4202560 14761 0 1 0 204 1 0 0 25 0 19 0 824974284 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 46912505606812 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3311/tid=3324] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3324/stat : 3324 (java) S 3306 3311 31595 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3325] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3325/stat : 3325 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3326] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3326/stat : 3326 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3327] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3327/stat : 3327 (java) S 3306 3311 31595 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3328] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3328/stat : 3328 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3329] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3329/stat : 3329 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3330] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3330/stat : 3330 (java) S 3306 3311 31595 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3331] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3331/stat : 3331 (java) S 3306 3311 31595 0 -1 4202560 290 0 0 0 0 0 0 0 15 0 19 0 824974286 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3333] ppid=3306 vsize=13630140 CPUtime=0.02 cores=1,3,5,7
/proc/3311/task/3333/stat : 3333 (java) S 3306 3311 31595 0 -1 4202560 557 0 0 0 2 0 0 0 16 0 19 0 824974287 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 0 0 16800975 18446604456720024640 0 0 -1 3 0 0 0
[pid=3311/tid=3335] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3335/stat : 3335 (java) S 3306 3311 31595 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 824974287 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3337] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3337/stat : 3337 (java) S 3306 3311 31595 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 19 0 824974287 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3340] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3340/stat : 3340 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290703281 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3341] ppid=3306 vsize=13630140 CPUtime=0.26 cores=1,3,5,7
/proc/3311/task/3341/stat : 3341 (java) S 3306 3311 31595 0 -1 4202560 1876 0 0 0 26 0 0 0 16 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3342] ppid=3306 vsize=13630140 CPUtime=0.21 cores=1,3,5,7
/proc/3311/task/3342/stat : 3342 (java) S 3306 3311 31595 0 -1 4202560 2907 0 0 0 21 0 0 0 15 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3345] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3345/stat : 3345 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290695577 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
[pid=3311/tid=3347] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3347/stat : 3347 (java) S 3306 3311 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 824974290 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 4 0 16800975 18446604456720024640 0 0 -1 5 0 0 0
[pid=3311/tid=3348] ppid=3306 vsize=13630140 CPUtime=0 cores=1,3,5,7
/proc/3311/task/3348/stat : 3348 (java) S 3306 3311 31595 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 824974304 13957263360 20160 33554432000 1073741824 1073778376 140734767767568 18446744073709551615 237290696192 0 4 0 16800975 18446604456720024640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 13630140
Child status: 10
Real time (s): 2.15088
CPU time (s): 2.6316
CPU user time (s): 2.5966
CPU system time (s): 0.034994
CPU usage (%): 122.35
Max. virtual memory (cumulated for all children) (KiB): 13630140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.5966
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21990
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 565
involuntary context switches= 115
runsolver used 0.013997 second user time and 0.030995 second system time
The end