runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4101722-1466215579/watcher-4101722-1466215579 -o /tmp/evaluation-result-4101722-1466215579/solver-4101722-1466215579 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16279 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101722-1466215579.opb
pid=19385
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: 4.20 4.19 4.18 5/197 19388
/proc/meminfo: memFree=25451216/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 23606541 98570240 978 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 24065 978 744 9 0 16771 0
[pid=19388/tid=19389] ppid=19385 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) R 19385 19388 16262 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 23606542 98570240 978 33554432000 1073741824 1073778376 140735127934368 140191356354088 270330054016 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 4.20 4.19 4.18 5/197 19388
/proc/meminfo: memFree=25451216/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 4553 0 1 0 10 1 0 0 20 0 18 0 23606541 9787879424 5670 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2389619 5670 2156 9 0 2380296 0
[pid=19388/tid=19389] ppid=19385 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) R 19385 19388 16262 0 -1 4202560 2441 0 1 0 7 0 0 0 20 0 18 0 23606542 9787879424 5670 33554432000 1073741824 1073778376 140735127934368 140191356357536 270333437197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200269 s]
/proc/loadavg: 4.20 4.19 4.18 5/197 19388
/proc/meminfo: memFree=25451216/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 6919 0 1 0 33 1 0 0 20 0 22 0 23606541 10060525568 8829 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 8829 2222 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2474 0 1 0 12 1 0 0 20 0 22 0 23606542 10060525568 8829 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 9824732
[startup+0.300274 s]
/proc/loadavg: 4.20 4.19 4.18 5/197 19388
/proc/meminfo: memFree=25451216/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 8364 0 1 0 73 2 0 0 20 0 22 0 23606541 10060525568 9503 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 9503 2236 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2474 0 1 0 12 1 0 0 20 0 22 0 23606542 10060525568 9503 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 9824732
[startup+0.700229 s]
/proc/loadavg: 4.20 4.19 4.18 5/197 19388
/proc/meminfo: memFree=25451216/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 13101 0 1 0 118 6 0 0 20 0 19 0 23606541 10060525568 15222 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 15222 2257 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2474 0 1 0 12 1 0 0 20 0 19 0 23606542 10060525568 15222 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9824732
[startup+1.50074 s]
/proc/loadavg: 4.20 4.19 4.18 4/216 19413
/proc/meminfo: memFree=25397800/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 15413 0 1 0 138 8 0 0 20 0 19 0 23606541 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 16297 2257 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2475 0 1 0 12 1 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19391] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19391/stat : 19391 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191295089192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19392] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19392/stat : 19392 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191294036392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19393] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19393/stat : 19393 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191292983592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19394] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19394/stat : 19394 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191291930792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19395] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19395/stat : 19395 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191290879016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19396] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19396/stat : 19396 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191194626984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19397] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19397/stat : 19397 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191193574184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19398] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19398/stat : 19398 (java) S 19385 19388 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23606542 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191192521384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19399] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19399/stat : 19399 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23606543 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191180323304 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19400] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19400/stat : 19400 (java) S 19385 19388 16262 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23606544 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191179269368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19401] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19401/stat : 19401 (java) S 19385 19388 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23606544 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191178216456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19402] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19402/stat : 19402 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606546 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191177164944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19403] ppid=19385 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19388/task/19403/stat : 19403 (java) S 19385 19388 16262 0 -1 4202560 4366 0 0 0 35 0 0 0 20 0 19 0 23606546 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191176113080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19404] ppid=19385 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/19388/task/19404/stat : 19404 (java) S 19385 19388 16262 0 -1 4202560 7199 0 0 0 44 1 0 0 20 0 19 0 23606546 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191175060280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19405] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19405/stat : 19405 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606546 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191174007672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19406] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19406/stat : 19406 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606546 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191172955080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19413] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19413/stat : 19413 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23606607 10060525568 16297 33554432000 1073741824 1073778376 140735127934368 140191168742824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824732
[startup+3.10084 s]
/proc/loadavg: 4.03 4.16 4.17 3/216 19422
/proc/meminfo: memFree=25383860/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 23844 0 1 0 293 13 0 0 20 0 22 0 23606541 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 47392 2284 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2476 0 1 0 12 2 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19391] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19391/stat : 19391 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191295089192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19392] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19392/stat : 19392 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191294036392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19393] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19393/stat : 19393 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191292983592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19394] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19394/stat : 19394 (java) S 19385 19388 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191291930792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19395] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19395/stat : 19395 (java) S 19385 19388 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191290879016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19396] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19396/stat : 19396 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191194626984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19397] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19397/stat : 19397 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191193574184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19398] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19398/stat : 19398 (java) S 19385 19388 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191192521384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19399] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19399/stat : 19399 (java) S 19385 19388 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23606543 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191180323304 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19400] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19400/stat : 19400 (java) S 19385 19388 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191179269368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19401] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19401/stat : 19401 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191178216456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19402] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19402/stat : 19402 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191177164944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19403] ppid=19385 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/19388/task/19403/stat : 19403 (java) R 19385 19388 16262 0 -1 4202560 12628 0 0 0 71 2 0 0 20 0 22 0 23606546 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191176090280 140191363333510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19404] ppid=19385 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/19388/task/19404/stat : 19404 (java) S 19385 19388 16262 0 -1 4202560 7262 0 0 0 74 1 0 0 20 0 22 0 23606546 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191175060280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19405] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19405/stat : 19405 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191174007672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19406] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19406/stat : 19406 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191172955080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19422] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19422/stat : 19422 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23606757 10060525568 47392 33554432000 1073741824 1073778376 140735127934368 140191171900712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.03 4.16 4.17 5/219 19425
/proc/meminfo: memFree=25115456/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=9.72 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 24760 0 1 0 951 21 0 0 20 0 22 0 23606541 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 111018 2284 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2476 0 1 0 12 2 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19391] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19391/stat : 19391 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191295089192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19392] ppid=19385 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19388/task/19392/stat : 19392 (java) S 19385 19388 16262 0 -1 4202560 152 0 0 0 1 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191294036392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19393] ppid=19385 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19388/task/19393/stat : 19393 (java) S 19385 19388 16262 0 -1 4202560 120 0 0 0 3 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191292983592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19394] ppid=19385 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19388/task/19394/stat : 19394 (java) S 19385 19388 16262 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191291930792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19395] ppid=19385 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19388/task/19395/stat : 19395 (java) S 19385 19388 16262 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191290879016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19396] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19396/stat : 19396 (java) S 19385 19388 16262 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191194626984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19397] ppid=19385 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19388/task/19397/stat : 19397 (java) S 19385 19388 16262 0 -1 4202560 146 0 0 0 3 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191193574184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19398] ppid=19385 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19388/task/19398/stat : 19398 (java) S 19385 19388 16262 0 -1 4202560 131 0 0 0 2 0 0 0 20 0 22 0 23606542 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191192521384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19399] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19399/stat : 19399 (java) S 19385 19388 16262 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 22 0 23606543 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191180323304 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19400] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19400/stat : 19400 (java) S 19385 19388 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191179269368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19401] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19401/stat : 19401 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191178216456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19402] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19402/stat : 19402 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191177164944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19403] ppid=19385 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/19388/task/19403/stat : 19403 (java) S 19385 19388 16262 0 -1 4202560 12671 0 0 0 83 2 0 0 20 0 22 0 23606546 10060525568 111018 33554432000 1073741824 1073778376 140735127934368 140191176113080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19404] ppid=19385 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
################
# More data... #
################
/proc/19388/statm: 2456183 433466 2293 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2480 0 1 0 15 3 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19391] ppid=19385 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/19388/task/19391/stat : 19391 (java) S 19385 19388 16262 0 -1 4202560 268 0 0 0 145 10 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191295089192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19392] ppid=19385 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19388/task/19392/stat : 19392 (java) S 19385 19388 16262 0 -1 4202560 511 0 0 0 154 12 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191294036392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19393] ppid=19385 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/19388/task/19393/stat : 19393 (java) S 19385 19388 16262 0 -1 4202560 355 0 0 0 150 12 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191292983592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19394] ppid=19385 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/19388/task/19394/stat : 19394 (java) S 19385 19388 16262 0 -1 4202560 321 0 0 0 154 10 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191291930792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19395] ppid=19385 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/19388/task/19395/stat : 19395 (java) S 19385 19388 16262 0 -1 4202560 303 0 0 0 145 11 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191290879016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19396] ppid=19385 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/19388/task/19396/stat : 19396 (java) S 19385 19388 16262 0 -1 4202560 364 0 0 0 147 11 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191194626984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19397] ppid=19385 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/19388/task/19397/stat : 19397 (java) S 19385 19388 16262 0 -1 4202560 454 0 0 0 146 12 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191193574184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19398] ppid=19385 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19388/task/19398/stat : 19398 (java) S 19385 19388 16262 0 -1 4202560 522 0 0 0 156 12 0 0 20 0 19 0 23606542 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191192521384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19399] ppid=19385 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/19388/task/19399/stat : 19399 (java) S 19385 19388 16262 0 -1 4202560 1751 0 0 0 161 29 0 0 20 0 19 0 23606543 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191180323304 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19400] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19400/stat : 19400 (java) S 19385 19388 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23606544 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191179269368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19401] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19401/stat : 19401 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23606544 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191178216456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19402] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19402/stat : 19402 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606546 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191177164944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19403] ppid=19385 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/19388/task/19403/stat : 19403 (java) S 19385 19388 16262 0 -1 4202560 12671 0 0 0 83 2 0 0 20 0 19 0 23606546 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191176113080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19404] ppid=19385 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/19388/task/19404/stat : 19404 (java) S 19385 19388 16262 0 -1 4202560 7272 0 0 0 87 1 0 0 20 0 19 0 23606546 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191175060280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19405] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19405/stat : 19405 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23606546 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191174007672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19406] ppid=19385 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/19388/task/19406/stat : 19406 (java) S 19385 19388 16262 0 -1 4202560 51 0 0 0 10 19 0 0 20 0 19 0 23606546 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191172955080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19425] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19425/stat : 19425 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23606808 10060525568 433466 33554432000 1073741824 1073778376 140735127934368 140191169794984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1737.38
Current children cumulated vsize (KiB) 9824732
#
############
[startup+882.308 s]
/proc/loadavg: 4.16 4.20 4.18 5/220 19527
/proc/meminfo: memFree=24077584/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=1759.72 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 30285 0 1 0 175757 215 0 0 20 0 22 0 23606541 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 423486 2293 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2480 0 1 0 17 3 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19391] ppid=19385 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/19388/task/19391/stat : 19391 (java) S 19385 19388 16262 0 -1 4202560 269 0 0 0 147 10 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191295089192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19392] ppid=19385 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/19388/task/19392/stat : 19392 (java) S 19385 19388 16262 0 -1 4202560 512 0 0 0 156 12 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191294036392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19393] ppid=19385 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/19388/task/19393/stat : 19393 (java) S 19385 19388 16262 0 -1 4202560 357 0 0 0 152 12 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191292983592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19394] ppid=19385 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/19388/task/19394/stat : 19394 (java) S 19385 19388 16262 0 -1 4202560 322 0 0 0 157 10 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191291930792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19395] ppid=19385 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/19388/task/19395/stat : 19395 (java) S 19385 19388 16262 0 -1 4202560 303 0 0 0 146 11 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191290879016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19396] ppid=19385 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/19388/task/19396/stat : 19396 (java) S 19385 19388 16262 0 -1 4202560 364 0 0 0 149 11 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191194626984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19397] ppid=19385 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/19388/task/19397/stat : 19397 (java) S 19385 19388 16262 0 -1 4202560 454 0 0 0 149 12 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191193574184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19398] ppid=19385 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/19388/task/19398/stat : 19398 (java) S 19385 19388 16262 0 -1 4202560 522 0 0 0 157 12 0 0 20 0 22 0 23606542 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191192521384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19399] ppid=19385 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/19388/task/19399/stat : 19399 (java) S 19385 19388 16262 0 -1 4202560 1751 0 0 0 161 30 0 0 20 0 22 0 23606543 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191180323304 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19400] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19400/stat : 19400 (java) S 19385 19388 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191179269368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19401] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19401/stat : 19401 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191178216456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19402] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19402/stat : 19402 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191177164944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19403] ppid=19385 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/19388/task/19403/stat : 19403 (java) S 19385 19388 16262 0 -1 4202560 12671 0 0 0 83 2 0 0 20 0 22 0 23606546 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191176113080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19404] ppid=19385 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/19388/task/19404/stat : 19404 (java) S 19385 19388 16262 0 -1 4202560 7272 0 0 0 87 1 0 0 20 0 22 0 23606546 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191175060280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19405] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19405/stat : 19405 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191174007672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19406] ppid=19385 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/19388/task/19406/stat : 19406 (java) S 19385 19388 16262 0 -1 4202560 51 0 0 0 10 20 0 0 20 0 22 0 23606546 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191172955080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19425] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19425/stat : 19425 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23606808 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191169794984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19525] ppid=19385 vsize=9824732 CPUtime=11.03 cores=1,3,5,7
/proc/19388/task/19525/stat : 19525 (java) R 19385 19388 16262 0 -1 4202560 5 0 0 0 1103 0 0 0 20 0 22 0 23693657 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191168732832 140191296615339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19526] ppid=19385 vsize=9824732 CPUtime=11.03 cores=1,3,5,7
/proc/19388/task/19526/stat : 19526 (java) R 19385 19388 16262 0 -1 4202560 8 0 0 0 1103 0 0 0 20 0 22 0 23693657 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191170846736 140191296640880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19527] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19527/stat : 19527 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23693663 10060525568 423486 33554432000 1073741824 1073778376 140735127934368 140191171900968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1759.72
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.401 s]
/proc/loadavg: 4.12 4.19 4.18 6/219 19528
/proc/meminfo: memFree=24094888/32872528 swapFree=1556504/1720024
[pid=19388] ppid=19385 vsize=9824732 CPUtime=1796.01 cores=1,3,5,7
/proc/19388/stat : 19388 (java) S 19385 19388 16262 0 -1 4202496 30316 0 1 0 179383 218 0 0 20 0 22 0 23606541 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140735127925504 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19388/statm: 2456183 419216 2293 9 0 2446860 0
[pid=19388/tid=19389] ppid=19385 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/19388/task/19389/stat : 19389 (java) S 19385 19388 16262 0 -1 4202560 2480 0 1 0 17 3 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191356359544 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19391] ppid=19385 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/19388/task/19391/stat : 19391 (java) S 19385 19388 16262 0 -1 4202560 275 0 0 0 150 11 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191295089192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19392] ppid=19385 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19388/task/19392/stat : 19392 (java) S 19385 19388 16262 0 -1 4202560 514 0 0 0 159 12 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191294036392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19393] ppid=19385 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/19388/task/19393/stat : 19393 (java) S 19385 19388 16262 0 -1 4202560 360 0 0 0 155 12 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191292983592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19394] ppid=19385 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/19388/task/19394/stat : 19394 (java) S 19385 19388 16262 0 -1 4202560 325 0 0 0 162 10 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191291930792 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19395] ppid=19385 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/19388/task/19395/stat : 19395 (java) S 19385 19388 16262 0 -1 4202560 306 0 0 0 149 12 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191290879016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19396] ppid=19385 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/19388/task/19396/stat : 19396 (java) S 19385 19388 16262 0 -1 4202560 367 0 0 0 152 11 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191194626984 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19397] ppid=19385 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/19388/task/19397/stat : 19397 (java) S 19385 19388 16262 0 -1 4202560 456 0 0 0 152 12 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191193574184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19398] ppid=19385 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/19388/task/19398/stat : 19398 (java) S 19385 19388 16262 0 -1 4202560 525 0 0 0 159 12 0 0 20 0 22 0 23606542 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191192521384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19399] ppid=19385 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/19388/task/19399/stat : 19399 (java) S 19385 19388 16262 0 -1 4202560 1751 0 0 0 161 30 0 0 20 0 22 0 23606543 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191180323304 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19400] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19400/stat : 19400 (java) S 19385 19388 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191179269368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19401] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19401/stat : 19401 (java) S 19385 19388 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23606544 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191178216456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19402] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19402/stat : 19402 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191177164944 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19403] ppid=19385 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/19388/task/19403/stat : 19403 (java) S 19385 19388 16262 0 -1 4202560 12671 0 0 0 83 2 0 0 20 0 22 0 23606546 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191176113080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19404] ppid=19385 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/19388/task/19404/stat : 19404 (java) S 19385 19388 16262 0 -1 4202560 7272 0 0 0 87 1 0 0 20 0 22 0 23606546 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191175060280 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19388/tid=19405] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19405/stat : 19405 (java) S 19385 19388 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23606546 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191174007672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19388/tid=19406] ppid=19385 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/19388/task/19406/stat : 19406 (java) S 19385 19388 16262 0 -1 4202560 51 0 0 0 10 20 0 0 20 0 22 0 23606546 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191172955080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19425] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19425/stat : 19425 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23606808 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191169794984 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19525] ppid=19385 vsize=9824732 CPUtime=29 cores=1,3,5,7
/proc/19388/task/19525/stat : 19525 (java) R 19385 19388 16262 0 -1 4202560 8 0 0 0 2900 0 0 0 20 0 22 0 23693657 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191168732832 140191296586648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19388/tid=19526] ppid=19385 vsize=9824732 CPUtime=29 cores=1,3,5,7
/proc/19388/task/19526/stat : 19526 (java) R 19385 19388 16262 0 -1 4202560 11 0 0 0 2900 0 0 0 20 0 22 0 23693657 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191170846720 140191296640941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19388/tid=19527] ppid=19385 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19388/task/19527/stat : 19527 (java) S 19385 19388 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23693663 10060525568 419216 33554432000 1073741824 1073778376 140735127934368 140191171900968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.01
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19388 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.05005
# lost CPU user time (s): 4.31006
# lost CPU system time (s): -0.26
Real time (s): 900.453
CPU time (s): 1800.3
CPU user time (s): 1798.16
CPU system time (s): 2.14163
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.85
system time used= 2.40163
maximum resident set size= 2885136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30359
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31655
involuntary context switches= 42643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87211 second user time and 7.19591 second system time
The end