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-4105722-1466257136/watcher-4105722-1466257136 -o /tmp/evaluation-result-4105722-1466257136/solver-4105722-1466257136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20174 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105722-1466257136.opb
pid=25252
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.99 4.09 3.95 3/197 25255
/proc/meminfo: memFree=27580492/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 27760251 98570240 977 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 24065 977 743 9 0 16771 0
[pid=25255/tid=25256] ppid=25252 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25252 25255 20157 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 27760251 98570240 977 33554432000 1073741824 1073778376 140733236418336 140447881907752 214537422208 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 3.99 4.09 3.95 3/197 25255
/proc/meminfo: memFree=27580492/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 4498 0 1 0 10 1 0 0 20 0 18 0 27760251 9787879424 6129 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2389619 6129 2156 9 0 2380296 0
[pid=25255/tid=25256] ppid=25252 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25252 25255 20157 0 -1 4202560 2385 0 1 0 7 0 0 0 20 0 18 0 27760251 9787879424 6131 33554432000 1073741824 1073778376 140733236418336 140447881911200 214540805389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200341 s]
/proc/loadavg: 3.99 4.09 3.95 3/197 25255
/proc/meminfo: memFree=27580492/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 4788 0 1 0 26 1 0 0 20 0 18 0 27760251 9787879424 7892 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2389619 7892 2217 9 0 2380296 0
[pid=25255/tid=25256] ppid=25252 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25252 25255 20157 0 -1 4202560 2402 0 1 0 17 0 0 0 20 0 18 0 27760251 9787879424 7892 33554432000 1073741824 1073778376 140733236418336 140447881904096 140447729135009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300334 s]
/proc/loadavg: 3.99 4.09 3.95 3/197 25255
/proc/meminfo: memFree=27580492/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 6039 0 1 0 49 1 0 0 20 0 18 0 27760251 9787879424 9643 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2389619 9643 2233 9 0 2380296 0
[pid=25255/tid=25256] ppid=25252 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25252 25255 20157 0 -1 4202560 2405 0 1 0 27 0 0 0 20 0 18 0 27760251 9787879424 9643 33554432000 1073741824 1073778376 140733236418336 140447881904096 140447729529784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700231 s]
/proc/loadavg: 3.99 4.09 3.95 3/197 25255
/proc/meminfo: memFree=27580492/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9558476 CPUtime=1.69 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 20123 0 1 0 163 6 0 0 20 0 18 0 27760251 9787879424 48673 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2389619 48673 2245 9 0 2380296 0
[pid=25255/tid=25256] ppid=25252 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25252 25255 20157 0 -1 4202560 2462 0 1 0 65 2 0 0 20 0 18 0 27760251 9787879424 48673 33554432000 1073741824 1073778376 140733236418336 140447881904096 214540805389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9558476
[startup+1.5008 s]
/proc/loadavg: 3.99 4.09 3.95 4/215 25273
/proc/meminfo: memFree=27345956/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9558476 CPUtime=2.83 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 20676 0 1 0 271 12 0 0 20 0 18 0 27760251 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2389619 88520 2262 9 0 2380296 0
[pid=25255/tid=25256] ppid=25252 vsize=9558476 CPUtime=1.4 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) R 25252 25255 20157 0 -1 4202560 2521 0 1 0 136 4 0 0 20 0 18 0 27760251 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447881904112 140447729469457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25258] ppid=25252 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25252 25255 20157 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447854364840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25259] ppid=25252 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447853312296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25260] ppid=25252 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25252 25255 20157 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447852259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25261] ppid=25252 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25252 25255 20157 0 -1 4202560 80 0 0 0 4 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447851207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25262] ppid=25252 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25252 25255 20157 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447850154664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25263] ppid=25252 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25252 25255 20157 0 -1 4202560 96 0 0 0 1 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447849102120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25264] ppid=25252 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447848049576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25265] ppid=25252 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25252 25255 20157 0 -1 4202560 105 0 0 0 4 0 0 0 20 0 18 0 27760252 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447718091816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25266] ppid=25252 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25252 25255 20157 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 27760253 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447235143784 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25267] ppid=25252 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25252 25255 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 27760254 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447234090104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25268] ppid=25252 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 27760254 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447233037448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25269] ppid=25252 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 27760256 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447231986192 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25270] ppid=25252 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25252 25255 20157 0 -1 4202560 7082 0 0 0 56 2 0 0 20 0 18 0 27760256 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447230933560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25271] ppid=25252 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25252 25255 20157 0 -1 4202560 9318 0 0 0 54 2 0 0 20 0 18 0 27760256 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447229881016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25272] ppid=25252 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 27760256 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447228828664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25273] ppid=25252 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 27760256 9787879424 88520 33554432000 1073741824 1073778376 140733236418336 140447227776328 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 9558476
[startup+3.10076 s]
/proc/loadavg: 3.99 4.09 3.95 5/215 25273
/proc/meminfo: memFree=27184912/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9824732 CPUtime=5.92 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 24445 0 1 0 573 19 0 0 20 0 22 0 27760251 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2456183 100599 2278 9 0 2446860 0
[pid=25255/tid=25256] ppid=25252 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) S 25252 25255 20157 0 -1 4202560 2538 0 1 0 244 4 0 0 20 0 22 0 27760251 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447881913208 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25258] ppid=25252 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25252 25255 20157 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447854364840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25259] ppid=25252 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25252 25255 20157 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447853312296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25260] ppid=25252 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25252 25255 20157 0 -1 4202560 125 0 0 0 3 1 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447852259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25261] ppid=25252 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25252 25255 20157 0 -1 4202560 105 0 0 0 8 3 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447851207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25262] ppid=25252 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25252 25255 20157 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447850154664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25263] ppid=25252 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25252 25255 20157 0 -1 4202560 123 0 0 0 6 2 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447849102120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25264] ppid=25252 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25252 25255 20157 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447848049576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25265] ppid=25252 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25252 25255 20157 0 -1 4202560 122 0 0 0 5 2 0 0 20 0 22 0 27760252 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447718091816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25266] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25252 25255 20157 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 27760253 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447235143784 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25267] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25252 25255 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447234090104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25268] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447233037448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25269] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447231986192 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25270] ppid=25252 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25252 25255 20157 0 -1 4202560 10495 0 0 0 105 3 0 0 20 0 22 0 27760256 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447230933560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25271] ppid=25252 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25252 25255 20157 0 -1 4202560 9352 0 0 0 90 2 0 0 20 0 22 0 27760256 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447229881016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25272] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447228828664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25273] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 100599 33554432000 1073741824 1073778376 140733236418336 140447227776328 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 9824732
[startup+6.30093 s]
/proc/loadavg: 3.99 4.09 3.95 5/219 25277
/proc/meminfo: memFree=27120424/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9824732 CPUtime=12.76 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 24714 0 1 0 1251 25 0 0 20 0 22 0 27760251 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2456183 116540 2282 9 0 2446860 0
[pid=25255/tid=25256] ppid=25252 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) S 25252 25255 20157 0 -1 4202560 2539 0 1 0 244 4 0 0 20 0 22 0 27760251 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447881913208 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25258] ppid=25252 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25252 25255 20157 0 -1 4202560 153 0 0 0 10 2 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447854364840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25259] ppid=25252 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25252 25255 20157 0 -1 4202560 36 0 0 0 5 1 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447853312296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25260] ppid=25252 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25252 25255 20157 0 -1 4202560 136 0 0 0 6 2 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447852259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25261] ppid=25252 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25252 25255 20157 0 -1 4202560 118 0 0 0 12 3 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447851207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25262] ppid=25252 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25252 25255 20157 0 -1 4202560 23 0 0 0 5 2 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447850154664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25263] ppid=25252 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25252 25255 20157 0 -1 4202560 156 0 0 0 9 3 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447849102120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25264] ppid=25252 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25252 25255 20157 0 -1 4202560 38 0 0 0 7 0 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447848049576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25265] ppid=25252 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25252 25255 20157 0 -1 4202560 150 0 0 0 8 2 0 0 20 0 22 0 27760252 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447718091816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25266] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25252 25255 20157 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 27760253 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447235143784 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25267] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25252 25255 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447234090104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25268] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447233037448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25269] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447231986192 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25270] ppid=25252 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25252 25255 20157 0 -1 4202560 10499 0 0 0 121 3 0 0 20 0 22 0 27760256 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447230933560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25271] ppid=25252 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25252 25255 20157 0 -1 4202560 9353 0 0 0 102 2 0 0 20 0 22 0 27760256 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447229881016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25272] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 116540 33554432000 1073741824 1073778376 140733236418336 140447228828664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25273] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25255/task/25260/stat : 25260 (java) S 25252 25255 20157 0 -1 4202560 201 0 0 0 33 6 0 0 20 0 22 0 27760252 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447852259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25261] ppid=25252 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25252 25255 20157 0 -1 4202560 427 0 0 0 38 8 0 0 20 0 22 0 27760252 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447851207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25262] ppid=25252 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25252 25255 20157 0 -1 4202560 204 0 0 0 36 4 0 0 20 0 22 0 27760252 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447850154664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25263] ppid=25252 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25252 25255 20157 0 -1 4202560 333 0 0 0 33 6 0 0 20 0 22 0 27760252 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447849102120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25264] ppid=25252 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25252 25255 20157 0 -1 4202560 140 0 0 0 31 5 0 0 20 0 22 0 27760252 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447848049576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25265] ppid=25252 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25252 25255 20157 0 -1 4202560 207 0 0 0 34 6 0 0 20 0 22 0 27760252 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447718091816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25266] ppid=25252 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25252 25255 20157 0 -1 4202560 1297 0 0 0 0 3 0 0 20 0 22 0 27760253 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447235143784 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25267] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25252 25255 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447234090104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25268] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447233037448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25269] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447231986192 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25270] ppid=25252 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25252 25255 20157 0 -1 4202560 10507 0 0 0 153 3 0 0 20 0 22 0 27760256 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447230933560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25271] ppid=25252 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25252 25255 20157 0 -1 4202560 9360 0 0 0 126 2 0 0 20 0 22 0 27760256 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447229881016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25272] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447228828664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25273] ppid=25252 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25252 25255 20157 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 22 0 27760256 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447227776328 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25274] ppid=25252 vsize=9824732 CPUtime=816.41 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) R 25252 25255 20157 0 -1 4202560 1733 0 0 0 81592 49 0 0 20 0 22 0 27760517 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447226719152 140447730261224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25275] ppid=25252 vsize=9824732 CPUtime=816.63 cores=1,3,5,7
/proc/25255/task/25275/stat : 25275 (java) R 25252 25255 20157 0 -1 4202560 58 0 0 0 81650 13 0 0 20 0 22 0 27760517 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447225665520 140447729792987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25276] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25276/stat : 25276 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27760522 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447224615976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25277] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25277/stat : 25277 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27760523 10060525568 656322 33554432000 1073741824 1073778376 140733236418336 140447223563432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1646.28
Current children cumulated vsize (KiB) 9824732
[startup+882.309 s]
/proc/loadavg: 4.34 4.25 4.11 5/219 25579
/proc/meminfo: memFree=25043544/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9824732 CPUtime=1766.36 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 29112 0 1 0 176519 117 0 0 20 0 22 0 27760251 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2456183 651741 2283 9 0 2446860 0
[pid=25255/tid=25256] ppid=25252 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) S 25252 25255 20157 0 -1 4202560 2543 0 1 0 246 7 0 0 20 0 22 0 27760251 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447881913208 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25258] ppid=25252 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25252 25255 20157 0 -1 4202560 396 0 0 0 48 7 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447854364840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25259] ppid=25252 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25252 25255 20157 0 -1 4202560 347 0 0 0 36 6 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447853312296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25260] ppid=25252 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25252 25255 20157 0 -1 4202560 205 0 0 0 33 6 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447852259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25261] ppid=25252 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25252 25255 20157 0 -1 4202560 434 0 0 0 38 8 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447851207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25262] ppid=25252 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25252 25255 20157 0 -1 4202560 209 0 0 0 38 4 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447850154664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25263] ppid=25252 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25252 25255 20157 0 -1 4202560 336 0 0 0 34 7 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447849102120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25264] ppid=25252 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25252 25255 20157 0 -1 4202560 146 0 0 0 33 5 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447848049576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25265] ppid=25252 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25252 25255 20157 0 -1 4202560 218 0 0 0 36 6 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447718091816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25266] ppid=25252 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25252 25255 20157 0 -1 4202560 1301 0 0 0 0 3 0 0 20 0 22 0 27760253 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447235143784 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25267] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25252 25255 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447234090104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25268] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447233037448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25269] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447231986192 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25270] ppid=25252 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25252 25255 20157 0 -1 4202560 10507 0 0 0 153 3 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447230933560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25271] ppid=25252 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25252 25255 20157 0 -1 4202560 9360 0 0 0 126 2 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447229881016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25272] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447228828664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25273] ppid=25252 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25252 25255 20157 0 -1 4202560 51 0 0 0 17 21 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447227776328 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25274] ppid=25252 vsize=9824732 CPUtime=876.22 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) R 25252 25255 20157 0 -1 4202560 1735 0 0 0 87572 50 0 0 20 0 22 0 27760517 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447226719200 140447730261239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25275] ppid=25252 vsize=9824732 CPUtime=876.44 cores=1,3,5,7
/proc/25255/task/25275/stat : 25275 (java) R 25252 25255 20157 0 -1 4202560 58 0 0 0 87630 14 0 0 20 0 22 0 27760517 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447225665248 140447729796918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25276] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25276/stat : 25276 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27760522 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447224615976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25277] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25277/stat : 25277 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27760523 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447223563432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1766.36
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.201 s]
/proc/loadavg: 4.24 4.23 4.10 5/219 25579
/proc/meminfo: memFree=25043428/32872528 swapFree=1191052/1305516
[pid=25255] ppid=25252 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/25255/stat : 25255 (java) S 25252 25255 20157 0 -1 4202496 29114 0 1 0 179898 118 0 0 20 0 22 0 27760251 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140733236409472 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25255/statm: 2456183 651741 2283 9 0 2446860 0
[pid=25255/tid=25256] ppid=25252 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/25255/task/25256/stat : 25256 (java) S 25252 25255 20157 0 -1 4202560 2543 0 1 0 246 7 0 0 20 0 22 0 27760251 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447881913208 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25258] ppid=25252 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/25255/task/25258/stat : 25258 (java) S 25252 25255 20157 0 -1 4202560 396 0 0 0 48 7 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447854364840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25259] ppid=25252 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25255/task/25259/stat : 25259 (java) S 25252 25255 20157 0 -1 4202560 347 0 0 0 36 6 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447853312296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25260] ppid=25252 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/25255/task/25260/stat : 25260 (java) S 25252 25255 20157 0 -1 4202560 205 0 0 0 33 6 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447852259752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25261] ppid=25252 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/25255/task/25261/stat : 25261 (java) S 25252 25255 20157 0 -1 4202560 434 0 0 0 38 8 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447851207208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25262] ppid=25252 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25255/task/25262/stat : 25262 (java) S 25252 25255 20157 0 -1 4202560 209 0 0 0 38 4 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447850154664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25263] ppid=25252 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/25255/task/25263/stat : 25263 (java) S 25252 25255 20157 0 -1 4202560 336 0 0 0 34 7 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447849102120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25264] ppid=25252 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25255/task/25264/stat : 25264 (java) S 25252 25255 20157 0 -1 4202560 146 0 0 0 33 5 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447848049576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25265] ppid=25252 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/25255/task/25265/stat : 25265 (java) S 25252 25255 20157 0 -1 4202560 218 0 0 0 36 6 0 0 20 0 22 0 27760252 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447718091816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25266] ppid=25252 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/25255/task/25266/stat : 25266 (java) S 25252 25255 20157 0 -1 4202560 1301 0 0 0 0 3 0 0 20 0 22 0 27760253 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447235143784 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25267] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25267/stat : 25267 (java) S 25252 25255 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447234090104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25268] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25268/stat : 25268 (java) S 25252 25255 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27760254 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447233037448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25269] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25269/stat : 25269 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447231986192 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25270] ppid=25252 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/25255/task/25270/stat : 25270 (java) S 25252 25255 20157 0 -1 4202560 10507 0 0 0 153 3 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447230933560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25271] ppid=25252 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/25255/task/25271/stat : 25271 (java) S 25252 25255 20157 0 -1 4202560 9360 0 0 0 126 2 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447229881016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25255/tid=25272] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25272/stat : 25272 (java) S 25252 25255 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447228828664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25273] ppid=25252 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/25255/task/25273/stat : 25273 (java) S 25252 25255 20157 0 -1 4202560 53 0 0 0 18 21 0 0 20 0 22 0 27760256 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447227776328 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25274] ppid=25252 vsize=9824732 CPUtime=893.06 cores=1,3,5,7
/proc/25255/task/25274/stat : 25274 (java) R 25252 25255 20157 0 -1 4202560 1735 0 0 0 89256 50 0 0 20 0 22 0 27760517 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447226719200 140447730261151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25255/tid=25275] ppid=25252 vsize=9824732 CPUtime=893.29 cores=1,3,5,7
/proc/25255/task/25275/stat : 25275 (java) R 25252 25255 20157 0 -1 4202560 58 0 0 0 89315 14 0 0 20 0 22 0 27760517 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447225665248 140447729796875 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25255/tid=25276] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25276/stat : 25276 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27760522 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447224615976 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25255/tid=25277] ppid=25252 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25255/task/25277/stat : 25277 (java) S 25252 25255 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27760523 10060525568 651741 33554432000 1073741824 1073778376 140733236418336 140447223563432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 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 25255 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25255 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=259231
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=651748
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 899.222
CPU time (s): 1800.16
CPU user time (s): 1798.98
CPU system time (s): 1.18
CPU usage (%): 200.191
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 1.65175
maximum resident set size= 2851144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29146
page faults= 1
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22116
involuntary context switches= 16139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18506 second user time and 7.62284 second system time
The end