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-3688798-1337879855/watcher-3688798-1337879855 -o /tmp/evaluation-result-3688798-1337879855/solver-3688798-1337879855 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688798-1337879855.opb
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: 3.70 3.73 3.72 4/197 24962
/proc/meminfo: memFree=27175012/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/24962/stat : 24962 (java) R 24960 24962 22409 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 254112720 23793664 706 33554432000 1073741824 1073778376 140733658134000 140733658123064 213857170384 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 5809 706 520 9 0 128 0
[startup+0.0952289 s]
/proc/loadavg: 3.70 3.73 3.72 4/197 24962
/proc/meminfo: memFree=27175012/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 4386 0 1 0 9 0 0 0 20 0 18 0 254112720 9787813888 6088 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2389603 6088 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100211 s]
/proc/loadavg: 3.70 3.73 3.72 4/197 24962
/proc/meminfo: memFree=27175012/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 4443 0 1 0 10 0 0 0 20 0 18 0 254112720 9787813888 6107 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2389603 6107 2139 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300167 s]
/proc/loadavg: 3.70 3.73 3.72 4/197 24962
/proc/meminfo: memFree=27175012/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 6029 0 1 0 46 1 0 0 20 0 18 0 254112720 9787813888 9130 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2389603 9130 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700185 s]
/proc/loadavg: 3.70 3.73 3.72 4/197 24962
/proc/meminfo: memFree=27175012/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9558412 CPUtime=1.63 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 26388 0 1 0 155 8 0 0 20 0 18 0 254112720 9787813888 43682 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2389603 43682 2250 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558412
Solver just ended. Dumping a history of the last processes samples
[startup+1.10718 s]
/proc/loadavg: 3.57 3.70 3.71 9/219 24984
/proc/meminfo: memFree=26936376/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9824668 CPUtime=3.07 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 29589 0 1 0 295 12 0 0 20 0 22 0 254112720 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2456167 61913 2267 9 0 2446860 0
[pid=24962/tid=24964] ppid=24960 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/24962/task/24964/stat : 24964 (java) S 24960 24962 22409 0 -1 4202560 2524 0 1 0 82 3 0 0 20 0 22 0 254112720 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842698277880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24965] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24965/stat : 24965 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842541316904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24966] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24966/stat : 24966 (java) S 24960 24962 22409 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842540264104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=24962/tid=24967] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24967/stat : 24967 (java) S 24960 24962 22409 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842539211816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=24962/tid=24968] ppid=24960 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24962/task/24968/stat : 24968 (java) S 24960 24962 22409 0 -1 4202560 113 0 0 0 4 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842538159016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24969] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24969/stat : 24969 (java) S 24960 24962 22409 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842537105704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24970] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24970/stat : 24970 (java) S 24960 24962 22409 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842536052904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24971] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24971/stat : 24971 (java) S 24960 24962 22409 0 -1 4202560 86 0 0 0 1 1 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842535000616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24972] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24972/stat : 24972 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842533947816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24973] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24973/stat : 24973 (java) S 24960 24962 22409 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254112722 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842051619560 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24974] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24974/stat : 24974 (java) S 24960 24962 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254112722 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842050565624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24975] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24975/stat : 24975 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254112722 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842049513224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24976] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24976/stat : 24976 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112724 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842048461712 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24977] ppid=24960 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/24962/task/24977/stat : 24977 (java) R 24960 24962 22409 0 -1 4202560 12884 0 0 0 76 3 0 0 20 0 22 0 254112724 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842047402152 139842701802025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24978] ppid=24960 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/24962/task/24978/stat : 24978 (java) R 24960 24962 22409 0 -1 4202560 12439 0 0 0 79 3 0 0 20 0 22 0 254112724 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842046342816 139842701802000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24962/tid=24979] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24979/stat : 24979 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112724 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842045303416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24962/tid=24980] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24980/stat : 24980 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112724 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842044250824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24981] ppid=24960 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/24962/task/24981/stat : 24981 (java) R 24960 24962 22409 0 -1 4202560 16 0 0 0 14 0 0 0 20 0 22 0 254112815 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842043196624 139842541346311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24982] ppid=24960 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/24962/task/24982/stat : 24982 (java) R 24960 24962 22409 0 -1 4202560 26 0 0 0 14 0 0 0 20 0 22 0 254112815 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842042143848 139842541436037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24983] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24983/stat : 24983 (java) S 24960 24962 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112819 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842041091752 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24984] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24984/stat : 24984 (java) S 24960 24962 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112819 10060460032 61913 33554432000 1073741824 1073778376 140733658134000 139842040038952 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9824668
[startup+1.30075 s]
/proc/loadavg: 3.57 3.70 3.71 9/219 24984
/proc/meminfo: memFree=26936376/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9824668 CPUtime=3.84 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 29648 0 1 0 372 12 0 0 20 0 22 0 254112720 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2456167 61957 2272 9 0 2446860 0
[pid=24962/tid=24964] ppid=24960 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/24962/task/24964/stat : 24964 (java) S 24960 24962 22409 0 -1 4202560 2524 0 1 0 82 3 0 0 20 0 22 0 254112720 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842698277880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24965] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24965/stat : 24965 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842541316904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24966] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24966/stat : 24966 (java) S 24960 24962 22409 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842540264104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=24962/tid=24967] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24967/stat : 24967 (java) S 24960 24962 22409 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842539211816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=24962/tid=24968] ppid=24960 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24962/task/24968/stat : 24968 (java) S 24960 24962 22409 0 -1 4202560 113 0 0 0 4 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842538159016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24969] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24969/stat : 24969 (java) S 24960 24962 22409 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842537105704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24970] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24970/stat : 24970 (java) S 24960 24962 22409 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842536052904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24971] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24971/stat : 24971 (java) S 24960 24962 22409 0 -1 4202560 86 0 0 0 1 1 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842535000616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24972] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24972/stat : 24972 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254112721 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842533947816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24973] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24973/stat : 24973 (java) S 24960 24962 22409 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254112722 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842051619560 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24974] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24974/stat : 24974 (java) S 24960 24962 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254112722 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842050565624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24975] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24975/stat : 24975 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254112722 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842049513224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24976] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24976/stat : 24976 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112724 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842048461712 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24977] ppid=24960 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/24962/task/24977/stat : 24977 (java) R 24960 24962 22409 0 -1 4202560 12887 0 0 0 96 3 0 0 20 0 22 0 254112724 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842047395408 139842704735000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24978] ppid=24960 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/24962/task/24978/stat : 24978 (java) R 24960 24962 22409 0 -1 4202560 12442 0 0 0 98 3 0 0 20 0 22 0 254112724 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842046349440 139842699842352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24962/tid=24979] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24979/stat : 24979 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112724 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842045303416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24962/tid=24980] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24980/stat : 24980 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254112724 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842044250824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24981] ppid=24960 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24962/task/24981/stat : 24981 (java) R 24960 24962 22409 0 -1 4202560 21 0 0 0 33 0 0 0 20 0 22 0 254112815 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842043196680 139842541435714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24982] ppid=24960 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24962/task/24982/stat : 24982 (java) R 24960 24962 22409 0 -1 4202560 73 0 0 0 33 0 0 0 20 0 22 0 254112815 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842042142424 139842541436037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24983] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24983/stat : 24983 (java) S 24960 24962 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112819 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842041091752 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24984] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24984/stat : 24984 (java) S 24960 24962 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254112819 10060460032 61957 33554432000 1073741824 1073778376 140733658134000 139842040038952 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9824668
[startup+1.4008 s]
/proc/loadavg: 3.57 3.70 3.71 9/219 24984
/proc/meminfo: memFree=26936376/32873648 swapFree=6336/6336
[pid=24962] ppid=24960 vsize=9824668 CPUtime=4.16 cores=0,2,4,6
/proc/24962/stat : 24962 (java) S 24960 24962 22409 0 -1 4202496 29649 0 1 0 402 14 0 0 20 0 19 0 254112720 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 140733658125136 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24962/statm: 2456167 61946 2273 9 0 2446860 0
[pid=24962/tid=24964] ppid=24960 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/24962/task/24964/stat : 24964 (java) S 24960 24962 22409 0 -1 4202560 2524 0 1 0 82 3 0 0 20 0 19 0 254112720 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842698277880 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24962/tid=24965] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24965/stat : 24965 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842541316904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24966] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24966/stat : 24966 (java) S 24960 24962 22409 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842540264104 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=24962/tid=24967] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24967/stat : 24967 (java) S 24960 24962 22409 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842539211816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=24962/tid=24968] ppid=24960 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24962/task/24968/stat : 24968 (java) S 24960 24962 22409 0 -1 4202560 113 0 0 0 4 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842538159016 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24969] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24969/stat : 24969 (java) S 24960 24962 22409 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842537105704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24970] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24970/stat : 24970 (java) S 24960 24962 22409 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842536052904 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24971] ppid=24960 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24962/task/24971/stat : 24971 (java) S 24960 24962 22409 0 -1 4202560 86 0 0 0 1 1 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842535000616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24972] ppid=24960 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24962/task/24972/stat : 24972 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 254112721 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842533947816 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24973] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24973/stat : 24973 (java) S 24960 24962 22409 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 254112722 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842051619560 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24974] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24974/stat : 24974 (java) S 24960 24962 22409 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254112722 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842050565624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24975] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24975/stat : 24975 (java) S 24960 24962 22409 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254112722 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842049513224 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24976] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24976/stat : 24976 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254112724 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842048461712 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24977] ppid=24960 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/24962/task/24977/stat : 24977 (java) S 24960 24962 22409 0 -1 4202560 12887 0 0 0 105 3 0 0 20 0 19 0 254112724 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842047408312 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24962/tid=24978] ppid=24960 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/24962/task/24978/stat : 24978 (java) S 24960 24962 22409 0 -1 4202560 12442 0 0 0 105 3 0 0 20 0 19 0 254112724 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842046355512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24962/tid=24979] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24979/stat : 24979 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254112724 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842045303416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24962/tid=24980] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24980/stat : 24980 (java) S 24960 24962 22409 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254112724 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842044250824 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24962/tid=24983] ppid=24960 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24962/task/24983/stat : 24983 (java) S 24960 24962 22409 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254112819 10060460032 61946 33554432000 1073741824 1073778376 140733658134000 139842041091752 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 1.4609
CPU time (s): 4.23336
CPU user time (s): 3.99139
CPU system time (s): 0.241963
CPU usage (%): 289.777
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.99139
system time used= 0.241963
maximum resident set size= 247872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29659
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 517
involuntary context switches= 400
runsolver used 0.010998 second user time and 0.016997 second system time
The end