runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458300-1307158644/watcher-3458300-1307158644 -o /tmp/evaluation-result-3458300-1307158644/solver-3458300-1307158644 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458300-1307158644.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.08 2.02 2/461 23119
/proc/meminfo: memFree=29793304/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 3176 0 1 0 0 0 0 0 22 0 2 0 906095116 13833195520 2877 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3377245 2891 906 9 0 3368401 0
[pid=23119/tid=23120] ppid=23117 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 5623 0 1 0 0 0 0 0 24 0 2 0 906095116 13850947584 6440 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.108337 s]
/proc/loadavg: 2.10 2.08 2.02 2/461 23119
/proc/meminfo: memFree=29793304/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13687084 CPUtime=0.11 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 15681 0 1 0 10 1 0 0 22 0 18 0 906095116 14015574016 15347 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3421771 15347 2105 9 0 3412505 0
[pid=23119/tid=23120] ppid=23117 vsize=13687084 CPUtime=0.09 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 13744 0 1 0 8 1 0 0 18 0 18 0 906095116 14015574016 15347 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 47695442103022 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13687084
[startup+0.200329 s]
/proc/loadavg: 2.10 2.08 2.02 2/461 23119
/proc/meminfo: memFree=29793304/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13687732 CPUtime=0.25 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 16603 0 1 0 23 2 0 0 22 0 18 0 906095116 14016237568 16252 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3421933 16252 2171 9 0 3412667 0
[pid=23119/tid=23120] ppid=23117 vsize=13687732 CPUtime=0.18 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 14342 0 1 0 17 1 0 0 18 0 18 0 906095116 14016237568 16252 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13687732
[startup+0.305384 s]
/proc/loadavg: 2.10 2.08 2.02 2/461 23119
/proc/meminfo: memFree=29793304/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13688696 CPUtime=0.48 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 18051 0 1 0 46 2 0 0 22 0 18 0 906095116 14017224704 17572 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3422174 17572 2219 9 0 3412908 0
[pid=23119/tid=23120] ppid=23117 vsize=13688696 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 15315 0 1 0 27 1 0 0 18 0 18 0 906095116 14017224704 17573 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912505556829 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13688696
[startup+0.700263 s]
/proc/loadavg: 2.10 2.08 2.02 2/461 23119
/proc/meminfo: memFree=29793304/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13701464 CPUtime=1.5 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 44771 0 1 0 145 5 0 0 22 0 18 0 906095116 14030299136 41448 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425366 41452 2236 9 0 3416100 0
[pid=23119/tid=23120] ppid=23117 vsize=13701464 CPUtime=0.68 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 34427 0 1 0 64 4 0 0 18 0 18 0 906095116 14030299136 41455 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912505624885 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13701464
[startup+1.50112 s]
/proc/loadavg: 2.10 2.08 2.02 3/480 23138
/proc/meminfo: memFree=29625744/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13702492 CPUtime=2.8 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 47894 0 1 0 275 5 0 0 22 0 19 0 906095116 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425623 44569 2244 9 0 3416357 0
[pid=23119/tid=23120] ppid=23117 vsize=13702492 CPUtime=1.48 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 37400 0 1 0 144 4 0 0 20 0 19 0 906095116 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912505835653 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23119/tid=23122] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23122/stat : 23122 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23123] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23123/stat : 23123 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23124] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23124/stat : 23124 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23125] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23125/stat : 23125 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23126] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23126/stat : 23126 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23127] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 906095119 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906095120 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906095120 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13702492 CPUtime=0.66 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5019 0 0 0 66 0 0 0 23 0 19 0 906095122 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13702492 CPUtime=0.63 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4315 0 0 0 63 0 0 0 15 0 19 0 906095122 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23136] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23136/stat : 23136 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23137] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23137/stat : 23137 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906095122 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23138] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23138/stat : 23138 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906095189 14031351808 44569 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 13702492
[startup+3.10081 s]
/proc/loadavg: 2.10 2.08 2.02 4/480 23138
/proc/meminfo: memFree=29620288/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13702492 CPUtime=4.44 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 48742 0 1 0 438 6 0 0 22 0 19 0 906095116 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425623 45415 2245 9 0 3416357 0
[pid=23119/tid=23120] ppid=23117 vsize=13702492 CPUtime=3.08 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 38240 0 1 0 304 4 0 0 25 0 19 0 906095116 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912506116940 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23119/tid=23122] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23122/stat : 23122 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23123] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23123/stat : 23123 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23124] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23124/stat : 23124 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23125] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23125/stat : 23125 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23126] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23126/stat : 23126 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23127] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095118 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906095119 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906095120 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906095120 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13702492 CPUtime=0.69 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5026 0 0 0 69 0 0 0 15 0 19 0 906095122 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13702492 CPUtime=0.63 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4315 0 0 0 63 0 0 0 15 0 19 0 906095122 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23136] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23136/stat : 23136 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23137] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23137/stat : 23137 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906095122 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23138] ppid=23117 vsize=13702492 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23138/stat : 23138 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906095189 14031351808 45415 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 13702492
[startup+6.30122 s]
/proc/loadavg: 2.09 2.08 2.02 3/480 23138
/proc/meminfo: memFree=29543028/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13700264 CPUtime=7.73 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 67845 0 1 0 766 7 0 0 22 0 19 0 906095116 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425066 63985 2270 9 0 3415800 0
[pid=23119/tid=23120] ppid=23117 vsize=13700264 CPUtime=6.09 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 39126 0 1 0 604 5 0 0 17 0 19 0 906095116 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912505835908 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23119/tid=23122] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23122/stat : 23122 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23123] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23123/stat : 23123 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23124] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23124/stat : 23124 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23125] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23125/stat : 23125 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23126] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23126/stat : 23126 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23127] ppid=23117 vsize=13700264 CPUtime=0.03 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 2736 0 0 0 3 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13700264 CPUtime=0.03 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 2821 0 0 0 3 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13700264 CPUtime=0.03 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 2736 0 0 0 3 0 0 0 18 0 19 0 906095118 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13700264 CPUtime=0.14 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 9920 0 0 0 14 0 0 0 15 0 19 0 906095119 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13700264 CPUtime=0.7 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5031 0 0 0 70 0 0 0 15 0 19 0 906095122 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13700264 CPUtime=0.65 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4319 0 0 0 65 0 0 0 15 0 19 0 906095122 14029070336 63985 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=23119/tid=23127] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 3117 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13700264 CPUtime=0.24 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 8581 0 0 0 24 0 0 0 16 0 19 0 906095118 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13700264 CPUtime=0.29 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 7698 0 0 0 28 1 0 0 15 0 19 0 906095118 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13700264 CPUtime=10.19 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 21019 0 0 0 1016 3 0 0 15 0 19 0 906095119 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13700264 CPUtime=0.77 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5043 0 0 0 77 0 0 0 15 0 19 0 906095122 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13700264 CPUtime=0.69 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4325 0 0 0 69 0 0 0 15 0 19 0 906095122 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23136] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23136/stat : 23136 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23137] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23137/stat : 23137 (java) S 23117 23119 18266 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 906095122 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23138] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23138/stat : 23138 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906095189 14029070336 98547 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.19
Current children cumulated vsize (KiB) 13700264
[startup+1722.3 s]
/proc/loadavg: 2.19 2.09 2.02 3/480 23244
/proc/meminfo: memFree=29158548/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13700264 CPUtime=1725.24 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 103818 0 1 0 172510 14 0 0 22 0 19 0 906095116 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425066 99619 2271 9 0 3415800 0
[pid=23119/tid=23120] ppid=23117 vsize=13700264 CPUtime=1711.02 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 39206 0 1 0 171097 5 0 0 25 0 19 0 906095116 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912506117563 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23119/tid=23122] ppid=23117 vsize=13700264 CPUtime=0.25 cores=1,3,5,7
/proc/23119/task/23122/stat : 23122 (java) S 23117 23119 18266 0 -1 4202560 4124 0 0 0 25 0 0 0 16 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23123] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23123/stat : 23123 (java) S 23117 23119 18266 0 -1 4202560 1733 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23124] ppid=23117 vsize=13700264 CPUtime=0.29 cores=1,3,5,7
/proc/23119/task/23124/stat : 23124 (java) S 23117 23119 18266 0 -1 4202560 2359 0 0 0 29 0 0 0 15 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23125] ppid=23117 vsize=13700264 CPUtime=0.25 cores=1,3,5,7
/proc/23119/task/23125/stat : 23125 (java) S 23117 23119 18266 0 -1 4202560 3009 0 0 0 25 0 0 0 15 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23126] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23126/stat : 23126 (java) S 23117 23119 18266 0 -1 4202560 1280 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23127] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 3117 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13700264 CPUtime=0.26 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 8581 0 0 0 26 0 0 0 16 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13700264 CPUtime=0.31 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 7698 0 0 0 30 1 0 0 15 0 19 0 906095118 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13700264 CPUtime=10.48 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 22094 0 0 0 1045 3 0 0 15 0 19 0 906095119 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13700264 CPUtime=0.77 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5043 0 0 0 77 0 0 0 15 0 19 0 906095122 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13700264 CPUtime=0.69 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4325 0 0 0 69 0 0 0 15 0 19 0 906095122 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23136] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23136/stat : 23136 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23137] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23137/stat : 23137 (java) S 23117 23119 18266 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 906095122 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23138] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23138/stat : 23138 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906095189 14029070336 99619 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.24
Current children cumulated vsize (KiB) 13700264
[startup+1782.3 s]
/proc/loadavg: 2.20 2.13 2.04 3/480 23245
/proc/meminfo: memFree=29082604/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13700264 CPUtime=1785.28 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 105159 0 1 0 178514 14 0 0 22 0 19 0 906095116 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425066 100952 2271 9 0 3415800 0
[pid=23119/tid=23120] ppid=23117 vsize=13700264 CPUtime=1770.84 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 39207 0 1 0 177079 5 0 0 25 0 19 0 906095116 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912506050589 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23119/tid=23122] ppid=23117 vsize=13700264 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23122/stat : 23122 (java) S 23117 23119 18266 0 -1 4202560 4140 0 0 0 28 0 0 0 16 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23123] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23123/stat : 23123 (java) S 23117 23119 18266 0 -1 4202560 1741 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23124] ppid=23117 vsize=13700264 CPUtime=0.3 cores=1,3,5,7
/proc/23119/task/23124/stat : 23124 (java) S 23117 23119 18266 0 -1 4202560 2471 0 0 0 30 0 0 0 16 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23125] ppid=23117 vsize=13700264 CPUtime=0.25 cores=1,3,5,7
/proc/23119/task/23125/stat : 23125 (java) S 23117 23119 18266 0 -1 4202560 3012 0 0 0 25 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23126] ppid=23117 vsize=13700264 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23126/stat : 23126 (java) S 23117 23119 18266 0 -1 4202560 1399 0 0 0 28 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23127] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 3117 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13700264 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 8889 0 0 0 28 0 0 0 16 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13700264 CPUtime=0.31 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 7794 0 0 0 30 1 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13700264 CPUtime=10.63 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 22768 0 0 0 1060 3 0 0 15 0 19 0 906095119 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13700264 CPUtime=0.77 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5043 0 0 0 77 0 0 0 15 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13700264 CPUtime=0.69 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4325 0 0 0 69 0 0 0 15 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23136] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23136/stat : 23136 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23137] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23137/stat : 23137 (java) S 23117 23119 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23138] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23138/stat : 23138 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906095189 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.28
Current children cumulated vsize (KiB) 13700264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.15 2.12 2.03 3/480 23246
/proc/meminfo: memFree=29068320/32950928 swapFree=52246700/67111528
[pid=23119] ppid=23117 vsize=13700264 CPUtime=1800.09 cores=1,3,5,7
/proc/23119/stat : 23119 (java) S 23117 23119 18266 0 -1 4202496 105159 0 1 0 179995 14 0 0 22 0 19 0 906095116 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23119/statm: 3425066 100952 2271 9 0 3415800 0
[pid=23119/tid=23120] ppid=23117 vsize=13700264 CPUtime=1785.66 cores=1,3,5,7
/proc/23119/task/23120/stat : 23120 (java) R 23117 23119 18266 0 -1 4202560 39207 0 1 0 178561 5 0 0 25 0 19 0 906095116 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 46912506050674 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23119/tid=23122] ppid=23117 vsize=13700264 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23122/stat : 23122 (java) S 23117 23119 18266 0 -1 4202560 4140 0 0 0 28 0 0 0 16 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23123] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23123/stat : 23123 (java) S 23117 23119 18266 0 -1 4202560 1741 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23124] ppid=23117 vsize=13700264 CPUtime=0.3 cores=1,3,5,7
/proc/23119/task/23124/stat : 23124 (java) S 23117 23119 18266 0 -1 4202560 2471 0 0 0 30 0 0 0 16 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23125] ppid=23117 vsize=13700264 CPUtime=0.25 cores=1,3,5,7
/proc/23119/task/23125/stat : 23125 (java) S 23117 23119 18266 0 -1 4202560 3012 0 0 0 25 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23126] ppid=23117 vsize=13700264 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23126/stat : 23126 (java) S 23117 23119 18266 0 -1 4202560 1399 0 0 0 28 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23127] ppid=23117 vsize=13700264 CPUtime=0.27 cores=1,3,5,7
/proc/23119/task/23127/stat : 23127 (java) S 23117 23119 18266 0 -1 4202560 3117 0 0 0 27 0 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23128] ppid=23117 vsize=13700264 CPUtime=0.28 cores=1,3,5,7
/proc/23119/task/23128/stat : 23128 (java) S 23117 23119 18266 0 -1 4202560 8889 0 0 0 28 0 0 0 16 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23129] ppid=23117 vsize=13700264 CPUtime=0.31 cores=1,3,5,7
/proc/23119/task/23129/stat : 23129 (java) S 23117 23119 18266 0 -1 4202560 7794 0 0 0 30 1 0 0 15 0 19 0 906095118 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23130] ppid=23117 vsize=13700264 CPUtime=10.63 cores=1,3,5,7
/proc/23119/task/23130/stat : 23130 (java) S 23117 23119 18266 0 -1 4202560 22768 0 0 0 1060 3 0 0 15 0 19 0 906095119 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 0 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23131] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23131/stat : 23131 (java) S 23117 23119 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23132] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23132/stat : 23132 (java) S 23117 23119 18266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906095120 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
[pid=23119/tid=23133] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23133/stat : 23133 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907314097 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23134] ppid=23117 vsize=13700264 CPUtime=0.77 cores=1,3,5,7
/proc/23119/task/23134/stat : 23134 (java) S 23117 23119 18266 0 -1 4202560 5043 0 0 0 77 0 0 0 15 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23135] ppid=23117 vsize=13700264 CPUtime=0.69 cores=1,3,5,7
/proc/23119/task/23135/stat : 23135 (java) S 23117 23119 18266 0 -1 4202560 4325 0 0 0 69 0 0 0 15 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 1 0 0 0
[pid=23119/tid=23136] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23136/stat : 23136 (java) S 23117 23119 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907306393 0 4 0 16800975 18446604463643032256 0 0 -1 3 0 0 0
[pid=23119/tid=23137] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23137/stat : 23137 (java) S 23117 23119 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906095122 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 5 0 0 0
[pid=23119/tid=23138] ppid=23117 vsize=13700264 CPUtime=0 cores=1,3,5,7
/proc/23119/task/23138/stat : 23138 (java) S 23117 23119 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906095189 14029070336 100952 33554432000 1073741824 1073778376 140737356567056 18446744073709551615 231907307008 0 4 0 16800975 18446604463643032256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13700264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.19
CPU time (s): 1800.21
CPU user time (s): 1800.05
CPU system time (s): 0.162975
CPU usage (%): 100.169
Max. virtual memory (cumulated for all children) (KiB): 13702492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105201
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38840
involuntary context switches= 45296
runsolver used 8.08577 second user time and 18.1012 second system time
The end