runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313362-1304185434/watcher-3313362-1304185434 -o /tmp/evaluation-result-3313362-1304185434/solver-3313362-1304185434 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313362-1304185434.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.89 7.78 7.82 3/194 16274
/proc/meminfo: memFree=20406264/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 1414 0 0 0 0 0 0 0 21 0 2 0 530143242 26714112 885 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 6793 888 679 9 0 381 0
[pid=16274/tid=16275] ppid=16272 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) S 16272 16274 15033 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 2 0 530143242 27824128 894 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237273955975 0 2147483391 4096 0 18446744071699199166 0 0 -1 3 0 0 0
[startup+0.030317 s]
/proc/loadavg: 6.89 7.78 7.82 3/194 16274
/proc/meminfo: memFree=20406264/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15604248 CPUtime=0.01 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 3596 0 1 0 1 0 0 0 21 0 13 0 530143242 15978749952 3035 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3901062 3035 1670 9 0 3891810 0
[pid=16274/tid=16275] ppid=16272 vsize=15604248 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 2205 0 1 0 1 0 0 0 25 0 13 0 530143242 15978749952 3035 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290706379 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604248
[startup+0.100324 s]
/proc/loadavg: 6.89 7.78 7.82 3/194 16274
/proc/meminfo: memFree=20406264/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15676280 CPUtime=0.1 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 5573 0 1 0 9 1 0 0 21 0 18 0 530143242 16052510720 5012 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3919070 5013 2118 9 0 3909789 0
[pid=16274/tid=16275] ppid=16272 vsize=15676280 CPUtime=0.08 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 3477 0 1 0 7 1 0 0 25 0 18 0 530143242 16052510720 5013 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676280
[startup+0.300271 s]
/proc/loadavg: 6.89 7.78 7.82 3/194 16274
/proc/meminfo: memFree=20406264/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15681684 CPUtime=0.51 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 15995 0 1 0 49 2 0 0 21 0 18 0 530143242 16058044416 14214 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3920421 14221 2207 9 0 3911140 0
[pid=16274/tid=16275] ppid=16272 vsize=15681684 CPUtime=0.28 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 10880 0 1 0 26 2 0 0 25 0 18 0 530143242 16058044416 14224 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505639763 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681684
[startup+0.700203 s]
/proc/loadavg: 6.89 7.78 7.82 3/194 16274
/proc/meminfo: memFree=20406264/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15681684 CPUtime=0.92 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 41779 0 1 0 86 6 0 0 21 0 18 0 530143242 16058044416 39996 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3920421 39996 2223 9 0 3911140 0
[pid=16274/tid=16275] ppid=16272 vsize=15681684 CPUtime=0.68 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 35520 0 1 0 63 5 0 0 25 0 18 0 530143242 16058044416 39996 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505547884 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681684
[startup+1.50106 s]
/proc/loadavg: 6.89 7.78 7.82 3/212 16292
/proc/meminfo: memFree=19988612/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15681684 CPUtime=1.74 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 75736 0 1 0 165 9 0 0 21 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3920421 73950 2223 9 0 3911140 0
[pid=16274/tid=16275] ppid=16272 vsize=15681684 CPUtime=1.47 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 66258 0 1 0 139 8 0 0 25 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505638205 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16274/tid=16277] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16277/stat : 16277 (java) S 16272 16274 15033 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16278] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16278/stat : 16278 (java) S 16272 16274 15033 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16279] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16279/stat : 16279 (java) S 16272 16274 15033 0 -1 4202560 1957 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16280] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16280/stat : 16280 (java) S 16272 16274 15033 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16281] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16281/stat : 16281 (java) S 16272 16274 15033 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16282] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16282/stat : 16282 (java) S 16272 16274 15033 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16283] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16283/stat : 16283 (java) S 16272 16274 15033 0 -1 4202560 1720 0 0 0 0 0 0 0 16 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16284] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16284/stat : 16284 (java) S 16272 16274 15033 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16285] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16285/stat : 16285 (java) S 16272 16274 15033 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 18 0 530143244 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 0 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16286] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16286/stat : 16286 (java) S 16272 16274 15033 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 530143244 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16287] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16287/stat : 16287 (java) S 16272 16274 15033 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 530143244 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16288] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16288/stat : 16288 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530143246 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290703281 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16289] ppid=16272 vsize=15681684 CPUtime=0.12 cores=1,3,5,7
/proc/16274/task/16289/stat : 16289 (java) S 16272 16274 15033 0 -1 4202560 2287 0 0 0 12 0 0 0 16 0 18 0 530143246 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16290] ppid=16272 vsize=15681684 CPUtime=0.1 cores=1,3,5,7
/proc/16274/task/16290/stat : 16290 (java) S 16272 16274 15033 0 -1 4202560 1445 0 0 0 10 0 0 0 25 0 18 0 530143246 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16291] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16291/stat : 16291 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530143246 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16292] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16292/stat : 16292 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530143246 16058044416 73950 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15681684
[startup+3.10078 s]
/proc/loadavg: 6.89 7.78 7.82 3/212 16292
/proc/meminfo: memFree=19511612/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15681684 CPUtime=3.42 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 145550 0 1 0 325 17 0 0 21 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3920421 143651 2241 9 0 3911140 0
[pid=16274/tid=16275] ppid=16272 vsize=15681684 CPUtime=3.06 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 127815 0 1 0 290 16 0 0 25 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505513377 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16274/tid=16277] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16277/stat : 16277 (java) S 16272 16274 15033 0 -1 4202560 2605 0 0 0 0 0 0 0 16 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16278] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16278/stat : 16278 (java) S 16272 16274 15033 0 -1 4202560 118 0 0 0 0 0 0 0 16 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16279] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16279/stat : 16279 (java) S 16272 16274 15033 0 -1 4202560 1957 0 0 0 0 0 0 0 15 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16280] ppid=16272 vsize=15681684 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16280/stat : 16280 (java) S 16272 16274 15033 0 -1 4202560 302 0 0 0 1 0 0 0 16 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16281] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16281/stat : 16281 (java) S 16272 16274 15033 0 -1 4202560 5148 0 0 0 0 0 0 0 16 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16282] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16282/stat : 16282 (java) S 16272 16274 15033 0 -1 4202560 35 0 0 0 0 0 0 0 16 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16283] ppid=16272 vsize=15681684 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16283/stat : 16283 (java) S 16272 16274 15033 0 -1 4202560 1801 0 0 0 1 0 0 0 16 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16284] ppid=16272 vsize=15681684 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16284/stat : 16284 (java) S 16272 16274 15033 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 18 0 530143242 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16285] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16285/stat : 16285 (java) S 16272 16274 15033 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 18 0 530143244 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 0 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16286] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16286/stat : 16286 (java) S 16272 16274 15033 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 530143244 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16287] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16287/stat : 16287 (java) S 16272 16274 15033 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 530143244 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16288] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16288/stat : 16288 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530143246 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290703281 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16289] ppid=16272 vsize=15681684 CPUtime=0.15 cores=1,3,5,7
/proc/16274/task/16289/stat : 16289 (java) S 16272 16274 15033 0 -1 4202560 2306 0 0 0 15 0 0 0 16 0 18 0 530143246 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16290] ppid=16272 vsize=15681684 CPUtime=0.12 cores=1,3,5,7
/proc/16274/task/16290/stat : 16290 (java) S 16272 16274 15033 0 -1 4202560 1584 0 0 0 12 0 0 0 16 0 18 0 530143246 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16291] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16291/stat : 16291 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530143246 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16292] ppid=16272 vsize=15681684 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16292/stat : 16292 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530143246 16058044416 143651 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 15681684
[startup+6.30121 s]
/proc/loadavg: 6.50 7.68 7.79 3/216 16296
/proc/meminfo: memFree=18513440/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15704720 CPUtime=7.95 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 283421 0 1 0 763 32 0 0 21 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3926180 272962 2266 9 0 3916899 0
[pid=16274/tid=16275] ppid=16272 vsize=15704720 CPUtime=6.26 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) R 16272 16274 15033 0 -1 4202560 245802 0 1 0 597 29 0 0 25 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505792003 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16274/tid=16277] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16277/stat : 16277 (java) S 16272 16274 15033 0 -1 4202560 2606 0 0 0 0 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16278] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16278/stat : 16278 (java) S 16272 16274 15033 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16279] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16279/stat : 16279 (java) S 16272 16274 15033 0 -1 4202560 1958 0 0 0 0 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16280] ppid=16272 vsize=15704720 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16280/stat : 16280 (java) S 16272 16274 15033 0 -1 4202560 302 0 0 0 1 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16281] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16281/stat : 16281 (java) S 16272 16274 15033 0 -1 4202560 5148 0 0 0 0 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16282] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16282/stat : 16282 (java) S 16272 16274 15033 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16283] ppid=16272 vsize=15704720 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16283/stat : 16283 (java) S 16272 16274 15033 0 -1 4202560 1810 0 0 0 1 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16284] ppid=16272 vsize=15704720 CPUtime=0.01 cores=1,3,5,7
/proc/16274/task/16284/stat : 16284 (java) S 16272 16274 15033 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 22 0 530143242 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16285] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16285/stat : 16285 (java) S 16272 16274 15033 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 22 0 530143244 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 0 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16286] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16286/stat : 16286 (java) S 16272 16274 15033 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530143244 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16287] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16287/stat : 16287 (java) S 16272 16274 15033 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 530143244 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16288] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16288/stat : 16288 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290703281 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16289] ppid=16272 vsize=15704720 CPUtime=0.71 cores=1,3,5,7
/proc/16274/task/16289/stat : 16289 (java) S 16272 16274 15033 0 -1 4202560 12662 0 0 0 70 1 0 0 15 0 22 0 530143246 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16290] ppid=16272 vsize=15704720 CPUtime=0.88 cores=1,3,5,7
/proc/16274/task/16290/stat : 16290 (java) S 16272 16274 15033 0 -1 4202560 11043 0 0 0 87 1 0 0 16 0 22 0 530143246 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16291] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16291/stat : 16291 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16292] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16292/stat : 16292 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530143246 16081633280 272962 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=16274/tid=16294] ppid=16272 vsize=15704720 CPUtime=1075.34 cores=1,3,5,7
/proc/16274/task/16294/stat : 16294 (java) R 16272 16274 15033 0 -1 4202560 108017 0 0 0 107520 14 0 0 25 0 22 0 530143655 16081633280 358523 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506328219 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16274/tid=16295] ppid=16272 vsize=15704720 CPUtime=1081.04 cores=1,3,5,7
/proc/16274/task/16295/stat : 16295 (java) R 16272 16274 15033 0 -1 4202560 109396 0 0 0 108090 14 0 0 25 0 22 0 530143655 16081633280 358523 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506216431 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16274/tid=16296] ppid=16272 vsize=15704720 CPUtime=1090.2 cores=1,3,5,7
/proc/16274/task/16296/stat : 16296 (java) R 16272 16274 15033 0 -1 4202560 174458 0 0 0 109000 20 0 0 25 0 22 0 530143655 16081633280 358523 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506262649 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4385.48
Current children cumulated vsize (KiB) 15704720
[startup+1182.31 s]
/proc/loadavg: 8.10 7.86 7.45 9/220 16340
/proc/meminfo: memFree=12061044/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15704720 CPUtime=4624.79 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 2730969 0 1 0 462024 455 0 0 21 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3926180 418149 2295 9 0 3916899 0
[pid=16274/tid=16275] ppid=16272 vsize=15704720 CPUtime=18.3 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) S 16272 16274 15033 0 -1 4202560 245858 0 1 0 1801 29 0 0 25 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16277] ppid=16272 vsize=15704720 CPUtime=3.75 cores=1,3,5,7
/proc/16274/task/16277/stat : 16277 (java) S 16272 16274 15033 0 -1 4202560 202293 0 0 0 344 31 0 0 15 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16278] ppid=16272 vsize=15704720 CPUtime=3.74 cores=1,3,5,7
/proc/16274/task/16278/stat : 16278 (java) S 16272 16274 15033 0 -1 4202560 270209 0 0 0 331 43 0 0 16 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16279] ppid=16272 vsize=15704720 CPUtime=3.66 cores=1,3,5,7
/proc/16274/task/16279/stat : 16279 (java) R 16272 16274 15033 0 -1 4202560 243781 0 0 0 326 40 0 0 15 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696646 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16274/tid=16280] ppid=16272 vsize=15704720 CPUtime=4.18 cores=1,3,5,7
/proc/16274/task/16280/stat : 16280 (java) S 16272 16274 15033 0 -1 4202560 278584 0 0 0 370 48 0 0 15 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16281] ppid=16272 vsize=15704720 CPUtime=3.82 cores=1,3,5,7
/proc/16274/task/16281/stat : 16281 (java) R 16272 16274 15033 0 -1 4202560 218765 0 0 0 347 35 0 0 15 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237278832951 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16274/tid=16282] ppid=16272 vsize=15704720 CPUtime=3.49 cores=1,3,5,7
/proc/16274/task/16282/stat : 16282 (java) S 16272 16274 15033 0 -1 4202560 183983 0 0 0 319 30 0 0 15 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16283] ppid=16272 vsize=15704720 CPUtime=3.58 cores=1,3,5,7
/proc/16274/task/16283/stat : 16283 (java) S 16272 16274 15033 0 -1 4202560 247573 0 0 0 317 41 0 0 16 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16284] ppid=16272 vsize=15704720 CPUtime=3.78 cores=1,3,5,7
/proc/16274/task/16284/stat : 16284 (java) S 16272 16274 15033 0 -1 4202560 255620 0 0 0 338 40 0 0 15 0 22 0 530143242 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16285] ppid=16272 vsize=15704720 CPUtime=1.87 cores=1,3,5,7
/proc/16274/task/16285/stat : 16285 (java) S 16272 16274 15033 0 -1 4202560 8649 0 0 0 148 39 0 0 15 0 22 0 530143244 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 0 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16286] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16286/stat : 16286 (java) S 16272 16274 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530143244 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16287] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16287/stat : 16287 (java) S 16272 16274 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530143244 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16288] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16288/stat : 16288 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290703281 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16289] ppid=16272 vsize=15704720 CPUtime=1.34 cores=1,3,5,7
/proc/16274/task/16289/stat : 16289 (java) S 16272 16274 15033 0 -1 4202560 12731 0 0 0 133 1 0 0 15 0 22 0 530143246 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16290] ppid=16272 vsize=15704720 CPUtime=2.38 cores=1,3,5,7
/proc/16274/task/16290/stat : 16290 (java) S 16272 16274 15033 0 -1 4202560 11286 0 0 0 237 1 0 0 15 0 22 0 530143246 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16291] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16291/stat : 16291 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16292] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16292/stat : 16292 (java) S 16272 16274 15033 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530143246 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16293] ppid=16272 vsize=15704720 CPUtime=1145.87 cores=1,3,5,7
/proc/16274/task/16293/stat : 16293 (java) S 16272 16274 15033 0 -1 4202560 125062 0 0 0 114572 15 0 0 25 0 22 0 530143655 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16294] ppid=16272 vsize=15704720 CPUtime=1134.76 cores=1,3,5,7
/proc/16274/task/16294/stat : 16294 (java) S 16272 16274 15033 0 -1 4202560 118358 0 0 0 113461 15 0 0 25 0 22 0 530143655 16081633280 418149 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16295] ppid=16272 vsize=15704720 CPUtime=1140.47 cores=1,3,5,7
/proc/16274/task/16295/stat : 16295 (java) S 16272 16274 15033 0 -1 4202560 118626 0 0 0 114032 15 0 0 25 0 22 0 530143655 16081633280 417717 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16296] ppid=16272 vsize=15704720 CPUtime=1149.63 cores=1,3,5,7
/proc/16274/task/16296/stat : 16296 (java) S 16272 16274 15033 0 -1 4202560 188137 0 0 0 114941 22 0 0 25 0 22 0 530143655 16081633280 417717 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4624.79
Current children cumulated vsize (KiB) 15704720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1226.51 s]
/proc/loadavg: 8.45 7.97 7.50 10/221 16344
/proc/meminfo: memFree=12027268/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15704720 CPUtime=4800.29 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 2818216 0 1 0 479559 470 0 0 21 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3926180 418053 2295 9 0 3916899 0
[pid=16274/tid=16275] ppid=16272 vsize=15704720 CPUtime=18.3 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) S 16272 16274 15033 0 -1 4202560 245858 0 1 0 1801 29 0 0 25 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16277] ppid=16272 vsize=15704720 CPUtime=3.91 cores=1,3,5,7
/proc/16274/task/16277/stat : 16277 (java) S 16272 16274 15033 0 -1 4202560 206645 0 0 0 359 32 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16278] ppid=16272 vsize=15704720 CPUtime=3.87 cores=1,3,5,7
/proc/16274/task/16278/stat : 16278 (java) S 16272 16274 15033 0 -1 4202560 278924 0 0 0 342 45 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16279] ppid=16272 vsize=15704720 CPUtime=3.81 cores=1,3,5,7
/proc/16274/task/16279/stat : 16279 (java) S 16272 16274 15033 0 -1 4202560 253256 0 0 0 340 41 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16280] ppid=16272 vsize=15704720 CPUtime=4.35 cores=1,3,5,7
/proc/16274/task/16280/stat : 16280 (java) S 16272 16274 15033 0 -1 4202560 286331 0 0 0 386 49 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16281] ppid=16272 vsize=15704720 CPUtime=3.98 cores=1,3,5,7
/proc/16274/task/16281/stat : 16281 (java) S 16272 16274 15033 0 -1 4202560 226431 0 0 0 361 37 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16282] ppid=16272 vsize=15704720 CPUtime=3.7 cores=1,3,5,7
/proc/16274/task/16282/stat : 16282 (java) S 16272 16274 15033 0 -1 4202560 200175 0 0 0 337 33 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16283] ppid=16272 vsize=15704720 CPUtime=3.78 cores=1,3,5,7
/proc/16274/task/16283/stat : 16283 (java) S 16272 16274 15033 0 -1 4202560 258993 0 0 0 335 43 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16284] ppid=16272 vsize=15704720 CPUtime=3.93 cores=1,3,5,7
/proc/16274/task/16284/stat : 16284 (java) S 16272 16274 15033 0 -1 4202560 268914 0 0 0 351 42 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16285] ppid=16272 vsize=15704720 CPUtime=1.94 cores=1,3,5,7
/proc/16274/task/16285/stat : 16285 (java) S 16272 16274 15033 0 -1 4202560 8889 0 0 0 153 41 0 0 15 0 22 0 530143244 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 0 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16286] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16286/stat : 16286 (java) S 16272 16274 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530143244 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16287] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16287/stat : 16287 (java) S 16272 16274 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530143244 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16288] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16288/stat : 16288 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290703281 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16289] ppid=16272 vsize=15704720 CPUtime=1.34 cores=1,3,5,7
/proc/16274/task/16289/stat : 16289 (java) S 16272 16274 15033 0 -1 4202560 12731 0 0 0 133 1 0 0 15 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16290] ppid=16272 vsize=15704720 CPUtime=2.38 cores=1,3,5,7
/proc/16274/task/16290/stat : 16290 (java) S 16272 16274 15033 0 -1 4202560 11286 0 0 0 237 1 0 0 15 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16291] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16291/stat : 16291 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16292] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16292/stat : 16292 (java) S 16272 16274 15033 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16293] ppid=16272 vsize=15704720 CPUtime=1189.46 cores=1,3,5,7
/proc/16274/task/16293/stat : 16293 (java) R 16272 16274 15033 0 -1 4202560 125514 0 0 0 118930 16 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506216604 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16274/tid=16294] ppid=16272 vsize=15704720 CPUtime=1177.87 cores=1,3,5,7
/proc/16274/task/16294/stat : 16294 (java) R 16272 16274 15033 0 -1 4202560 122361 0 0 0 117772 15 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505969031 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16274/tid=16295] ppid=16272 vsize=15704720 CPUtime=1184.13 cores=1,3,5,7
/proc/16274/task/16295/stat : 16295 (java) R 16272 16274 15033 0 -1 4202560 119301 0 0 0 118398 15 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506394623 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16274/tid=16296] ppid=16272 vsize=15704720 CPUtime=1193.38 cores=1,3,5,7
/proc/16274/task/16296/stat : 16296 (java) R 16272 16274 15033 0 -1 4202560 191151 0 0 0 119316 22 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505915575 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15704720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1226.51 s]
/proc/loadavg: 8.45 7.97 7.50 10/221 16344
/proc/meminfo: memFree=12027268/32950904 swapFree=67082284/67111528
[pid=16274] ppid=16272 vsize=15704720 CPUtime=4800.29 cores=1,3,5,7
/proc/16274/stat : 16274 (java) S 16272 16274 15033 0 -1 4202496 2818216 0 1 0 479559 470 0 0 21 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16274/statm: 3926180 418053 2295 9 0 3916899 0
[pid=16274/tid=16275] ppid=16272 vsize=15704720 CPUtime=18.3 cores=1,3,5,7
/proc/16274/task/16275/stat : 16275 (java) S 16272 16274 15033 0 -1 4202560 245858 0 1 0 1801 29 0 0 25 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16277] ppid=16272 vsize=15704720 CPUtime=3.91 cores=1,3,5,7
/proc/16274/task/16277/stat : 16277 (java) S 16272 16274 15033 0 -1 4202560 206645 0 0 0 359 32 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16278] ppid=16272 vsize=15704720 CPUtime=3.87 cores=1,3,5,7
/proc/16274/task/16278/stat : 16278 (java) S 16272 16274 15033 0 -1 4202560 278924 0 0 0 342 45 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16279] ppid=16272 vsize=15704720 CPUtime=3.81 cores=1,3,5,7
/proc/16274/task/16279/stat : 16279 (java) S 16272 16274 15033 0 -1 4202560 253256 0 0 0 340 41 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16280] ppid=16272 vsize=15704720 CPUtime=4.35 cores=1,3,5,7
/proc/16274/task/16280/stat : 16280 (java) S 16272 16274 15033 0 -1 4202560 286331 0 0 0 386 49 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16281] ppid=16272 vsize=15704720 CPUtime=3.98 cores=1,3,5,7
/proc/16274/task/16281/stat : 16281 (java) S 16272 16274 15033 0 -1 4202560 226431 0 0 0 361 37 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16282] ppid=16272 vsize=15704720 CPUtime=3.7 cores=1,3,5,7
/proc/16274/task/16282/stat : 16282 (java) S 16272 16274 15033 0 -1 4202560 200175 0 0 0 337 33 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16283] ppid=16272 vsize=15704720 CPUtime=3.78 cores=1,3,5,7
/proc/16274/task/16283/stat : 16283 (java) S 16272 16274 15033 0 -1 4202560 258993 0 0 0 335 43 0 0 16 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16284] ppid=16272 vsize=15704720 CPUtime=3.93 cores=1,3,5,7
/proc/16274/task/16284/stat : 16284 (java) S 16272 16274 15033 0 -1 4202560 268914 0 0 0 351 42 0 0 15 0 22 0 530143242 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16285] ppid=16272 vsize=15704720 CPUtime=1.94 cores=1,3,5,7
/proc/16274/task/16285/stat : 16285 (java) S 16272 16274 15033 0 -1 4202560 8889 0 0 0 153 41 0 0 15 0 22 0 530143244 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 0 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16286] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16286/stat : 16286 (java) S 16272 16274 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530143244 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16287] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16287/stat : 16287 (java) S 16272 16274 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530143244 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 7 0 0 0
[pid=16274/tid=16288] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16288/stat : 16288 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290703281 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16289] ppid=16272 vsize=15704720 CPUtime=1.34 cores=1,3,5,7
/proc/16274/task/16289/stat : 16289 (java) S 16272 16274 15033 0 -1 4202560 12731 0 0 0 133 1 0 0 15 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 5 0 0 0
[pid=16274/tid=16290] ppid=16272 vsize=15704720 CPUtime=2.38 cores=1,3,5,7
/proc/16274/task/16290/stat : 16290 (java) S 16272 16274 15033 0 -1 4202560 11286 0 0 0 237 1 0 0 15 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16291] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16291/stat : 16291 (java) S 16272 16274 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290695577 0 4 0 16800975 18446604468641548224 0 0 -1 3 0 0 0
[pid=16274/tid=16292] ppid=16272 vsize=15704720 CPUtime=0 cores=1,3,5,7
/proc/16274/task/16292/stat : 16292 (java) S 16272 16274 15033 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530143246 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 237290696192 0 4 0 16800975 18446604468641548224 0 0 -1 1 0 0 0
[pid=16274/tid=16293] ppid=16272 vsize=15704720 CPUtime=1189.46 cores=1,3,5,7
/proc/16274/task/16293/stat : 16293 (java) R 16272 16274 15033 0 -1 4202560 125514 0 0 0 118930 16 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506216604 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16274/tid=16294] ppid=16272 vsize=15704720 CPUtime=1177.87 cores=1,3,5,7
/proc/16274/task/16294/stat : 16294 (java) R 16272 16274 15033 0 -1 4202560 122361 0 0 0 117772 15 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505969031 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16274/tid=16295] ppid=16272 vsize=15704720 CPUtime=1184.13 cores=1,3,5,7
/proc/16274/task/16295/stat : 16295 (java) R 16272 16274 15033 0 -1 4202560 119301 0 0 0 118398 15 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912506394623 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16274/tid=16296] ppid=16272 vsize=15704720 CPUtime=1193.38 cores=1,3,5,7
/proc/16274/task/16296/stat : 16296 (java) R 16272 16274 15033 0 -1 4202560 191151 0 0 0 119316 22 0 0 25 0 22 0 530143655 16081633280 418053 33554432000 1073741824 1073778376 140735447055408 18446744073709551615 46912505915575 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15704720
Child status: 143
Real time (s): 1226.59
CPU time (s): 4800.4
CPU user time (s): 4795.62
CPU system time (s): 4.77427
CPU usage (%): 391.361
Max. virtual memory (cumulated for all children) (KiB): 15712016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.62
system time used= 4.77427
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2818242
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= 49098
involuntary context switches= 58960
runsolver used 2.15067 second user time and 4.6033 second system time
The end