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-3735887-1338711193/watcher-3735887-1338711193 -o /tmp/evaluation-result-3735887-1338711193/solver-3735887-1338711193 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735887-1338711193.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: 1.95 1.99 1.99 3/196 13024
/proc/meminfo: memFree=28396016/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13024/stat : 13024 (java) D 13022 13024 6422 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 337244042 9515008 182 33554432000 1073741824 1073778376 140736993012592 140736993003624 215124623029 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/13024/statm: 2323 182 140 9 0 71 0
[startup+0.0437379 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 13024
/proc/meminfo: memFree=28396016/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=2490788 CPUtime=0.02 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 3840 0 1 0 2 0 0 0 20 0 11 0 337244042 2550566912 5051 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 622697 5052 1652 9 0 613398 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2490788
[startup+0.10032 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 13024
/proc/meminfo: memFree=28396016/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 4339 0 1 0 7 1 0 0 20 0 18 0 337244042 3028844544 6058 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 739464 6058 1950 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300281 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 13024
/proc/meminfo: memFree=28396016/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 6273 0 1 0 43 2 0 0 20 0 18 0 337244042 3028844544 9468 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 739464 9468 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856
[startup+0.700285 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 13024
/proc/meminfo: memFree=28396016/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 10990 0 1 0 142 3 0 0 20 0 19 0 337244042 3097006080 16318 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 16318 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420
[startup+1.50067 s]
/proc/loadavg: 1.95 1.99 1.99 3/215 13045
/proc/meminfo: memFree=28338816/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=2.32 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 10995 0 1 0 229 3 0 0 20 0 19 0 337244042 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 16322 2276 9 0 746526 0
[pid=13024/tid=13026] ppid=13022 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/13024/task/13026/stat : 13026 (java) R 13022 13024 6422 0 -1 4202560 3052 0 1 0 144 2 0 0 20 0 19 0 337244043 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864363958920 139864218147021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13027] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13027/stat : 13027 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864347384872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13028] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13028/stat : 13028 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864346332072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13029] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13029/stat : 13029 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864345279272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13030] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13030/stat : 13030 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864344226472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13031] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13031/stat : 13031 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864343173672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13032] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13032/stat : 13032 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864342120872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13033] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13033/stat : 13033 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864341068072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13034] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13034/stat : 13034 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864340015272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13035] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13035/stat : 13035 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337244046 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864210111464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13036] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13036/stat : 13036 (java) S 13022 13024 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864209057528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13037] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13037/stat : 13037 (java) S 13022 13024 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864208004616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13038] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13038/stat : 13038 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864206953104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3518 0 0 0 40 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3220 0 0 0 42 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13045] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13045/stat : 13045 (java) S 13022 13024 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337244099 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139863192991144 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 3024420
[startup+3.10066 s]
/proc/loadavg: 1.95 1.99 1.99 3/215 13045
/proc/meminfo: memFree=28338320/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=3.93 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 10996 0 1 0 389 4 0 0 20 0 19 0 337244042 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 16322 2276 9 0 746526 0
[pid=13024/tid=13026] ppid=13022 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/13024/task/13026/stat : 13026 (java) R 13022 13024 6422 0 -1 4202560 3053 0 1 0 304 2 0 0 20 0 19 0 337244043 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864363958712 139864218147044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13027] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13027/stat : 13027 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864347384872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13028] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13028/stat : 13028 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864346332072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13029] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13029/stat : 13029 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864345279272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13030] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13030/stat : 13030 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864344226472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13031] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13031/stat : 13031 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864343173672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13032] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13032/stat : 13032 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864342120872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13033] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13033/stat : 13033 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864341068072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13034] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13034/stat : 13034 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864340015272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13035] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13035/stat : 13035 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337244046 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864210111464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13036] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13036/stat : 13036 (java) S 13022 13024 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864209057528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13037] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13037/stat : 13037 (java) S 13022 13024 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864208004616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13038] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13038/stat : 13038 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864206953104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3518 0 0 0 41 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3220 0 0 0 42 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13045] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13045/stat : 13045 (java) S 13022 13024 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337244099 3097006080 16322 33554432000 1073741824 1073778376 140736237173408 139863192991144 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 3024420
[startup+6.30066 s]
/proc/loadavg: 1.95 1.99 1.99 3/215 13045
/proc/meminfo: memFree=28335900/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=7.15 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 11001 0 1 0 711 4 0 0 20 0 19 0 337244042 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 16783 2277 9 0 746526 0
[pid=13024/tid=13026] ppid=13022 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/13024/task/13026/stat : 13026 (java) R 13022 13024 6422 0 -1 4202560 3057 0 1 0 623 2 0 0 20 0 19 0 337244043 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864363956624 139864218262306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13027] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13027/stat : 13027 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864347384872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13028] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13028/stat : 13028 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864346332072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13029] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13029/stat : 13029 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864345279272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13030] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13030/stat : 13030 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864344226472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13031] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13031/stat : 13031 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864343173672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13032] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13032/stat : 13032 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864342120872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13033] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13033/stat : 13033 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864341068072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13034] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13034/stat : 13034 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337244045 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864340015272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13035] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13035/stat : 13035 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337244046 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864210111464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13036] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13036/stat : 13036 (java) S 13022 13024 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864209057528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13037] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13037/stat : 13037 (java) S 13022 13024 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864208004616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13038] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13038/stat : 13038 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864206953104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3518 0 0 0 42 0 0 0 20 0 19 0 337244049 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3220 0 0 0 43 0 0 0 20 0 19 0 337244049 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13045] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13045/stat : 13045 (java) S 13022 13024 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337244099 3097006080 16783 33554432000 1073741824 1073778376 140736237173408 139863192991144 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3519 0 0 0 43 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3221 0 0 0 46 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 96 0 0 0 55 31 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13056] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13056/stat : 13056 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337350336 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139863192991016 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.85
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/191 13088
/proc/meminfo: memFree=28389900/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=1724.86 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 12005 0 1 0 172383 103 0 0 20 0 19 0 337244042 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 196534 2290 9 0 746526 0
[pid=13024/tid=13026] ppid=13022 vsize=3024420 CPUtime=1717.46 cores=1,3,5,7
/proc/13024/task/13026/stat : 13026 (java) R 13022 13024 6422 0 -1 4202560 3245 0 1 0 171709 37 0 0 20 0 19 0 337244043 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864363956736 139864218120544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13027] ppid=13022 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/13024/task/13027/stat : 13027 (java) S 13022 13024 6422 0 -1 4202560 90 0 0 0 9 7 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864347384872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13028] ppid=13022 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/13024/task/13028/stat : 13028 (java) S 13022 13024 6422 0 -1 4202560 85 0 0 0 9 6 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864346332072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13029] ppid=13022 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/13024/task/13029/stat : 13029 (java) S 13022 13024 6422 0 -1 4202560 62 0 0 0 5 5 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864345279272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13030] ppid=13022 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/13024/task/13030/stat : 13030 (java) S 13022 13024 6422 0 -1 4202560 150 0 0 0 15 12 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864344226472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13031] ppid=13022 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/13024/task/13031/stat : 13031 (java) S 13022 13024 6422 0 -1 4202560 93 0 0 0 9 7 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864343173672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13032] ppid=13022 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/13024/task/13032/stat : 13032 (java) S 13022 13024 6422 0 -1 4202560 61 0 0 0 5 5 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864342120872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13033] ppid=13022 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/13024/task/13033/stat : 13033 (java) S 13022 13024 6422 0 -1 4202560 81 0 0 0 10 6 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864341068072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13034] ppid=13022 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/13024/task/13034/stat : 13034 (java) S 13022 13024 6422 0 -1 4202560 92 0 0 0 8 8 0 0 20 0 19 0 337244045 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864340015272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13035] ppid=13022 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/13024/task/13035/stat : 13035 (java) S 13022 13024 6422 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 337244046 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864210111464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13036] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13036/stat : 13036 (java) S 13022 13024 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864209057528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13037] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13037/stat : 13037 (java) S 13022 13024 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864208004616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13038] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13038/stat : 13038 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864206953104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3519 0 0 0 43 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3221 0 0 0 46 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0.9 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 100 0 0 0 58 32 0 0 20 0 19 0 337244049 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13056] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13056/stat : 13056 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337350336 3097006080 196534 33554432000 1073741824 1073778376 140736237173408 139863192991016 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.86
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 1.00 1.14 1.53 2/191 13088
/proc/meminfo: memFree=27955788/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=1786.38 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 13278 0 1 0 178477 161 0 0 20 0 19 0 337244042 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 305075 2290 9 0 746526 0
[pid=13024/tid=13026] ppid=13022 vsize=3024420 CPUtime=1776.81 cores=1,3,5,7
/proc/13024/task/13026/stat : 13026 (java) R 13022 13024 6422 0 -1 4202560 3246 0 1 0 177643 38 0 0 20 0 19 0 337244043 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864363957552 139864218243456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13027] ppid=13022 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/13024/task/13027/stat : 13027 (java) S 13022 13024 6422 0 -1 4202560 260 0 0 0 22 13 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864347384872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13028] ppid=13022 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/13024/task/13028/stat : 13028 (java) S 13022 13024 6422 0 -1 4202560 267 0 0 0 32 16 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864346332072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13029] ppid=13022 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/13024/task/13029/stat : 13029 (java) S 13022 13024 6422 0 -1 4202560 230 0 0 0 24 11 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864345279272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13030] ppid=13022 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/13024/task/13030/stat : 13030 (java) S 13022 13024 6422 0 -1 4202560 254 0 0 0 31 21 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864344226472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13031] ppid=13022 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/13024/task/13031/stat : 13031 (java) S 13022 13024 6422 0 -1 4202560 200 0 0 0 22 11 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864343173672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13032] ppid=13022 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/13024/task/13032/stat : 13032 (java) S 13022 13024 6422 0 -1 4202560 289 0 0 0 24 11 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864342120872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13033] ppid=13022 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/13024/task/13033/stat : 13033 (java) S 13022 13024 6422 0 -1 4202560 244 0 0 0 28 13 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864341068072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13034] ppid=13022 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/13024/task/13034/stat : 13034 (java) S 13022 13024 6422 0 -1 4202560 236 0 0 0 31 16 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864340015272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13035] ppid=13022 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/13024/task/13035/stat : 13035 (java) S 13022 13024 6422 0 -1 4202560 11 0 0 0 2 1 0 0 20 0 19 0 337244046 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864210111464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13036] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13036/stat : 13036 (java) S 13022 13024 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864209057528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13037] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13037/stat : 13037 (java) S 13022 13024 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864208004616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13038] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13038/stat : 13038 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864206953104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3519 0 0 0 43 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3221 0 0 0 46 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 104 0 0 0 60 35 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13056] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13056/stat : 13056 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337350336 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139863192991016 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 1.00 1.14 1.52 2/191 13088
/proc/meminfo: memFree=27955788/32873844 swapFree=7620/7620
[pid=13024] ppid=13022 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/13024/stat : 13024 (java) S 13022 13024 6422 0 -1 4202496 13278 0 1 0 179848 161 0 0 20 0 19 0 337244042 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 140736237164544 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13024/statm: 756105 305075 2290 9 0 746526 0
[pid=13024/tid=13026] ppid=13022 vsize=3024420 CPUtime=1790.48 cores=1,3,5,7
/proc/13024/task/13026/stat : 13026 (java) R 13022 13024 6422 0 -1 4202560 3246 0 1 0 179010 38 0 0 20 0 19 0 337244043 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864363957552 139864218212973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13027] ppid=13022 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/13024/task/13027/stat : 13027 (java) S 13022 13024 6422 0 -1 4202560 260 0 0 0 22 13 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864347384872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13028] ppid=13022 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/13024/task/13028/stat : 13028 (java) S 13022 13024 6422 0 -1 4202560 267 0 0 0 32 16 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864346332072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13029] ppid=13022 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/13024/task/13029/stat : 13029 (java) S 13022 13024 6422 0 -1 4202560 230 0 0 0 24 11 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864345279272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13030] ppid=13022 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/13024/task/13030/stat : 13030 (java) S 13022 13024 6422 0 -1 4202560 254 0 0 0 31 21 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864344226472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13031] ppid=13022 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/13024/task/13031/stat : 13031 (java) S 13022 13024 6422 0 -1 4202560 200 0 0 0 22 11 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864343173672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13032] ppid=13022 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/13024/task/13032/stat : 13032 (java) S 13022 13024 6422 0 -1 4202560 289 0 0 0 24 11 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864342120872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13033] ppid=13022 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/13024/task/13033/stat : 13033 (java) S 13022 13024 6422 0 -1 4202560 244 0 0 0 28 13 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864341068072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13034] ppid=13022 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/13024/task/13034/stat : 13034 (java) S 13022 13024 6422 0 -1 4202560 236 0 0 0 31 16 0 0 20 0 19 0 337244045 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864340015272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13035] ppid=13022 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/13024/task/13035/stat : 13035 (java) S 13022 13024 6422 0 -1 4202560 11 0 0 0 2 1 0 0 20 0 19 0 337244046 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864210111464 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13036] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13036/stat : 13036 (java) S 13022 13024 6422 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864209057528 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13037] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13037/stat : 13037 (java) S 13022 13024 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337244047 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864208004616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13038] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13038/stat : 13038 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864206953104 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13024/tid=13039] ppid=13022 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/13024/task/13039/stat : 13039 (java) S 13022 13024 6422 0 -1 4202560 3519 0 0 0 43 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864205900216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13024/tid=13040] ppid=13022 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/13024/task/13040/stat : 13040 (java) S 13022 13024 6422 0 -1 4202560 3221 0 0 0 46 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864204847416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13041] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13041/stat : 13041 (java) S 13022 13024 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864203794808 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13024/tid=13042] ppid=13022 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/13024/task/13042/stat : 13042 (java) S 13022 13024 6422 0 -1 4202560 104 0 0 0 60 35 0 0 20 0 19 0 337244049 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139864202742216 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13024/tid=13056] ppid=13022 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/13024/task/13056/stat : 13056 (java) S 13022 13024 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337350336 3097006080 305075 33554432000 1073741824 1073778376 140736237173408 139863192991016 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13024 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=920282
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=2695
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.05
CPU time (s): 1800.09
CPU user time (s): 1798.48
CPU system time (s): 1.61
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.0027
maximum resident set size= 1220412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13311
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38032
involuntary context switches= 7056
runsolver used 6.83096 second user time and 16.4935 second system time
The end