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-4116838-1466979027/watcher-4116838-1466979027 -o /tmp/evaluation-result-4116838-1466979027/solver-4116838-1466979027 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23497 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116838-1466979027.opb
pid=24217
running on 4 cores: 0,2,4,6
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.22 4.15 4.07 4/198 24220
/proc/meminfo: memFree=30386848/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 30942509 98570240 977 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 24065 977 743 9 0 16771 0
[pid=24220/tid=24221] ppid=24217 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) R 24217 24220 23481 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 30942509 98570240 977 33554432000 1073741824 1073778376 140733698734032 140480153607720 271787574656 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100114 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24220
/proc/meminfo: memFree=30386848/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 4412 0 1 0 9 1 0 0 20 0 18 0 30942509 9787879424 6036 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2389619 6036 2126 9 0 2380296 0
[pid=24220/tid=24221] ppid=24217 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) R 24217 24220 23481 0 -1 4202560 2389 0 1 0 8 0 0 0 20 0 18 0 30942509 9787879424 6036 33554432000 1073741824 1073778376 140733698734032 140480153611168 271790957837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200318 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24220
/proc/meminfo: memFree=30386848/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 4701 0 1 0 24 1 0 0 20 0 18 0 30942509 9787879424 6795 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2389619 6795 2202 9 0 2380296 0
[pid=24220/tid=24221] ppid=24217 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) R 24217 24220 23481 0 -1 4202560 2401 0 1 0 18 0 0 0 20 0 18 0 30942509 9787879424 6795 33554432000 1073741824 1073778376 140733698734032 140480153611168 140480156898199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300313 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24220
/proc/meminfo: memFree=30386848/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 5865 0 1 0 47 1 0 0 20 0 18 0 30942509 9787879424 8360 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2389619 8360 2232 9 0 2380296 0
[pid=24220/tid=24221] ppid=24217 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) R 24217 24220 23481 0 -1 4202560 2403 0 1 0 28 0 0 0 20 0 18 0 30942509 9787879424 8360 33554432000 1073741824 1073778376 140733698734032 140480153611168 140480008840696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700217 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24220
/proc/meminfo: memFree=30386848/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 14582 0 1 0 168 3 0 0 20 0 22 0 30942509 10060525568 24667 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 24667 2264 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2476 0 1 0 48 2 0 0 20 0 22 0 30942509 10060525568 24667 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.22 4.15 4.07 7/220 24242
/proc/meminfo: memFree=30167312/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=4.63 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 19781 0 1 0 457 6 0 0 20 0 22 0 30942509 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 47183 2292 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2476 0 1 0 48 2 0 0 20 0 22 0 30942509 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24223] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24223/stat : 24223 (java) S 24217 24220 23481 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479997454888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24224] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24224/stat : 24224 (java) S 24217 24220 23481 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479996402088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24225] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24225/stat : 24225 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479995349288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24226] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24226/stat : 24226 (java) S 24217 24220 23481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479994296488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24227] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24227/stat : 24227 (java) S 24217 24220 23481 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479993244712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24228] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24228/stat : 24228 (java) S 24217 24220 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479656094632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24229] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24229/stat : 24229 (java) S 24217 24220 23481 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479655041832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24230] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24230/stat : 24230 (java) S 24217 24220 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479653989032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24231] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24231/stat : 24231 (java) S 24217 24220 23481 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 30942511 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479641790952 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24232] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24232/stat : 24232 (java) S 24217 24220 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479640737016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24233] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24233/stat : 24233 (java) S 24217 24220 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479639684104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24234] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24234/stat : 24234 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479638632592 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24235] ppid=24217 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/24220/task/24235/stat : 24235 (java) S 24217 24220 23481 0 -1 4202560 8015 0 0 0 109 1 0 0 20 0 22 0 30942514 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479637580728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24236] ppid=24217 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/24220/task/24236/stat : 24236 (java) S 24217 24220 23481 0 -1 4202560 7821 0 0 0 112 2 0 0 20 0 22 0 30942514 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479636527928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24237] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24237/stat : 24237 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479635475320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24238] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24238/stat : 24238 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479634422728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24239] ppid=24217 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/24220/task/24239/stat : 24239 (java) R 24217 24220 23481 0 -1 4202560 18 0 0 0 91 0 0 0 20 0 22 0 30942561 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479633260576 140480009292631 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24240] ppid=24217 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/24220/task/24240/stat : 24240 (java) R 24217 24220 23481 0 -1 4202560 72 0 0 0 85 2 0 0 20 0 22 0 30942561 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479632214920 140480009342445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24241] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24241/stat : 24241 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942562 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479631164328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24242] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24242/stat : 24242 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942563 10060525568 47183 33554432000 1073741824 1073778376 140733698734032 140479630111528 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 4.36 4.18 4.08 5/220 24242
/proc/meminfo: memFree=29779404/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=8.48 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 23306 0 1 0 835 13 0 0 20 0 22 0 30942509 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 90320 2292 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2476 0 1 0 48 2 0 0 20 0 22 0 30942509 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24223] ppid=24217 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24220/task/24223/stat : 24223 (java) S 24217 24220 23481 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479997454888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24224] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24224/stat : 24224 (java) S 24217 24220 23481 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479996402088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24225] ppid=24217 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24220/task/24225/stat : 24225 (java) S 24217 24220 23481 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479995349288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24226] ppid=24217 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24220/task/24226/stat : 24226 (java) S 24217 24220 23481 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479994296488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24227] ppid=24217 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24220/task/24227/stat : 24227 (java) S 24217 24220 23481 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479993244712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24228] ppid=24217 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24220/task/24228/stat : 24228 (java) S 24217 24220 23481 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479656094632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24229] ppid=24217 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24220/task/24229/stat : 24229 (java) S 24217 24220 23481 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479655041832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24230] ppid=24217 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24220/task/24230/stat : 24230 (java) S 24217 24220 23481 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 30942510 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479653989032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24231] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24231/stat : 24231 (java) S 24217 24220 23481 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 30942511 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479641790952 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24232] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24232/stat : 24232 (java) S 24217 24220 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479640737016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24233] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24233/stat : 24233 (java) S 24217 24220 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479639684104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24234] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24234/stat : 24234 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479638632592 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24235] ppid=24217 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/24220/task/24235/stat : 24235 (java) S 24217 24220 23481 0 -1 4202560 8305 0 0 0 135 1 0 0 20 0 22 0 30942514 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479637580728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24236] ppid=24217 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/24220/task/24236/stat : 24236 (java) S 24217 24220 23481 0 -1 4202560 10775 0 0 0 143 2 0 0 20 0 22 0 30942514 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479636527928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24237] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24237/stat : 24237 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479635475320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24238] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24238/stat : 24238 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479634422728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24239] ppid=24217 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/24220/task/24239/stat : 24239 (java) R 24217 24220 23481 0 -1 4202560 20 0 0 0 243 0 0 0 20 0 22 0 30942561 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479633267328 140480009161166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24240] ppid=24217 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/24220/task/24240/stat : 24240 (java) R 24217 24220 23481 0 -1 4202560 131 0 0 0 235 3 0 0 20 0 22 0 30942561 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479632215112 140480009342683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24241] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24241/stat : 24241 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942562 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479631164328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24242] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24242/stat : 24242 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942563 10060525568 90320 33554432000 1073741824 1073778376 140733698734032 140479630111528 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 9824732
[startup+6.30094 s]
/proc/loadavg: 4.36 4.18 4.08 6/220 24242
/proc/meminfo: memFree=29161036/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=15.02 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 23804 0 1 0 1479 23 0 0 20 0 22 0 30942509 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 162586 2292 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2476 0 1 0 48 2 0 0 20 0 22 0 30942509 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24223] ppid=24217 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24220/task/24223/stat : 24223 (java) S 24217 24220 23481 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479997454888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24224] ppid=24217 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24220/task/24224/stat : 24224 (java) S 24217 24220 23481 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479996402088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24225] ppid=24217 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24220/task/24225/stat : 24225 (java) S 24217 24220 23481 0 -1 4202560 38 0 0 0 7 2 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479995349288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24226] ppid=24217 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24220/task/24226/stat : 24226 (java) S 24217 24220 23481 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479994296488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24227] ppid=24217 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/24220/task/24227/stat : 24227 (java) S 24217 24220 23481 0 -1 4202560 31 0 0 0 5 1 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479993244712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24228] ppid=24217 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24220/task/24228/stat : 24228 (java) S 24217 24220 23481 0 -1 4202560 46 0 0 0 7 2 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479656094632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24229] ppid=24217 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/24220/task/24229/stat : 24229 (java) S 24217 24220 23481 0 -1 4202560 40 0 0 0 6 3 0 0 20 0 22 0 30942510 10060525568 162586 33554432000 1073741824 1073778376 140733698734032 140479655041832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24230] ppid=24217 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.14 4.21 4.14 5/219 24261
/proc/meminfo: memFree=24009472/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=1648.03 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 29347 0 1 0 164671 132 0 0 20 0 22 0 30942509 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 768423 2301 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2478 0 1 0 51 3 0 0 20 0 22 0 30942509 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24223] ppid=24217 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24220/task/24223/stat : 24223 (java) S 24217 24220 23481 0 -1 4202560 263 0 0 0 40 12 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479997454888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24224] ppid=24217 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/24220/task/24224/stat : 24224 (java) S 24217 24220 23481 0 -1 4202560 208 0 0 0 29 8 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479996402088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24225] ppid=24217 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/24220/task/24225/stat : 24225 (java) S 24217 24220 23481 0 -1 4202560 197 0 0 0 33 7 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479995349288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24226] ppid=24217 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/24220/task/24226/stat : 24226 (java) S 24217 24220 23481 0 -1 4202560 204 0 0 0 35 9 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479994296488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24227] ppid=24217 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/24220/task/24227/stat : 24227 (java) S 24217 24220 23481 0 -1 4202560 212 0 0 0 37 8 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479993244712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24228] ppid=24217 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/24220/task/24228/stat : 24228 (java) S 24217 24220 23481 0 -1 4202560 242 0 0 0 38 11 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479656094632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24229] ppid=24217 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/24220/task/24229/stat : 24229 (java) S 24217 24220 23481 0 -1 4202560 324 0 0 0 42 12 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479655041832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24230] ppid=24217 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/24220/task/24230/stat : 24230 (java) S 24217 24220 23481 0 -1 4202560 224 0 0 0 40 10 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479653989032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24231] ppid=24217 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/24220/task/24231/stat : 24231 (java) S 24217 24220 23481 0 -1 4202560 1507 0 0 0 69 4 0 0 20 0 22 0 30942511 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479641790952 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24232] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24232/stat : 24232 (java) S 24217 24220 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479640737016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24233] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24233/stat : 24233 (java) S 24217 24220 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479639684104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24234] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24234/stat : 24234 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479638632592 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24235] ppid=24217 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/24220/task/24235/stat : 24235 (java) S 24217 24220 23481 0 -1 4202560 10164 0 0 0 165 2 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479637580728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24236] ppid=24217 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/24220/task/24236/stat : 24236 (java) S 24217 24220 23481 0 -1 4202560 10778 0 0 0 167 2 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479636527928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24237] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24237/stat : 24237 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479635475320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24238] ppid=24217 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/24220/task/24238/stat : 24238 (java) S 24217 24220 23481 0 -1 4202560 47 0 0 0 13 14 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479634422728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24239] ppid=24217 vsize=9824732 CPUtime=819.94 cores=0,2,4,6
/proc/24220/task/24239/stat : 24239 (java) R 24217 24220 23481 0 -1 4202560 48 0 0 0 81980 14 0 0 20 0 22 0 30942561 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479633260656 140480009421871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24240] ppid=24217 vsize=9824732 CPUtime=819.64 cores=0,2,4,6
/proc/24220/task/24240/stat : 24240 (java) R 24217 24220 23481 0 -1 4202560 1187 0 0 0 81914 50 0 0 20 0 22 0 30942561 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479632214432 140480009397934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24241] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24241/stat : 24241 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942562 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479631164328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24242] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24242/stat : 24242 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942563 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479630111528 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1648.03
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.19 4.21 4.14 5/219 24262
/proc/meminfo: memFree=23970680/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=1768.03 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 29351 0 1 0 176670 133 0 0 20 0 22 0 30942509 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 768423 2301 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2478 0 1 0 51 3 0 0 20 0 22 0 30942509 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24223] ppid=24217 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24220/task/24223/stat : 24223 (java) S 24217 24220 23481 0 -1 4202560 263 0 0 0 40 12 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479997454888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24224] ppid=24217 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/24220/task/24224/stat : 24224 (java) S 24217 24220 23481 0 -1 4202560 208 0 0 0 29 8 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479996402088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24225] ppid=24217 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/24220/task/24225/stat : 24225 (java) S 24217 24220 23481 0 -1 4202560 197 0 0 0 33 7 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479995349288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24226] ppid=24217 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/24220/task/24226/stat : 24226 (java) S 24217 24220 23481 0 -1 4202560 204 0 0 0 35 9 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479994296488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24227] ppid=24217 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/24220/task/24227/stat : 24227 (java) S 24217 24220 23481 0 -1 4202560 212 0 0 0 37 8 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479993244712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24228] ppid=24217 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/24220/task/24228/stat : 24228 (java) S 24217 24220 23481 0 -1 4202560 242 0 0 0 38 11 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479656094632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24229] ppid=24217 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/24220/task/24229/stat : 24229 (java) S 24217 24220 23481 0 -1 4202560 324 0 0 0 42 12 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479655041832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24230] ppid=24217 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/24220/task/24230/stat : 24230 (java) S 24217 24220 23481 0 -1 4202560 224 0 0 0 40 10 0 0 20 0 22 0 30942510 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479653989032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24231] ppid=24217 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/24220/task/24231/stat : 24231 (java) S 24217 24220 23481 0 -1 4202560 1507 0 0 0 69 4 0 0 20 0 22 0 30942511 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479641790952 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24232] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24232/stat : 24232 (java) S 24217 24220 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479640737016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24233] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24233/stat : 24233 (java) S 24217 24220 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479639684104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24234] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24234/stat : 24234 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479638632592 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24235] ppid=24217 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/24220/task/24235/stat : 24235 (java) S 24217 24220 23481 0 -1 4202560 10164 0 0 0 165 2 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479637580728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24236] ppid=24217 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/24220/task/24236/stat : 24236 (java) S 24217 24220 23481 0 -1 4202560 10778 0 0 0 167 2 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479636527928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24237] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24237/stat : 24237 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479635475320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24238] ppid=24217 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/24220/task/24238/stat : 24238 (java) S 24217 24220 23481 0 -1 4202560 51 0 0 0 15 14 0 0 20 0 22 0 30942514 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479634422728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24239] ppid=24217 vsize=9824732 CPUtime=879.95 cores=0,2,4,6
/proc/24220/task/24239/stat : 24239 (java) R 24217 24220 23481 0 -1 4202560 48 0 0 0 87980 15 0 0 20 0 22 0 30942561 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479633260656 140480009188195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24240] ppid=24217 vsize=9824732 CPUtime=879.63 cores=0,2,4,6
/proc/24220/task/24240/stat : 24240 (java) R 24217 24220 23481 0 -1 4202560 1187 0 0 0 87912 51 0 0 20 0 22 0 30942561 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479632214432 140480009397840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24241] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24241/stat : 24241 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942562 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479631164328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24242] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24242/stat : 24242 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942563 10060525568 768423 33554432000 1073741824 1073778376 140733698734032 140479630111528 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1768.03
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.601 s]
/proc/loadavg: 4.07 4.18 4.13 11/219 24331
/proc/meminfo: memFree=26933124/32872528 swapFree=1094508/1184444
[pid=24220] ppid=24217 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/24220/stat : 24220 (java) S 24217 24220 23481 0 -1 4202496 29706 0 1 0 179877 139 0 0 20 0 22 0 30942509 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140733698725168 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24220/statm: 2456183 773960 2301 9 0 2446860 0
[pid=24220/tid=24221] ppid=24217 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/24220/task/24221/stat : 24221 (java) S 24217 24220 23481 0 -1 4202560 2478 0 1 0 51 3 0 0 20 0 22 0 30942509 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140480153613176 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24223] ppid=24217 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/24220/task/24223/stat : 24223 (java) S 24217 24220 23481 0 -1 4202560 292 0 0 0 45 14 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479997454888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24224] ppid=24217 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/24220/task/24224/stat : 24224 (java) S 24217 24220 23481 0 -1 4202560 254 0 0 0 31 8 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479996402088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24225] ppid=24217 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/24220/task/24225/stat : 24225 (java) S 24217 24220 23481 0 -1 4202560 228 0 0 0 36 8 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479995349288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24226] ppid=24217 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/24220/task/24226/stat : 24226 (java) S 24217 24220 23481 0 -1 4202560 245 0 0 0 36 9 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479994296488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24227] ppid=24217 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/24220/task/24227/stat : 24227 (java) S 24217 24220 23481 0 -1 4202560 244 0 0 0 38 9 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479993244712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24228] ppid=24217 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/24220/task/24228/stat : 24228 (java) S 24217 24220 23481 0 -1 4202560 280 0 0 0 39 12 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479656094632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24229] ppid=24217 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/24220/task/24229/stat : 24229 (java) S 24217 24220 23481 0 -1 4202560 345 0 0 0 47 13 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479655041832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24230] ppid=24217 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/24220/task/24230/stat : 24230 (java) S 24217 24220 23481 0 -1 4202560 246 0 0 0 41 11 0 0 20 0 22 0 30942510 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479653989032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24231] ppid=24217 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/24220/task/24231/stat : 24231 (java) S 24217 24220 23481 0 -1 4202560 1601 0 0 0 125 4 0 0 20 0 22 0 30942511 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479641790952 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24232] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24232/stat : 24232 (java) S 24217 24220 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479640737016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24233] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24233/stat : 24233 (java) S 24217 24220 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942512 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479639684104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24234] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24234/stat : 24234 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479638632592 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24235] ppid=24217 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/24220/task/24235/stat : 24235 (java) S 24217 24220 23481 0 -1 4202560 10164 0 0 0 165 2 0 0 20 0 22 0 30942514 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479637580728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24236] ppid=24217 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/24220/task/24236/stat : 24236 (java) S 24217 24220 23481 0 -1 4202560 10778 0 0 0 167 2 0 0 20 0 22 0 30942514 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479636527928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24237] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24237/stat : 24237 (java) S 24217 24220 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942514 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479635475320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24238] ppid=24217 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/24220/task/24238/stat : 24238 (java) S 24217 24220 23481 0 -1 4202560 51 0 0 0 15 14 0 0 20 0 22 0 30942514 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479634422728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24220/tid=24239] ppid=24217 vsize=9824732 CPUtime=895.62 cores=0,2,4,6
/proc/24220/task/24239/stat : 24239 (java) R 24217 24220 23481 0 -1 4202560 49 0 0 0 89547 15 0 0 20 0 22 0 30942561 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479633269504 140480009247600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24220/tid=24240] ppid=24217 vsize=9824732 CPUtime=895.3 cores=0,2,4,6
/proc/24220/task/24240/stat : 24240 (java) R 24217 24220 23481 0 -1 4202560 1187 0 0 0 89479 51 0 0 20 0 22 0 30942561 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479632214960 140480009752034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24220/tid=24241] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24241/stat : 24241 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942562 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479631164328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24220/tid=24242] ppid=24217 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24220/task/24242/stat : 24242 (java) S 24217 24220 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942563 10060525568 773960 33554432000 1073741824 1073778376 140733698734032 140479630111528 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 24220 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.658
CPU time (s): 1800.76
CPU user time (s): 1798.84
CPU system time (s): 1.91971
CPU usage (%): 200.383
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.91971
maximum resident set size= 3135744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29740
page faults= 1
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21738
involuntary context switches= 14397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46817 second user time and 8.68568 second system time
The end