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-3311230-1304114908/watcher-3311230-1304114908 -o /tmp/evaluation-result-3311230-1304114908/solver-3311230-1304114908 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311230-1304114908.cnf -hbr 2
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: 8.01 8.09 8.04 6/198 27362
/proc/meminfo: memFree=24239348/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/27362/stat : 27362 (java) R 27360 27362 27023 0 -1 4202496 1193 0 0 0 0 0 0 0 25 0 1 0 523093605 23580672 680 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27362/statm: 5757 681 507 9 0 124 0
[startup+0.050566 s]
/proc/loadavg: 8.01 8.09 8.04 6/198 27362
/proc/meminfo: memFree=24239348/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15609648 CPUtime=0.04 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 4048 0 1 0 4 0 0 0 25 0 18 0 523093605 15984279552 3488 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3902412 3488 1753 9 0 3893131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609648
[startup+0.1056 s]
/proc/loadavg: 8.01 8.09 8.04 6/198 27362
/proc/meminfo: memFree=24239348/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15676288 CPUtime=0.11 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 5642 0 1 0 10 1 0 0 25 0 18 0 523093605 16052518912 5073 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3919072 5074 2117 9 0 3909791 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676288
[startup+0.300561 s]
/proc/loadavg: 8.01 8.09 8.04 6/198 27362
/proc/meminfo: memFree=24239348/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15679396 CPUtime=0.51 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 15722 0 1 0 48 3 0 0 25 0 18 0 523093605 16055701504 14191 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3919849 14198 2206 9 0 3910568 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679396
[startup+0.7005 s]
/proc/loadavg: 8.01 8.09 8.04 6/198 27362
/proc/meminfo: memFree=24239348/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15679396 CPUtime=0.92 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 41780 0 1 0 86 6 0 0 25 0 18 0 523093605 16055701504 40246 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3919849 40246 2222 9 0 3910568 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679396
[startup+1.50135 s]
/proc/loadavg: 8.01 8.09 8.04 9/220 27384
/proc/meminfo: memFree=23637464/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15717432 CPUtime=2.44 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 57105 0 1 0 237 7 0 0 25 0 22 0 523093605 16094650368 51134 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3929358 51144 2258 9 0 3920077 0
[pid=27362/tid=27364] ppid=27360 vsize=15717432 CPUtime=1.46 cores=1,3,5,7
/proc/27362/task/27364/stat : 27364 (java) R 27360 27362 27023 0 -1 4202560 35612 0 1 0 142 4 0 0 21 0 22 0 523093606 16094650368 51149 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 47886920528743 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27362/tid=27365] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27365/stat : 27365 (java) S 27360 27362 27023 0 -1 4202560 1007 0 0 0 0 0 0 0 16 0 22 0 523093606 16094650368 51155 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27366] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27366/stat : 27366 (java) S 27360 27362 27023 0 -1 4202560 364 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51161 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27367] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27367/stat : 27367 (java) S 27360 27362 27023 0 -1 4202560 1459 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51166 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27368] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27368/stat : 27368 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51171 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27369] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27369/stat : 27369 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51177 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27370] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27370/stat : 27370 (java) S 27360 27362 27023 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51183 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27371] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27371/stat : 27371 (java) S 27360 27362 27023 0 -1 4202560 354 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51188 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27372] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27372/stat : 27372 (java) S 27360 27362 27023 0 -1 4202560 515 0 0 0 0 0 0 0 18 0 22 0 523093606 16094650368 51194 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27373] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27373/stat : 27373 (java) S 27360 27362 27023 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 22 0 523093607 16094650368 51199 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 0 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27374] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27374/stat : 27374 (java) S 27360 27362 27023 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523093608 16094650368 51205 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27375] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27375/stat : 27375 (java) S 27360 27362 27023 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523093608 16094650368 51211 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27376] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27376/stat : 27376 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16094650368 51216 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382780849 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27377] ppid=27360 vsize=15717432 CPUtime=0.22 cores=1,3,5,7
/proc/27362/task/27377/stat : 27377 (java) S 27360 27362 27023 0 -1 4202560 2531 0 0 0 22 0 0 0 15 0 22 0 523093610 16094650368 51222 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27378] ppid=27360 vsize=15717432 CPUtime=0.71 cores=1,3,5,7
/proc/27362/task/27378/stat : 27378 (java) R 27360 27362 27023 0 -1 4202560 13817 0 0 0 70 1 0 0 20 0 22 0 523093610 16094650368 51228 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 47886921359824 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16094650368 51232 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27380] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27380/stat : 27380 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523093610 16094650368 51238 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27381] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27381/stat : 27381 (java) S 27360 27362 27023 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523093681 16094650368 51244 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27382] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27382/stat : 27382 (java) S 27360 27362 27023 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523093681 16094650368 51249 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27383] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27383/stat : 27383 (java) S 27360 27362 27023 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523093681 16094650368 51255 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27384] ppid=27360 vsize=15717432 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27384/stat : 27384 (java) S 27360 27362 27023 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523093681 16094650368 51261 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 15717432
[startup+3.10106 s]
/proc/loadavg: 8.01 8.09 8.04 8/220 27384
/proc/meminfo: memFree=23493756/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15718076 CPUtime=6.02 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 76118 0 1 0 592 10 0 0 25 0 22 0 523093605 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3929519 69432 2275 9 0 3920238 0
[pid=27362/tid=27364] ppid=27360 vsize=15718076 CPUtime=2.26 cores=1,3,5,7
/proc/27362/task/27364/stat : 27364 (java) S 27360 27362 27023 0 -1 4202560 35670 0 1 0 222 4 0 0 23 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27365] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27365/stat : 27365 (java) S 27360 27362 27023 0 -1 4202560 1435 0 0 0 0 0 0 0 15 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27366] ppid=27360 vsize=15718076 CPUtime=0.01 cores=1,3,5,7
/proc/27362/task/27366/stat : 27366 (java) S 27360 27362 27023 0 -1 4202560 2079 0 0 0 1 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27367] ppid=27360 vsize=15718076 CPUtime=0.01 cores=1,3,5,7
/proc/27362/task/27367/stat : 27367 (java) S 27360 27362 27023 0 -1 4202560 2095 0 0 0 1 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27368] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27368/stat : 27368 (java) S 27360 27362 27023 0 -1 4202560 499 0 0 0 0 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27369] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27369/stat : 27369 (java) S 27360 27362 27023 0 -1 4202560 1504 0 0 0 0 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27370] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27370/stat : 27370 (java) S 27360 27362 27023 0 -1 4202560 755 0 0 0 0 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27371] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27371/stat : 27371 (java) S 27360 27362 27023 0 -1 4202560 782 0 0 0 0 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27372] ppid=27360 vsize=15718076 CPUtime=0.01 cores=1,3,5,7
/proc/27362/task/27372/stat : 27372 (java) S 27360 27362 27023 0 -1 4202560 1475 0 0 0 1 0 0 0 18 0 22 0 523093606 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27373] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27373/stat : 27373 (java) S 27360 27362 27023 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 523093607 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 0 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27374] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27374/stat : 27374 (java) S 27360 27362 27023 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27375] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27375/stat : 27375 (java) S 27360 27362 27023 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27376] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27376/stat : 27376 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382780849 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27377] ppid=27360 vsize=15718076 CPUtime=0.66 cores=1,3,5,7
/proc/27362/task/27377/stat : 27377 (java) S 27360 27362 27023 0 -1 4202560 2633 0 0 0 66 0 0 0 15 0 22 0 523093610 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27378] ppid=27360 vsize=15718076 CPUtime=1.53 cores=1,3,5,7
/proc/27362/task/27378/stat : 27378 (java) S 27360 27362 27023 0 -1 4202560 15166 0 0 0 151 2 0 0 15 0 22 0 523093610 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27380] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27380/stat : 27380 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523093610 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27381] ppid=27360 vsize=15718076 CPUtime=0.62 cores=1,3,5,7
/proc/27362/task/27381/stat : 27381 (java) R 27360 27362 27023 0 -1 4202560 1124 0 0 0 62 0 0 0 16 0 22 0 523093681 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 47886924330659 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27362/tid=27382] ppid=27360 vsize=15718076 CPUtime=0.28 cores=1,3,5,7
/proc/27362/task/27382/stat : 27382 (java) S 27360 27362 27023 0 -1 4202560 44 0 0 0 28 0 0 0 15 0 22 0 523093681 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27383] ppid=27360 vsize=15718076 CPUtime=0.39 cores=1,3,5,7
/proc/27362/task/27383/stat : 27383 (java) R 27360 27362 27023 0 -1 4202560 4188 0 0 0 39 0 0 0 16 0 22 0 523093681 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 46912506358251 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27362/tid=27384] ppid=27360 vsize=15718076 CPUtime=0.14 cores=1,3,5,7
/proc/27362/task/27384/stat : 27384 (java) R 27360 27362 27023 0 -1 4202560 5209 0 0 0 14 0 0 0 16 0 22 0 523093681 16095309824 69432 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 46912506358251 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 15718076
[startup+6.30146 s]
/proc/loadavg: 7.77 8.04 8.02 9/220 27384
/proc/meminfo: memFree=21875376/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15718076 CPUtime=18.62 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 258113 0 1 0 1825 37 0 0 25 0 22 0 523093605 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3929519 250636 2275 9 0 3920238 0
[pid=27362/tid=27364] ppid=27360 vsize=15718076 CPUtime=2.26 cores=1,3,5,7
/proc/27362/task/27364/stat : 27364 (java) S 27360 27362 27023 0 -1 4202560 35670 0 1 0 222 4 0 0 23 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27365] ppid=27360 vsize=15718076 CPUtime=0.04 cores=1,3,5,7
/proc/27362/task/27365/stat : 27365 (java) S 27360 27362 27023 0 -1 4202560 8755 0 0 0 3 1 0 0 15 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27366] ppid=27360 vsize=15718076 CPUtime=0.08 cores=1,3,5,7
/proc/27362/task/27366/stat : 27366 (java) S 27360 27362 27023 0 -1 4202560 17619 0 0 0 6 2 0 0 15 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27367] ppid=27360 vsize=15718076 CPUtime=0.06 cores=1,3,5,7
/proc/27362/task/27367/stat : 27367 (java) S 27360 27362 27023 0 -1 4202560 11603 0 0 0 5 1 0 0 16 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27368] ppid=27360 vsize=15718076 CPUtime=0.15 cores=1,3,5,7
/proc/27362/task/27368/stat : 27368 (java) S 27360 27362 27023 0 -1 4202560 25872 0 0 0 11 4 0 0 16 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27369] ppid=27360 vsize=15718076 CPUtime=0.09 cores=1,3,5,7
/proc/27362/task/27369/stat : 27369 (java) S 27360 27362 27023 0 -1 4202560 23413 0 0 0 6 3 0 0 16 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27370] ppid=27360 vsize=15718076 CPUtime=0.11 cores=1,3,5,7
/proc/27362/task/27370/stat : 27370 (java) S 27360 27362 27023 0 -1 4202560 15810 0 0 0 9 2 0 0 15 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27371] ppid=27360 vsize=15718076 CPUtime=0.05 cores=1,3,5,7
/proc/27362/task/27371/stat : 27371 (java) S 27360 27362 27023 0 -1 4202560 9114 0 0 0 4 1 0 0 15 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27372] ppid=27360 vsize=15718076 CPUtime=0.13 cores=1,3,5,7
/proc/27362/task/27372/stat : 27372 (java) S 27360 27362 27023 0 -1 4202560 17349 0 0 0 10 3 0 0 16 0 22 0 523093606 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27373] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27373/stat : 27373 (java) S 27360 27362 27023 0 -1 4202560 578 0 0 0 0 0 0 0 15 0 22 0 523093607 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 0 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27374] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27374/stat : 27374 (java) S 27360 27362 27023 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27375] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27375/stat : 27375 (java) S 27360 27362 27023 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27376] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27376/stat : 27376 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382780849 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27377] ppid=27360 vsize=15718076 CPUtime=0.67 cores=1,3,5,7
/proc/27362/task/27377/stat : 27377 (java) S 27360 27362 27023 0 -1 4202560 2633 0 0 0 67 0 0 0 15 0 22 0 523093610 16095309824 250636 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=27362/tid=27375] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27375/stat : 27375 (java) S 27360 27362 27023 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27376] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27376/stat : 27376 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382780849 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27377] ppid=27360 vsize=15718076 CPUtime=0.89 cores=1,3,5,7
/proc/27362/task/27377/stat : 27377 (java) S 27360 27362 27023 0 -1 4202560 3047 0 0 0 89 0 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27378] ppid=27360 vsize=15718076 CPUtime=1.6 cores=1,3,5,7
/proc/27362/task/27378/stat : 27378 (java) S 27360 27362 27023 0 -1 4202560 15172 0 0 0 158 2 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27380] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27380/stat : 27380 (java) S 27360 27362 27023 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27381] ppid=27360 vsize=15718076 CPUtime=285.63 cores=1,3,5,7
/proc/27362/task/27381/stat : 27381 (java) S 27360 27362 27023 0 -1 4202560 106453 0 0 0 28544 19 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27382] ppid=27360 vsize=15718076 CPUtime=285.07 cores=1,3,5,7
/proc/27362/task/27382/stat : 27382 (java) S 27360 27362 27023 0 -1 4202560 100066 0 0 0 28488 19 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27383] ppid=27360 vsize=15718076 CPUtime=285.17 cores=1,3,5,7
/proc/27362/task/27383/stat : 27383 (java) S 27360 27362 27023 0 -1 4202560 89890 0 0 0 28499 18 0 0 16 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27384] ppid=27360 vsize=15718076 CPUtime=284.15 cores=1,3,5,7
/proc/27362/task/27384/stat : 27384 (java) S 27360 27362 27023 0 -1 4202560 111983 0 0 0 28393 22 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2054.69
Current children cumulated vsize (KiB) 15718076
[startup+1242.3 s]
/proc/loadavg: 3.08 4.67 5.94 2/193 27438
/proc/meminfo: memFree=10418752/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15718076 CPUtime=2116.95 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 3883981 0 1 0 211029 666 0 0 25 0 22 0 523093605 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3929519 3846160 2294 9 0 3920238 0
[pid=27362/tid=27364] ppid=27360 vsize=15718076 CPUtime=2.26 cores=1,3,5,7
/proc/27362/task/27364/stat : 27364 (java) S 27360 27362 27023 0 -1 4202560 35670 0 1 0 222 4 0 0 23 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27365] ppid=27360 vsize=15718076 CPUtime=1.95 cores=1,3,5,7
/proc/27362/task/27365/stat : 27365 (java) S 27360 27362 27023 0 -1 4202560 260463 0 0 0 153 42 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27366] ppid=27360 vsize=15718076 CPUtime=2.23 cores=1,3,5,7
/proc/27362/task/27366/stat : 27366 (java) S 27360 27362 27023 0 -1 4202560 320274 0 0 0 171 52 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27367] ppid=27360 vsize=15718076 CPUtime=2.78 cores=1,3,5,7
/proc/27362/task/27367/stat : 27367 (java) S 27360 27362 27023 0 -1 4202560 386383 0 0 0 213 65 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27368] ppid=27360 vsize=15718076 CPUtime=3.54 cores=1,3,5,7
/proc/27362/task/27368/stat : 27368 (java) S 27360 27362 27023 0 -1 4202560 421598 0 0 0 281 73 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27369] ppid=27360 vsize=15718076 CPUtime=2.88 cores=1,3,5,7
/proc/27362/task/27369/stat : 27369 (java) S 27360 27362 27023 0 -1 4202560 422957 0 0 0 223 65 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27370] ppid=27360 vsize=15718076 CPUtime=2.8 cores=1,3,5,7
/proc/27362/task/27370/stat : 27370 (java) S 27360 27362 27023 0 -1 4202560 360742 0 0 0 220 60 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27371] ppid=27360 vsize=15718076 CPUtime=2.75 cores=1,3,5,7
/proc/27362/task/27371/stat : 27371 (java) S 27360 27362 27023 0 -1 4202560 365494 0 0 0 217 58 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27372] ppid=27360 vsize=15718076 CPUtime=2.5 cores=1,3,5,7
/proc/27362/task/27372/stat : 27372 (java) S 27360 27362 27023 0 -1 4202560 260149 0 0 0 204 46 0 0 15 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27373] ppid=27360 vsize=15718076 CPUtime=947.57 cores=1,3,5,7
/proc/27362/task/27373/stat : 27373 (java) R 27360 27362 27023 0 -1 4202560 621656 0 0 0 94645 112 0 0 18 0 22 0 523093607 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 47886921380192 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=27362/tid=27374] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27374/stat : 27374 (java) S 27360 27362 27023 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 523093608 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27375] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27375/stat : 27375 (java) S 27360 27362 27023 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27376] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27376/stat : 27376 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382780849 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27377] ppid=27360 vsize=15718076 CPUtime=0.89 cores=1,3,5,7
/proc/27362/task/27377/stat : 27377 (java) S 27360 27362 27023 0 -1 4202560 3047 0 0 0 89 0 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27378] ppid=27360 vsize=15718076 CPUtime=1.6 cores=1,3,5,7
/proc/27362/task/27378/stat : 27378 (java) S 27360 27362 27023 0 -1 4202560 15172 0 0 0 158 2 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27380] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27380/stat : 27380 (java) S 27360 27362 27023 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27381] ppid=27360 vsize=15718076 CPUtime=286.4 cores=1,3,5,7
/proc/27362/task/27381/stat : 27381 (java) S 27360 27362 27023 0 -1 4202560 106680 0 0 0 28621 19 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27382] ppid=27360 vsize=15718076 CPUtime=285.82 cores=1,3,5,7
/proc/27362/task/27382/stat : 27382 (java) S 27360 27362 27023 0 -1 4202560 100190 0 0 0 28563 19 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27383] ppid=27360 vsize=15718076 CPUtime=285.92 cores=1,3,5,7
/proc/27362/task/27383/stat : 27383 (java) S 27360 27362 27023 0 -1 4202560 89996 0 0 0 28574 18 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27384] ppid=27360 vsize=15718076 CPUtime=284.9 cores=1,3,5,7
/proc/27362/task/27384/stat : 27384 (java) S 27360 27362 27023 0 -1 4202560 112056 0 0 0 28468 22 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2116.95
Current children cumulated vsize (KiB) 15718076
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.83 4.05 5.66 2/193 27439
/proc/meminfo: memFree=10418584/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=15718076 CPUtime=2175.05 cores=1,3,5,7
/proc/27362/stat : 27362 (java) S 27360 27362 27023 0 -1 4202496 3884542 0 1 0 216832 673 0 0 25 0 22 0 523093605 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27362/statm: 3929519 3846160 2294 9 0 3920238 0
[pid=27362/tid=27364] ppid=27360 vsize=15718076 CPUtime=2.26 cores=1,3,5,7
/proc/27362/task/27364/stat : 27364 (java) S 27360 27362 27023 0 -1 4202560 35670 0 1 0 222 4 0 0 23 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27365] ppid=27360 vsize=15718076 CPUtime=1.95 cores=1,3,5,7
/proc/27362/task/27365/stat : 27365 (java) S 27360 27362 27023 0 -1 4202560 260463 0 0 0 153 42 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27366] ppid=27360 vsize=15718076 CPUtime=2.23 cores=1,3,5,7
/proc/27362/task/27366/stat : 27366 (java) S 27360 27362 27023 0 -1 4202560 320274 0 0 0 171 52 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27367] ppid=27360 vsize=15718076 CPUtime=2.78 cores=1,3,5,7
/proc/27362/task/27367/stat : 27367 (java) S 27360 27362 27023 0 -1 4202560 386383 0 0 0 213 65 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27368] ppid=27360 vsize=15718076 CPUtime=3.54 cores=1,3,5,7
/proc/27362/task/27368/stat : 27368 (java) S 27360 27362 27023 0 -1 4202560 421598 0 0 0 281 73 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27369] ppid=27360 vsize=15718076 CPUtime=2.88 cores=1,3,5,7
/proc/27362/task/27369/stat : 27369 (java) S 27360 27362 27023 0 -1 4202560 422957 0 0 0 223 65 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27370] ppid=27360 vsize=15718076 CPUtime=2.8 cores=1,3,5,7
/proc/27362/task/27370/stat : 27370 (java) S 27360 27362 27023 0 -1 4202560 360742 0 0 0 220 60 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27371] ppid=27360 vsize=15718076 CPUtime=2.75 cores=1,3,5,7
/proc/27362/task/27371/stat : 27371 (java) S 27360 27362 27023 0 -1 4202560 365494 0 0 0 217 58 0 0 16 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27372] ppid=27360 vsize=15718076 CPUtime=2.5 cores=1,3,5,7
/proc/27362/task/27372/stat : 27372 (java) S 27360 27362 27023 0 -1 4202560 260149 0 0 0 204 46 0 0 15 0 22 0 523093606 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27373] ppid=27360 vsize=15718076 CPUtime=1005.16 cores=1,3,5,7
/proc/27362/task/27373/stat : 27373 (java) R 27360 27362 27023 0 -1 4202560 621658 0 0 0 100398 118 0 0 18 0 22 0 523093607 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 47886921380189 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=27362/tid=27374] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27374/stat : 27374 (java) S 27360 27362 27023 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 523093608 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27375] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27375/stat : 27375 (java) S 27360 27362 27023 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523093608 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27376] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27376/stat : 27376 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382780849 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27377] ppid=27360 vsize=15718076 CPUtime=0.89 cores=1,3,5,7
/proc/27362/task/27377/stat : 27377 (java) S 27360 27362 27023 0 -1 4202560 3047 0 0 0 89 0 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27378] ppid=27360 vsize=15718076 CPUtime=1.6 cores=1,3,5,7
/proc/27362/task/27378/stat : 27378 (java) S 27360 27362 27023 0 -1 4202560 15172 0 0 0 158 2 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) S 27360 27362 27023 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 7 0 0 0
[pid=27362/tid=27380] ppid=27360 vsize=15718076 CPUtime=0 cores=1,3,5,7
/proc/27362/task/27380/stat : 27380 (java) S 27360 27362 27023 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 523093610 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773760 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
[pid=27362/tid=27381] ppid=27360 vsize=15718076 CPUtime=286.53 cores=1,3,5,7
/proc/27362/task/27381/stat : 27381 (java) S 27360 27362 27023 0 -1 4202560 106790 0 0 0 28634 19 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27382] ppid=27360 vsize=15718076 CPUtime=285.97 cores=1,3,5,7
/proc/27362/task/27382/stat : 27382 (java) S 27360 27362 27023 0 -1 4202560 100317 0 0 0 28577 20 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 1 0 0 0
[pid=27362/tid=27383] ppid=27360 vsize=15718076 CPUtime=286.04 cores=1,3,5,7
/proc/27362/task/27383/stat : 27383 (java) S 27360 27362 27023 0 -1 4202560 90286 0 0 0 28586 18 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 5 0 0 0
[pid=27362/tid=27384] ppid=27360 vsize=15718076 CPUtime=285.01 cores=1,3,5,7
/proc/27362/task/27384/stat : 27384 (java) S 27360 27362 27023 0 -1 4202560 112086 0 0 0 28479 22 0 0 15 0 22 0 523093681 16095309824 3846160 33554432000 1073741824 1073778376 140737326531264 18446744073709551615 218382773145 0 4 0 16800975 18446604460641603648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2175.05
Current children cumulated vsize (KiB) 15718076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27362
[startup+1302.3 s]
/proc/loadavg: 1.83 4.05 5.66 2/194 27440
/proc/meminfo: memFree=10418576/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=0 CPUtime=2177.35 cores=1,3,5,7
/proc/27362/stat : 27362 (java) Z 27360 27362 27023 0 -1 4203548 3884566 0 1 0 217033 702 0 0 18 0 2 0 523093605 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27362/statm: 0 0 0 0 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) R 27360 27362 27023 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 523093610 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2177.35
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 1.83 4.05 5.66 2/194 27440
/proc/meminfo: memFree=10418576/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=0 CPUtime=2177.45 cores=1,3,5,7
/proc/27362/stat : 27362 (java) Z 27360 27362 27023 0 -1 4203548 3884566 0 1 0 217033 712 0 0 18 0 2 0 523093605 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27362/statm: 0 0 0 0 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) R 27360 27362 27023 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 523093610 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2177.45
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 1.76 4.00 5.63 2/173 27440
/proc/meminfo: memFree=24711728/32951124 swapFree=67051468/67111528
[pid=27362] ppid=27360 vsize=0 CPUtime=2177.55 cores=1,3,5,7
/proc/27362/stat : 27362 (java) Z 27360 27362 27023 0 -1 4203548 3884566 0 1 0 217033 722 0 0 18 0 2 0 523093605 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27362/statm: 0 0 0 0 0 0 0
[pid=27362/tid=27379] ppid=27360 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/27362/task/27379/stat : 27379 (java) R 27360 27362 27023 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 523093610 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2177.55
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.54
CPU time (s): 2177.6
CPU user time (s): 2170.34
CPU system time (s): 7.2589
CPU usage (%): 167.181
Max. virtual memory (cumulated for all children) (KiB): 15718076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2170.34
system time used= 7.2589
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3884566
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= 75606
involuntary context switches= 43209
runsolver used 2.15067 second user time and 5.02024 second system time
The end