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-3687630-1337872860/watcher-3687630-1337872860 -o /tmp/evaluation-result-3687630-1337872860/solver-3687630-1337872860 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687630-1337872860.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.51 3.40 2.25 4/198 25370
/proc/meminfo: memFree=28494052/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (java) D 25368 25370 24583 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 253411396 2560000 46 33554432000 1073741824 1073778376 140735793105120 140735793102248 270698376487 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25370/statm: 625 46 37 9 0 29 0
[startup+0.0628911 s]
/proc/loadavg: 3.51 3.40 2.25 4/198 25370
/proc/meminfo: memFree=28494052/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 3097 0 1 0 2 1 0 0 20 0 13 0 253411396 9446973440 3796 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2306390 3796 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100192 s]
/proc/loadavg: 3.51 3.40 2.25 4/198 25370
/proc/meminfo: memFree=28494052/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 4228 0 1 0 7 1 0 0 20 0 18 0 253411396 9787813888 5428 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2389603 5428 2093 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300164 s]
/proc/loadavg: 3.51 3.40 2.25 4/198 25370
/proc/meminfo: memFree=28494052/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 5499 0 1 0 43 2 0 0 20 0 18 0 253411396 9787813888 8316 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2389603 8316 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412
[startup+0.700171 s]
/proc/loadavg: 3.51 3.40 2.25 4/198 25370
/proc/meminfo: memFree=28494052/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 13365 0 1 0 82 5 0 0 20 0 19 0 253411396 10060460032 15218 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 15218 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 9824668
[startup+1.50062 s]
/proc/loadavg: 3.51 3.40 2.25 3/217 25395
/proc/meminfo: memFree=28436152/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=1.85 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 15256 0 1 0 177 8 0 0 20 0 22 0 253411396 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 19127 2252 9 0 2446860 0
[pid=25370/tid=25372] ppid=25368 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/25370/task/25372/stat : 25372 (java) S 25368 25370 24583 0 -1 4202560 2507 0 1 0 30 2 0 0 20 0 22 0 253411397 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428994581496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25373] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25373/stat : 25373 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428838644520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25374] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25374/stat : 25374 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428837591720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25375] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25375/stat : 25375 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428836539432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25376] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25376/stat : 25376 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428835486632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25377] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25377/stat : 25377 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428834433320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25378] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25378/stat : 25378 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428833380520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25379] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25379/stat : 25379 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428832328232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25380] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25380/stat : 25380 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428831275432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25381] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25381/stat : 25381 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428818864872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25382] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25382/stat : 25382 (java) S 25368 25370 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428817810936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25383] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25383/stat : 25383 (java) S 25368 25370 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428816758536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25384] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25384/stat : 25384 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428815707024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25385] ppid=25368 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/25370/task/25385/stat : 25385 (java) R 25368 25370 24583 0 -1 4202560 3517 0 0 0 37 1 0 0 20 0 22 0 253411403 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428814653624 140428998670342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25386] ppid=25368 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/25370/task/25386/stat : 25386 (java) R 25368 25370 24583 0 -1 4202560 7851 0 0 0 52 2 0 0 20 0 22 0 253411403 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428813600824 140428998208596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25387] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25387/stat : 25387 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428812548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25388] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25388/stat : 25388 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428811496136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25395] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25395/stat : 25395 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411482 10060460032 19127 33554432000 1073741824 1073778376 140736610688304 140428806759592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824668
[startup+3.10064 s]
/proc/loadavg: 3.51 3.40 2.25 5/219 25401
/proc/meminfo: memFree=28396132/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=4.97 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 17831 0 1 0 484 13 0 0 20 0 22 0 253411396 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 38548 2259 9 0 2446860 0
[pid=25370/tid=25372] ppid=25368 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/25370/task/25372/stat : 25372 (java) S 25368 25370 24583 0 -1 4202560 2508 0 1 0 31 2 0 0 20 0 22 0 253411397 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428994581496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25373] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25373/stat : 25373 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428838644520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25374] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25374/stat : 25374 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428837591720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25375] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25375/stat : 25375 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428836539432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25376] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25376/stat : 25376 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428835486632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25377] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25377/stat : 25377 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428834433320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25378] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25378/stat : 25378 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428833380520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25379] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25379/stat : 25379 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428832328232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25380] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25380/stat : 25380 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253411399 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428831275432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25381] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25381/stat : 25381 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428818864872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25382] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25382/stat : 25382 (java) S 25368 25370 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428817810936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25383] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25383/stat : 25383 (java) S 25368 25370 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428816758536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25384] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25384/stat : 25384 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428815707024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25385] ppid=25368 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/25370/task/25385/stat : 25385 (java) S 25368 25370 24583 0 -1 4202560 6036 0 0 0 56 2 0 0 20 0 22 0 253411403 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428814653624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25386] ppid=25368 vsize=9824668 CPUtime=0.78 cores=1,3,5,7
/proc/25370/task/25386/stat : 25386 (java) S 25368 25370 24583 0 -1 4202560 7851 0 0 0 76 2 0 0 20 0 22 0 253411403 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428813600824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25387] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25387/stat : 25387 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428812548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25388] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25388/stat : 25388 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428811496136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25398] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25398/stat : 25398 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411532 10060460032 38548 33554432000 1073741824 1073778376 140736610688304 140428807812392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 9824668
[startup+6.30071 s]
/proc/loadavg: 3.55 3.41 2.25 9/219 25410
/proc/meminfo: memFree=28248344/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=11.18 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 18753 0 1 0 1093 25 0 0 20 0 22 0 253411396 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 71064 2284 9 0 2446860 0
[pid=25370/tid=25372] ppid=25368 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/25370/task/25372/stat : 25372 (java) S 25368 25370 24583 0 -1 4202560 2508 0 1 0 31 2 0 0 20 0 22 0 253411397 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428994581496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25373] ppid=25368 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25370/task/25373/stat : 25373 (java) S 25368 25370 24583 0 -1 4202560 98 0 0 0 2 1 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428838644520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25374] ppid=25368 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25370/task/25374/stat : 25374 (java) S 25368 25370 24583 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428837591720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25375] ppid=25368 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25370/task/25375/stat : 25375 (java) S 25368 25370 24583 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428836539432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25376] ppid=25368 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25370/task/25376/stat : 25376 (java) S 25368 25370 24583 0 -1 4202560 65 0 0 0 1 1 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428835486632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25377] ppid=25368 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25370/task/25377/stat : 25377 (java) S 25368 25370 24583 0 -1 4202560 307 0 0 0 1 2 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428834433320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25378] ppid=25368 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25370/task/25378/stat : 25378 (java) S 25368 25370 24583 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428833380520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25379] ppid=25368 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25370/task/25379/stat : 25379 (java) S 25368 25370 24583 0 -1 4202560 37 0 0 0 1 0 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428832328232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25380] ppid=25368 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25370/task/25380/stat : 25380 (java) S 25368 25370 24583 0 -1 4202560 77 0 0 0 2 0 0 0 20 0 22 0 253411399 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428831275432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25381] ppid=25368 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/25370/task/25381/stat : 25381 (java) S 25368 25370 24583 0 -1 4202560 111 0 0 0 10 2 0 0 20 0 22 0 253411400 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428818864872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25382] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25382/stat : 25382 (java) S 25368 25370 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428817810936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25383] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25383/stat : 25383 (java) S 25368 25370 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428816758536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25384] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25384/stat : 25384 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428815707024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25385] ppid=25368 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/25370/task/25385/stat : 25385 (java) S 25368 25370 24583 0 -1 4202560 6193 0 0 0 70 2 0 0 20 0 22 0 253411403 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428814653624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25386] ppid=25368 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/25370/task/25386/stat : 25386 (java) S 25368 25370 24583 0 -1 4202560 7852 0 0 0 81 2 0 0 20 0 22 0 253411403 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428813600824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25387] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25387/stat : 25387 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428812548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25388] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25388/stat : 25388 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428811496136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25398] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25398/stat : 25398 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411532 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428807812392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25408] ppid=25368 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/25370/task/25408/stat : 25408 (java) R 25368 25370 24583 0 -1 4202560 6 0 0 0 77 0 0 0 20 0 22 0 253411935 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428809388856 140428867716246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25409] ppid=25368 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/25370/task/25409/stat : 25409 (java) R 25368 25370 24583 0 -1 4202560 3 0 0 0 77 0 0 0 20 0 22 0 253411935 10060460032 71064 33554432000 1073741824 1073778376 140736610688304 140428806756664 140428868264533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=25370/tid=25634] ppid=25368 vsize=9824668 CPUtime=125.15 cores=1,3,5,7
/proc/25370/task/25634/stat : 25634 (java) R 25368 25370 24583 0 -1 4202560 12 0 0 0 12514 1 0 0 20 0 22 0 253480116 10060460032 738313 33554432000 1073741824 1073778376 140736610688304 140428809386816 140428867912704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25635] ppid=25368 vsize=9824668 CPUtime=125.13 cores=1,3,5,7
/proc/25370/task/25635/stat : 25635 (java) R 25368 25370 24583 0 -1 4202560 10 0 0 0 12512 1 0 0 20 0 22 0 253480116 10060460032 738313 33554432000 1073741824 1073778376 140736610688304 140428806758352 140428868264565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25636] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25636/stat : 25636 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253480116 10060460032 738313 33554432000 1073741824 1073778376 140736610688304 140428810442280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.11 3.32 2.96 5/219 25643
/proc/meminfo: memFree=24448008/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=1648.21 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 33872 0 1 0 164597 224 0 0 20 0 22 0 253411396 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 759559 2286 9 0 2446860 0
[pid=25370/tid=25372] ppid=25368 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25370/task/25372/stat : 25372 (java) S 25368 25370 24583 0 -1 4202560 2611 0 1 0 37 3 0 0 20 0 22 0 253411397 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428994581496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25373] ppid=25368 vsize=9824668 CPUtime=5.41 cores=1,3,5,7
/proc/25370/task/25373/stat : 25373 (java) S 25368 25370 24583 0 -1 4202560 1049 0 0 0 524 17 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428838644520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25374] ppid=25368 vsize=9824668 CPUtime=5.08 cores=1,3,5,7
/proc/25370/task/25374/stat : 25374 (java) S 25368 25370 24583 0 -1 4202560 1071 0 0 0 496 12 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428837591720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25375] ppid=25368 vsize=9824668 CPUtime=4.85 cores=1,3,5,7
/proc/25370/task/25375/stat : 25375 (java) S 25368 25370 24583 0 -1 4202560 1200 0 0 0 471 14 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428836539432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25376] ppid=25368 vsize=9824668 CPUtime=5.48 cores=1,3,5,7
/proc/25370/task/25376/stat : 25376 (java) S 25368 25370 24583 0 -1 4202560 1444 0 0 0 534 14 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428835486632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25377] ppid=25368 vsize=9824668 CPUtime=5.03 cores=1,3,5,7
/proc/25370/task/25377/stat : 25377 (java) S 25368 25370 24583 0 -1 4202560 1203 0 0 0 488 15 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428834433320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25378] ppid=25368 vsize=9824668 CPUtime=5.68 cores=1,3,5,7
/proc/25370/task/25378/stat : 25378 (java) S 25368 25370 24583 0 -1 4202560 836 0 0 0 554 14 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428833380520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25379] ppid=25368 vsize=9824668 CPUtime=5.09 cores=1,3,5,7
/proc/25370/task/25379/stat : 25379 (java) S 25368 25370 24583 0 -1 4202560 498 0 0 0 499 10 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428832328232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25380] ppid=25368 vsize=9824668 CPUtime=5.49 cores=1,3,5,7
/proc/25370/task/25380/stat : 25380 (java) S 25368 25370 24583 0 -1 4202560 1714 0 0 0 533 16 0 0 20 0 22 0 253411399 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428831275432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25381] ppid=25368 vsize=9824668 CPUtime=250.73 cores=1,3,5,7
/proc/25370/task/25381/stat : 25381 (java) S 25368 25370 24583 0 -1 4202560 5768 0 0 0 25031 42 0 0 20 0 22 0 253411400 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428818864872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25382] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25382/stat : 25382 (java) S 25368 25370 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428817810936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25383] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25383/stat : 25383 (java) S 25368 25370 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428816758536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25384] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25384/stat : 25384 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428815707024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25385] ppid=25368 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/25370/task/25385/stat : 25385 (java) S 25368 25370 24583 0 -1 4202560 6332 0 0 0 86 2 0 0 20 0 22 0 253411403 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428814653624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25386] ppid=25368 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/25370/task/25386/stat : 25386 (java) S 25368 25370 24583 0 -1 4202560 8044 0 0 0 143 2 0 0 20 0 22 0 253411403 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428813600824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25387] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25387/stat : 25387 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428812548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25388] ppid=25368 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/25370/task/25388/stat : 25388 (java) S 25368 25370 24583 0 -1 4202560 54 0 0 0 15 22 0 0 20 0 22 0 253411403 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428811496136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25398] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25398/stat : 25398 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411532 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428807812392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25634] ppid=25368 vsize=9824668 CPUtime=169.87 cores=1,3,5,7
/proc/25370/task/25634/stat : 25634 (java) R 25368 25370 24583 0 -1 4202560 14 0 0 0 16985 2 0 0 20 0 22 0 253480116 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428809387696 140428867922332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25635] ppid=25368 vsize=9824668 CPUtime=169.85 cores=1,3,5,7
/proc/25370/task/25635/stat : 25635 (java) R 25368 25370 24583 0 -1 4202560 11 0 0 0 16983 2 0 0 20 0 22 0 253480116 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428806757600 140428868269301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25636] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25636/stat : 25636 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253480116 10060460032 759559 33554432000 1073741824 1073778376 140736610688304 140428810442280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1648.21
Current children cumulated vsize (KiB) 9824668
[startup+1002.3 s]
/proc/loadavg: 3.21 3.31 2.97 3/219 25646
/proc/meminfo: memFree=24190036/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=1755.02 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 35310 0 1 0 175266 236 0 0 20 0 22 0 253411396 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 803265 2286 9 0 2446860 0
[pid=25370/tid=25372] ppid=25368 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25370/task/25372/stat : 25372 (java) S 25368 25370 24583 0 -1 4202560 2615 0 1 0 37 3 0 0 20 0 22 0 253411397 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428994581208 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25373] ppid=25368 vsize=9824668 CPUtime=5.86 cores=1,3,5,7
/proc/25370/task/25373/stat : 25373 (java) S 25368 25370 24583 0 -1 4202560 1098 0 0 0 569 17 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428838644520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25374] ppid=25368 vsize=9824668 CPUtime=5.47 cores=1,3,5,7
/proc/25370/task/25374/stat : 25374 (java) S 25368 25370 24583 0 -1 4202560 1072 0 0 0 535 12 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428837591720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25375] ppid=25368 vsize=9824668 CPUtime=5.43 cores=1,3,5,7
/proc/25370/task/25375/stat : 25375 (java) S 25368 25370 24583 0 -1 4202560 1225 0 0 0 528 15 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428836539432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25376] ppid=25368 vsize=9824668 CPUtime=5.92 cores=1,3,5,7
/proc/25370/task/25376/stat : 25376 (java) S 25368 25370 24583 0 -1 4202560 1492 0 0 0 578 14 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428835486632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25377] ppid=25368 vsize=9824668 CPUtime=5.38 cores=1,3,5,7
/proc/25370/task/25377/stat : 25377 (java) S 25368 25370 24583 0 -1 4202560 1252 0 0 0 523 15 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428834433320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25378] ppid=25368 vsize=9824668 CPUtime=6.08 cores=1,3,5,7
/proc/25370/task/25378/stat : 25378 (java) S 25368 25370 24583 0 -1 4202560 1249 0 0 0 593 15 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428833380520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25379] ppid=25368 vsize=9824668 CPUtime=5.5 cores=1,3,5,7
/proc/25370/task/25379/stat : 25379 (java) S 25368 25370 24583 0 -1 4202560 922 0 0 0 538 12 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428832328232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25380] ppid=25368 vsize=9824668 CPUtime=6 cores=1,3,5,7
/proc/25370/task/25380/stat : 25380 (java) S 25368 25370 24583 0 -1 4202560 2023 0 0 0 582 18 0 0 20 0 22 0 253411399 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428831275432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25381] ppid=25368 vsize=9824668 CPUtime=265.66 cores=1,3,5,7
/proc/25370/task/25381/stat : 25381 (java) R 25368 25370 24583 0 -1 4202560 5873 0 0 0 26521 45 0 0 20 0 22 0 253411400 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428818863720 140429001437056 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25382] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25382/stat : 25382 (java) S 25368 25370 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428817810936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25383] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25383/stat : 25383 (java) S 25368 25370 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428816758536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25384] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25384/stat : 25384 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428815707024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25385] ppid=25368 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/25370/task/25385/stat : 25385 (java) S 25368 25370 24583 0 -1 4202560 6332 0 0 0 86 2 0 0 20 0 22 0 253411403 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428814653624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25386] ppid=25368 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/25370/task/25386/stat : 25386 (java) S 25368 25370 24583 0 -1 4202560 8044 0 0 0 143 2 0 0 20 0 22 0 253411403 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428813600824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25387] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25387/stat : 25387 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428812548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25388] ppid=25368 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25370/task/25388/stat : 25388 (java) S 25368 25370 24583 0 -1 4202560 58 0 0 0 17 23 0 0 20 0 22 0 253411403 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428811496136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25398] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25398/stat : 25398 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411532 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428807812392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25634] ppid=25368 vsize=9824668 CPUtime=214.03 cores=1,3,5,7
/proc/25370/task/25634/stat : 25634 (java) S 25368 25370 24583 0 -1 4202560 16 0 0 0 21400 3 0 0 20 0 22 0 253480116 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428809388760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25635] ppid=25368 vsize=9824668 CPUtime=214.02 cores=1,3,5,7
/proc/25370/task/25635/stat : 25635 (java) S 25368 25370 24583 0 -1 4202560 16 0 0 0 21399 3 0 0 20 0 22 0 253480116 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428806757480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25636] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25636/stat : 25636 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253480116 10060460032 803265 33554432000 1073741824 1073778376 140736610688304 140428810442280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1755.02
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1026.4 s]
/proc/loadavg: 3.28 3.31 2.98 4/219 25646
/proc/meminfo: memFree=24193200/32873648 swapFree=6856/6856
[pid=25370] ppid=25368 vsize=9824668 CPUtime=1800.14 cores=1,3,5,7
/proc/25370/stat : 25370 (java) S 25368 25370 24583 0 -1 4202496 35444 0 1 0 179776 238 0 0 20 0 22 0 253411396 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140736610679440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25370/statm: 2456167 804411 2286 9 0 2446860 0
[pid=25370/tid=25372] ppid=25368 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25370/task/25372/stat : 25372 (java) S 25368 25370 24583 0 -1 4202560 2616 0 1 0 37 3 0 0 20 0 22 0 253411397 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428994581496 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25373] ppid=25368 vsize=9824668 CPUtime=5.99 cores=1,3,5,7
/proc/25370/task/25373/stat : 25373 (java) S 25368 25370 24583 0 -1 4202560 1132 0 0 0 581 18 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428838644520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25374] ppid=25368 vsize=9824668 CPUtime=5.6 cores=1,3,5,7
/proc/25370/task/25374/stat : 25374 (java) S 25368 25370 24583 0 -1 4202560 1104 0 0 0 547 13 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428837591720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25375] ppid=25368 vsize=9824668 CPUtime=5.53 cores=1,3,5,7
/proc/25370/task/25375/stat : 25375 (java) S 25368 25370 24583 0 -1 4202560 1225 0 0 0 538 15 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428836539432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25376] ppid=25368 vsize=9824668 CPUtime=6.01 cores=1,3,5,7
/proc/25370/task/25376/stat : 25376 (java) S 25368 25370 24583 0 -1 4202560 1492 0 0 0 587 14 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428835486632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25377] ppid=25368 vsize=9824668 CPUtime=5.51 cores=1,3,5,7
/proc/25370/task/25377/stat : 25377 (java) S 25368 25370 24583 0 -1 4202560 1296 0 0 0 536 15 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428834433320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25378] ppid=25368 vsize=9824668 CPUtime=6.17 cores=1,3,5,7
/proc/25370/task/25378/stat : 25378 (java) S 25368 25370 24583 0 -1 4202560 1251 0 0 0 602 15 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428833380520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25379] ppid=25368 vsize=9824668 CPUtime=5.64 cores=1,3,5,7
/proc/25370/task/25379/stat : 25379 (java) S 25368 25370 24583 0 -1 4202560 925 0 0 0 552 12 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428832328232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25380] ppid=25368 vsize=9824668 CPUtime=6.11 cores=1,3,5,7
/proc/25370/task/25380/stat : 25380 (java) S 25368 25370 24583 0 -1 4202560 2023 0 0 0 593 18 0 0 20 0 22 0 253411399 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428831275432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25381] ppid=25368 vsize=9824668 CPUtime=269.18 cores=1,3,5,7
/proc/25370/task/25381/stat : 25381 (java) S 25368 25370 24583 0 -1 4202560 5889 0 0 0 26873 45 0 0 20 0 22 0 253411400 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428818864872 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25382] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25382/stat : 25382 (java) S 25368 25370 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428817810936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25383] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25383/stat : 25383 (java) S 25368 25370 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253411400 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428816758536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25384] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25384/stat : 25384 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428815707024 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25385] ppid=25368 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/25370/task/25385/stat : 25385 (java) S 25368 25370 24583 0 -1 4202560 6332 0 0 0 86 2 0 0 20 0 22 0 253411403 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428814653624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25386] ppid=25368 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/25370/task/25386/stat : 25386 (java) S 25368 25370 24583 0 -1 4202560 8044 0 0 0 143 2 0 0 20 0 22 0 253411403 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428813600824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25387] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25387/stat : 25387 (java) S 25368 25370 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253411403 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428812548728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25370/tid=25388] ppid=25368 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/25370/task/25388/stat : 25388 (java) S 25368 25370 24583 0 -1 4202560 58 0 0 0 17 24 0 0 20 0 22 0 253411403 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428811496136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25398] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25398/stat : 25398 (java) S 25368 25370 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253411532 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428807812392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25370/tid=25634] ppid=25368 vsize=9824668 CPUtime=234.37 cores=1,3,5,7
/proc/25370/task/25634/stat : 25634 (java) R 25368 25370 24583 0 -1 4202560 17 0 0 0 23434 3 0 0 20 0 22 0 253480116 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428809388640 140428867912704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25370/tid=25635] ppid=25368 vsize=9824668 CPUtime=234.36 cores=1,3,5,7
/proc/25370/task/25635/stat : 25635 (java) R 25368 25370 24583 0 -1 4202560 17 0 0 0 23433 3 0 0 20 0 22 0 253480116 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428806757200 140428868264565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25370/tid=25636] ppid=25368 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25370/task/25636/stat : 25636 (java) S 25368 25370 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253480116 10060460032 804411 33554432000 1073741824 1073778376 140736610688304 140428810442280 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1026.45
CPU time (s): 1800.48
CPU user time (s): 1797.81
CPU system time (s): 2.67059
CPU usage (%): 175.409
Max. virtual memory (cumulated for all children) (KiB): 9826548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.81
system time used= 2.67059
maximum resident set size= 3217760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35476
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30003
involuntary context switches= 61895
runsolver used 3.76043 second user time and 9.23559 second system time
The end