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-3312240-1304100936/watcher-3312240-1304100936 -o /tmp/evaluation-result-3312240-1304100936/solver-3312240-1304100936 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312240-1304100936.cnf -hbr 2
running on 4 cores: 0,2,4,6
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.05 7.63 7.88 3/172 13264
/proc/meminfo: memFree=26240084/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13264/stat : 13264 (java) R 13262 13264 12928 0 -1 4202496 891 0 0 0 0 0 0 0 21 0 1 0 521692745 23580672 378 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242965587733 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13264/statm: 5757 389 301 9 0 124 0
[startup+0.099651 s]
/proc/loadavg: 6.05 7.63 7.88 3/172 13264
/proc/meminfo: memFree=26240084/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15676336 CPUtime=0.1 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 5350 0 1 0 9 1 0 0 21 0 18 0 521692745 16052568064 4790 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3919084 4790 2116 9 0 3909803 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676336
[startup+0.100626 s]
/proc/loadavg: 6.05 7.63 7.88 3/172 13264
/proc/meminfo: memFree=26240084/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15676336 CPUtime=0.1 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 5358 0 1 0 9 1 0 0 21 0 18 0 521692745 16052568064 4798 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3919084 4798 2117 9 0 3909803 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676336
[startup+0.300612 s]
/proc/loadavg: 6.05 7.63 7.88 3/172 13264
/proc/meminfo: memFree=26240084/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15680344 CPUtime=0.49 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 10271 0 1 0 44 5 0 0 21 0 18 0 521692745 16056672256 9365 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3920086 9365 2203 9 0 3910805 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15680344
[startup+0.700542 s]
/proc/loadavg: 6.05 7.63 7.88 3/172 13264
/proc/meminfo: memFree=26240084/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15684456 CPUtime=1.01 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 42927 0 1 0 93 8 0 0 21 0 18 0 521692745 16060882944 41066 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3921114 41066 2223 9 0 3911833 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 15684456
[startup+1.5014 s]
/proc/loadavg: 6.05 7.63 7.88 3/190 13282
/proc/meminfo: memFree=26033680/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15684456 CPUtime=1.84 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 76884 0 1 0 171 13 0 0 21 0 18 0 521692745 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3921114 75020 2223 9 0 3911833 0
[pid=13264/tid=13266] ppid=13262 vsize=15684456 CPUtime=1.46 cores=0,2,4,6
/proc/13264/task/13266/stat : 13266 (java) R 13262 13264 12928 0 -1 4202560 65318 0 1 0 138 8 0 0 19 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982369025 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13264/tid=13267] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13267/stat : 13267 (java) S 13262 13264 12928 0 -1 4202560 2006 0 0 0 0 0 0 0 15 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13268] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13268/stat : 13268 (java) S 13262 13264 12928 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13269] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13269/stat : 13269 (java) S 13262 13264 12928 0 -1 4202560 515 0 0 0 0 0 0 0 15 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13270] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13270/stat : 13270 (java) S 13262 13264 12928 0 -1 4202560 970 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13271] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13271/stat : 13271 (java) S 13262 13264 12928 0 -1 4202560 799 0 0 0 0 0 0 0 15 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13272] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13272/stat : 13272 (java) S 13262 13264 12928 0 -1 4202560 1343 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13273] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13273/stat : 13273 (java) S 13262 13264 12928 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13274] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13274/stat : 13274 (java) S 13262 13264 12928 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 521692746 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13275] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13275/stat : 13275 (java) S 13262 13264 12928 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 18 0 521692747 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 0 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13276] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13276/stat : 13276 (java) S 13262 13264 12928 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521692748 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13277] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13277/stat : 13277 (java) S 13262 13264 12928 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 521692748 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13278] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13278/stat : 13278 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521692750 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982373809 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13279] ppid=13262 vsize=15684456 CPUtime=0.1 cores=0,2,4,6
/proc/13264/task/13279/stat : 13279 (java) S 13262 13264 12928 0 -1 4202560 434 0 0 0 8 2 0 0 25 0 18 0 521692750 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13280] ppid=13262 vsize=15684456 CPUtime=0.22 cores=0,2,4,6
/proc/13264/task/13280/stat : 13280 (java) S 13262 13264 12928 0 -1 4202560 3495 0 0 0 21 1 0 0 17 0 18 0 521692750 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521692750 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13282] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13282/stat : 13282 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521692750 16060882944 75020 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 15684456
[startup+3.10112 s]
/proc/loadavg: 6.05 7.63 7.88 3/188 13282
/proc/meminfo: memFree=25794276/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15684456 CPUtime=3.53 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 146597 0 1 0 330 23 0 0 21 0 18 0 521692745 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3921114 144700 2241 9 0 3911833 0
[pid=13264/tid=13266] ppid=13262 vsize=15684456 CPUtime=3.04 cores=0,2,4,6
/proc/13264/task/13266/stat : 13266 (java) R 13262 13264 12928 0 -1 4202560 125937 0 1 0 287 17 0 0 22 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982376907 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13264/tid=13267] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13267/stat : 13267 (java) S 13262 13264 12928 0 -1 4202560 2006 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13268] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13268/stat : 13268 (java) S 13262 13264 12928 0 -1 4202560 855 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13269] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13269/stat : 13269 (java) S 13262 13264 12928 0 -1 4202560 515 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13270] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13270/stat : 13270 (java) S 13262 13264 12928 0 -1 4202560 3605 0 0 0 1 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13271] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13271/stat : 13271 (java) S 13262 13264 12928 0 -1 4202560 824 0 0 0 1 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13272] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13272/stat : 13272 (java) S 13262 13264 12928 0 -1 4202560 6985 0 0 0 1 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13273] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13273/stat : 13273 (java) S 13262 13264 12928 0 -1 4202560 42 0 0 0 1 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13274] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13274/stat : 13274 (java) S 13262 13264 12928 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 18 0 521692746 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13275] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13275/stat : 13275 (java) S 13262 13264 12928 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 18 0 521692747 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 0 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13276] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13276/stat : 13276 (java) S 13262 13264 12928 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521692748 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13277] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13277/stat : 13277 (java) S 13262 13264 12928 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 521692748 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13278] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13278/stat : 13278 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521692750 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982373809 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13279] ppid=13262 vsize=15684456 CPUtime=0.12 cores=0,2,4,6
/proc/13264/task/13279/stat : 13279 (java) S 13262 13264 12928 0 -1 4202560 448 0 0 0 10 2 0 0 15 0 18 0 521692750 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13280] ppid=13262 vsize=15684456 CPUtime=0.24 cores=0,2,4,6
/proc/13264/task/13280/stat : 13280 (java) S 13262 13264 12928 0 -1 4202560 3542 0 0 0 23 1 0 0 15 0 18 0 521692750 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521692750 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13282] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13282/stat : 13282 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521692750 16060882944 144700 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 15684456
[startup+6.30153 s]
/proc/loadavg: 5.89 7.57 7.86 4/210 13305
/proc/meminfo: memFree=24527156/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15684456 CPUtime=6.78 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 285124 0 1 0 638 40 0 0 21 0 18 0 521692745 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3921114 283220 2241 9 0 3911833 0
[pid=13264/tid=13266] ppid=13262 vsize=15684456 CPUtime=6.21 cores=0,2,4,6
/proc/13264/task/13266/stat : 13266 (java) R 13262 13264 12928 0 -1 4202560 253951 0 1 0 588 33 0 0 25 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982376907 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13264/tid=13267] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13267/stat : 13267 (java) S 13262 13264 12928 0 -1 4202560 2006 0 0 0 1 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13268] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13268/stat : 13268 (java) S 13262 13264 12928 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13269] ppid=13262 vsize=15684456 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13269/stat : 13269 (java) S 13262 13264 12928 0 -1 4202560 515 0 0 0 1 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13270] ppid=13262 vsize=15684456 CPUtime=0.02 cores=0,2,4,6
/proc/13264/task/13270/stat : 13270 (java) S 13262 13264 12928 0 -1 4202560 3605 0 0 0 2 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13271] ppid=13262 vsize=15684456 CPUtime=0.02 cores=0,2,4,6
/proc/13264/task/13271/stat : 13271 (java) S 13262 13264 12928 0 -1 4202560 825 0 0 0 2 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13272] ppid=13262 vsize=15684456 CPUtime=0.02 cores=0,2,4,6
/proc/13264/task/13272/stat : 13272 (java) S 13262 13264 12928 0 -1 4202560 6986 0 0 0 2 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13273] ppid=13262 vsize=15684456 CPUtime=0.02 cores=0,2,4,6
/proc/13264/task/13273/stat : 13273 (java) S 13262 13264 12928 0 -1 4202560 42 0 0 0 2 0 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13274] ppid=13262 vsize=15684456 CPUtime=0.02 cores=0,2,4,6
/proc/13264/task/13274/stat : 13274 (java) S 13262 13264 12928 0 -1 4202560 10257 0 0 0 1 1 0 0 15 0 18 0 521692746 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13275] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13275/stat : 13275 (java) S 13262 13264 12928 0 -1 4202560 706 0 0 0 0 0 0 0 15 0 18 0 521692747 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 0 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13276] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13276/stat : 13276 (java) S 13262 13264 12928 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521692748 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13277] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13277/stat : 13277 (java) S 13262 13264 12928 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 521692748 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13278] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13278/stat : 13278 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521692750 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982373809 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13279] ppid=13262 vsize=15684456 CPUtime=0.12 cores=0,2,4,6
/proc/13264/task/13279/stat : 13279 (java) S 13262 13264 12928 0 -1 4202560 448 0 0 0 10 2 0 0 15 0 18 0 521692750 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13280] ppid=13262 vsize=15684456 CPUtime=0.24 cores=0,2,4,6
/proc/13264/task/13280/stat : 13280 (java) S 13262 13264 12928 0 -1 4202560 3542 0 0 0 23 1 0 0 15 0 18 0 521692750 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521692750 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13282] ppid=13262 vsize=15684456 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13282/stat : 13282 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521692750 16060882944 283220 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 15684456
[startup+12.7014 s]
/proc/loadavg: 5.81 7.52 7.85 3/210 13305
/proc/meminfo: memFree=22825060/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15684456 CPUtime=13.29 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 305905 0 1 0 1285 44 0 0 21 0 18 0 521692745 16060882944 301355 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3921114 301355 2241 9 0 3911833 0
[pid=13264/tid=13266] ppid=13262 vsize=15684456 CPUtime=12.56 cores=0,2,4,6
################
# More data... #
################
/proc/13264/task/13269/stat : 13269 (java) S 13262 13264 12928 0 -1 4202560 331282 0 0 0 1021 102 0 0 16 0 22 0 521692746 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13270] ppid=13262 vsize=15688568 CPUtime=10.58 cores=0,2,4,6
/proc/13264/task/13270/stat : 13270 (java) S 13262 13264 12928 0 -1 4202560 579109 0 0 0 896 162 0 0 16 0 22 0 521692746 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13271] ppid=13262 vsize=15688568 CPUtime=11.79 cores=0,2,4,6
/proc/13264/task/13271/stat : 13271 (java) S 13262 13264 12928 0 -1 4202560 517254 0 0 0 1036 143 0 0 16 0 22 0 521692746 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13272] ppid=13262 vsize=15688568 CPUtime=11.09 cores=0,2,4,6
/proc/13264/task/13272/stat : 13272 (java) S 13262 13264 12928 0 -1 4202560 471294 0 0 0 973 136 0 0 16 0 22 0 521692746 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13273] ppid=13262 vsize=15688568 CPUtime=11.04 cores=0,2,4,6
/proc/13264/task/13273/stat : 13273 (java) S 13262 13264 12928 0 -1 4202560 559126 0 0 0 959 145 0 0 16 0 22 0 521692746 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13274] ppid=13262 vsize=15688568 CPUtime=11.24 cores=0,2,4,6
/proc/13264/task/13274/stat : 13274 (java) S 13262 13264 12928 0 -1 4202560 470696 0 0 0 1003 121 0 0 16 0 22 0 521692746 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13275] ppid=13262 vsize=15688568 CPUtime=301.92 cores=0,2,4,6
/proc/13264/task/13275/stat : 13275 (java) R 13262 13264 12928 0 -1 4202560 114308 0 0 0 30157 35 0 0 17 0 22 0 521692747 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 46921157934937 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=13264/tid=13276] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13276/stat : 13276 (java) S 13262 13264 12928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 521692748 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13277] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13277/stat : 13277 (java) S 13262 13264 12928 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 521692748 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13278] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13278/stat : 13278 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521692750 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982373809 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13279] ppid=13262 vsize=15688568 CPUtime=1.94 cores=0,2,4,6
/proc/13264/task/13279/stat : 13279 (java) S 13262 13264 12928 0 -1 4202560 18487 0 0 0 190 4 0 0 15 0 22 0 521692750 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13280] ppid=13262 vsize=15688568 CPUtime=1.15 cores=0,2,4,6
/proc/13264/task/13280/stat : 13280 (java) S 13262 13264 12928 0 -1 4202560 4668 0 0 0 114 1 0 0 15 0 22 0 521692750 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521692750 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13282] ppid=13262 vsize=15688568 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13282/stat : 13282 (java) S 13262 13264 12928 0 -1 4202560 66 0 0 0 0 1 0 0 15 0 22 0 521692750 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13306] ppid=13262 vsize=15688568 CPUtime=683.32 cores=0,2,4,6
/proc/13264/task/13306/stat : 13306 (java) S 13262 13264 12928 0 -1 4202560 95 0 0 0 68329 3 0 0 18 0 22 0 521695258 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13307] ppid=13262 vsize=15688568 CPUtime=685.68 cores=0,2,4,6
/proc/13264/task/13307/stat : 13307 (java) S 13262 13264 12928 0 -1 4202560 142 0 0 0 68561 7 0 0 18 0 22 0 521695258 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13308] ppid=13262 vsize=15688568 CPUtime=746.46 cores=0,2,4,6
/proc/13264/task/13308/stat : 13308 (java) S 13262 13264 12928 0 -1 4202560 79 0 0 0 74633 13 0 0 18 0 22 0 521695258 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13309] ppid=13262 vsize=15688568 CPUtime=745.42 cores=0,2,4,6
/proc/13264/task/13309/stat : 13309 (java) S 13262 13264 12928 0 -1 4202560 112 0 0 0 74518 24 0 0 18 0 22 0 521695258 16065093632 3862744 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 1
Current children cumulated CPU time (s) 3358.67
Current children cumulated vsize (KiB) 15688568
[startup+1242.31 s]
/proc/loadavg: 2.78 3.93 5.63 3/217 13346
/proc/meminfo: memFree=99492/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15688568 CPUtime=3455.77 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 4346028 0 1 0 344384 1193 0 0 21 0 21 0 521692745 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3922142 3862745 2296 9 0 3912861 0
[pid=13264/tid=13266] ppid=13262 vsize=15688568 CPUtime=104.12 cores=0,2,4,6
/proc/13264/task/13266/stat : 13266 (java) S 13262 13264 12928 0 -1 4202560 436778 0 1 0 10349 63 0 0 18 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13267] ppid=13262 vsize=15688568 CPUtime=11.1 cores=0,2,4,6
/proc/13264/task/13267/stat : 13267 (java) S 13262 13264 12928 0 -1 4202560 404959 0 0 0 1020 90 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 20
[pid=13264/tid=13268] ppid=13262 vsize=15688568 CPUtime=10.4 cores=0,2,4,6
/proc/13264/task/13268/stat : 13268 (java) S 13262 13264 12928 0 -1 4202560 436125 0 0 0 909 131 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13269] ppid=13262 vsize=15688568 CPUtime=11.23 cores=0,2,4,6
/proc/13264/task/13269/stat : 13269 (java) S 13262 13264 12928 0 -1 4202560 331282 0 0 0 1021 102 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13270] ppid=13262 vsize=15688568 CPUtime=10.58 cores=0,2,4,6
/proc/13264/task/13270/stat : 13270 (java) S 13262 13264 12928 0 -1 4202560 579109 0 0 0 896 162 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13271] ppid=13262 vsize=15688568 CPUtime=11.79 cores=0,2,4,6
/proc/13264/task/13271/stat : 13271 (java) S 13262 13264 12928 0 -1 4202560 517254 0 0 0 1036 143 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13272] ppid=13262 vsize=15688568 CPUtime=11.09 cores=0,2,4,6
/proc/13264/task/13272/stat : 13272 (java) S 13262 13264 12928 0 -1 4202560 471294 0 0 0 973 136 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13273] ppid=13262 vsize=15688568 CPUtime=11.04 cores=0,2,4,6
/proc/13264/task/13273/stat : 13273 (java) S 13262 13264 12928 0 -1 4202560 559126 0 0 0 959 145 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13274] ppid=13262 vsize=15688568 CPUtime=11.24 cores=0,2,4,6
/proc/13264/task/13274/stat : 13274 (java) S 13262 13264 12928 0 -1 4202560 470696 0 0 0 1003 121 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13275] ppid=13262 vsize=15688568 CPUtime=347.12 cores=0,2,4,6
/proc/13264/task/13275/stat : 13275 (java) R 13262 13264 12928 0 -1 4202560 114310 0 0 0 34676 36 0 0 16 0 21 0 521692747 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 46921157934356 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=13264/tid=13276] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13276/stat : 13276 (java) S 13262 13264 12928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 21 0 521692748 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13277] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13277/stat : 13277 (java) S 13262 13264 12928 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 21 0 521692748 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13278] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13278/stat : 13278 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982373809 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13279] ppid=13262 vsize=15688568 CPUtime=1.94 cores=0,2,4,6
/proc/13264/task/13279/stat : 13279 (java) S 13262 13264 12928 0 -1 4202560 18487 0 0 0 190 4 0 0 15 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13280] ppid=13262 vsize=15688568 CPUtime=1.15 cores=0,2,4,6
/proc/13264/task/13280/stat : 13280 (java) S 13262 13264 12928 0 -1 4202560 4668 0 0 0 114 1 0 0 15 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13282] ppid=13262 vsize=15688568 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13282/stat : 13282 (java) S 13262 13264 12928 0 -1 4202560 68 0 0 0 0 1 0 0 15 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13306] ppid=13262 vsize=15688568 CPUtime=698.08 cores=0,2,4,6
/proc/13264/task/13306/stat : 13306 (java) S 13262 13264 12928 0 -1 4202560 114 0 0 0 69805 3 0 0 16 0 21 0 521695258 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13307] ppid=13262 vsize=15688568 CPUtime=700.43 cores=0,2,4,6
/proc/13264/task/13307/stat : 13307 (java) S 13262 13264 12928 0 -1 4202560 163 0 0 0 70036 7 0 0 15 0 21 0 521695258 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13308] ppid=13262 vsize=15688568 CPUtime=761.23 cores=0,2,4,6
/proc/13264/task/13308/stat : 13308 (java) S 13262 13264 12928 0 -1 4202560 92 0 0 0 76110 13 0 0 16 0 21 0 521695258 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3455.77
Current children cumulated vsize (KiB) 15688568
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.32 3.59 5.41 3/217 13347
/proc/meminfo: memFree=99576/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=15688568 CPUtime=3514 cores=0,2,4,6
/proc/13264/stat : 13264 (java) S 13262 13264 12928 0 -1 4202496 4346134 0 1 0 350205 1195 0 0 21 0 21 0 521692745 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 3922142 3862745 2296 9 0 3912861 0
[pid=13264/tid=13266] ppid=13262 vsize=15688568 CPUtime=104.12 cores=0,2,4,6
/proc/13264/task/13266/stat : 13266 (java) S 13262 13264 12928 0 -1 4202560 436778 0 1 0 10349 63 0 0 18 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13267] ppid=13262 vsize=15688568 CPUtime=11.1 cores=0,2,4,6
/proc/13264/task/13267/stat : 13267 (java) S 13262 13264 12928 0 -1 4202560 404959 0 0 0 1020 90 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 20
[pid=13264/tid=13268] ppid=13262 vsize=15688568 CPUtime=10.4 cores=0,2,4,6
/proc/13264/task/13268/stat : 13268 (java) S 13262 13264 12928 0 -1 4202560 436125 0 0 0 909 131 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13269] ppid=13262 vsize=15688568 CPUtime=11.23 cores=0,2,4,6
/proc/13264/task/13269/stat : 13269 (java) S 13262 13264 12928 0 -1 4202560 331282 0 0 0 1021 102 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13270] ppid=13262 vsize=15688568 CPUtime=10.58 cores=0,2,4,6
/proc/13264/task/13270/stat : 13270 (java) S 13262 13264 12928 0 -1 4202560 579109 0 0 0 896 162 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13271] ppid=13262 vsize=15688568 CPUtime=11.79 cores=0,2,4,6
/proc/13264/task/13271/stat : 13271 (java) S 13262 13264 12928 0 -1 4202560 517254 0 0 0 1036 143 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
[pid=13264/tid=13272] ppid=13262 vsize=15688568 CPUtime=11.09 cores=0,2,4,6
/proc/13264/task/13272/stat : 13272 (java) S 13262 13264 12928 0 -1 4202560 471294 0 0 0 973 136 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13273] ppid=13262 vsize=15688568 CPUtime=11.04 cores=0,2,4,6
/proc/13264/task/13273/stat : 13273 (java) S 13262 13264 12928 0 -1 4202560 559126 0 0 0 959 145 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13274] ppid=13262 vsize=15688568 CPUtime=11.24 cores=0,2,4,6
/proc/13264/task/13274/stat : 13274 (java) S 13262 13264 12928 0 -1 4202560 470696 0 0 0 1003 121 0 0 16 0 21 0 521692746 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13275] ppid=13262 vsize=15688568 CPUtime=404.52 cores=0,2,4,6
/proc/13264/task/13275/stat : 13275 (java) R 13262 13264 12928 0 -1 4202560 114314 0 0 0 40414 38 0 0 19 0 21 0 521692747 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 46921157205172 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=13264/tid=13276] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13276/stat : 13276 (java) S 13262 13264 12928 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 21 0 521692748 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13277] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13277/stat : 13277 (java) S 13262 13264 12928 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 21 0 521692748 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13278] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13278/stat : 13278 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982373809 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13279] ppid=13262 vsize=15688568 CPUtime=1.94 cores=0,2,4,6
/proc/13264/task/13279/stat : 13279 (java) S 13262 13264 12928 0 -1 4202560 18487 0 0 0 190 4 0 0 15 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13280] ppid=13262 vsize=15688568 CPUtime=1.15 cores=0,2,4,6
/proc/13264/task/13280/stat : 13280 (java) S 13262 13264 12928 0 -1 4202560 4668 0 0 0 114 1 0 0 15 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 6 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=15688568 CPUtime=0 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) S 13262 13264 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13282] ppid=13262 vsize=15688568 CPUtime=0.01 cores=0,2,4,6
/proc/13264/task/13282/stat : 13282 (java) S 13262 13264 12928 0 -1 4202560 72 0 0 0 0 1 0 0 15 0 21 0 521692750 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366720 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13306] ppid=13262 vsize=15688568 CPUtime=698.36 cores=0,2,4,6
/proc/13264/task/13306/stat : 13306 (java) S 13262 13264 12928 0 -1 4202560 114 0 0 0 69833 3 0 0 15 0 21 0 521695258 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 4 0 0 0
[pid=13264/tid=13307] ppid=13262 vsize=15688568 CPUtime=700.71 cores=0,2,4,6
/proc/13264/task/13307/stat : 13307 (java) S 13262 13264 12928 0 -1 4202560 207 0 0 0 70064 7 0 0 15 0 21 0 521695258 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 2 0 0 0
[pid=13264/tid=13308] ppid=13262 vsize=15688568 CPUtime=761.51 cores=0,2,4,6
/proc/13264/task/13308/stat : 13308 (java) S 13262 13264 12928 0 -1 4202560 146 0 0 0 76138 13 0 0 15 0 21 0 521695258 16065093632 3862745 33554432000 1073741824 1073778376 140736493465200 18446744073709551615 242982366105 0 4 0 16800975 18446604446667217792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3514
Current children cumulated vsize (KiB) 15688568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13264
[startup+1302.3 s]
/proc/loadavg: 2.32 3.59 5.41 4/218 13348
/proc/meminfo: memFree=99568/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=0 CPUtime=3516.3 cores=0,2,4,6
/proc/13264/stat : 13264 (java) Z 13262 13264 12928 0 -1 4203548 4346143 0 1 0 350407 1223 0 0 18 0 2 0 521692745 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 0 0 0 0 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) R 13262 13264 12928 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 521692750 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3516.3
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.6 s]
/proc/loadavg: 2.32 3.59 5.41 4/218 13348
/proc/meminfo: memFree=99568/32951132 swapFree=67111364/67111528
[pid=13264] ppid=13262 vsize=0 CPUtime=3516.6 cores=0,2,4,6
/proc/13264/stat : 13264 (java) Z 13262 13264 12928 0 -1 4203548 4346143 0 1 0 350407 1253 0 0 18 0 2 0 521692745 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13264/statm: 0 0 0 0 0 0 0
[pid=13264/tid=13281] ppid=13262 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/13264/task/13281/stat : 13281 (java) R 13262 13264 12928 0 -1 4203588 1 0 0 0 0 58 0 0 18 0 2 0 521692750 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3516.6
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.65
CPU time (s): 3516.65
CPU user time (s): 3504.07
CPU system time (s): 12.5821
CPU usage (%): 269.962
Max. virtual memory (cumulated for all children) (KiB): 15718316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3504.07
system time used= 12.5821
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4346143
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= 52706
involuntary context switches= 66687
runsolver used 2.27765 second user time and 4.92225 second system time
The end