runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736639-1338718108/watcher-3736639-1338718108 -o /tmp/evaluation-result-3736639-1338718108/solver-3736639-1338718108 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736639-1338718108.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.12 2.03 3/192 9280
/proc/meminfo: memFree=27520780/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9280/stat : 9280 (java) D 9278 9280 7296 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 337939237 9515008 185 33554432000 1073741824 1073778376 140736015814160 140736015803224 226320543015 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 2323 185 143 9 0 71 0
[startup+0.085126 s]
/proc/loadavg: 2.04 2.12 2.03 3/192 9280
/proc/meminfo: memFree=27520780/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 3615 0 1 0 5 1 0 0 20 0 18 0 337939237 3028844544 5845 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100258 s]
/proc/loadavg: 2.04 2.12 2.03 3/192 9280
/proc/meminfo: memFree=27520780/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 4395 0 1 0 9 1 0 0 20 0 18 0 337939237 3028844544 6611 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 739464 6611 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300242 s]
/proc/loadavg: 2.04 2.12 2.03 3/192 9280
/proc/meminfo: memFree=27520780/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 8206 0 1 0 53 2 0 0 20 0 19 0 337939237 3097006080 9648 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 9648 2247 9 0 746526 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 3024420
[startup+0.700191 s]
/proc/loadavg: 2.04 2.12 2.03 3/192 9280
/proc/meminfo: memFree=27520780/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=1.02 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 8247 0 1 0 99 3 0 0 20 0 19 0 337939237 3097006080 21951 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 21951 2255 9 0 746526 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 3024420
[startup+1.5007 s]
/proc/loadavg: 2.04 2.12 2.03 3/211 9300
/proc/meminfo: memFree=27404668/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=1.84 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 8296 0 1 0 179 5 0 0 20 0 19 0 337939237 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 46016 2255 9 0 746526 0
[pid=9280/tid=9282] ppid=9278 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4202560 2596 0 1 0 143 4 0 0 20 0 19 0 337939237 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023369949696 140023198833557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9283] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9283/stat : 9283 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023353375784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9284] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9284/stat : 9284 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023352322984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9285] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9285/stat : 9285 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023351270184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9286] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9286/stat : 9286 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023350217384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9287] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9287/stat : 9287 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023349164584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9288] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9288/stat : 9288 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023348111784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9289] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9289/stat : 9289 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023347058984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9290] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9290/stat : 9290 (java) S 9278 9280 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023346006184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9291] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9291/stat : 9291 (java) S 9278 9280 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023333596136 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9292] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9292/stat : 9292 (java) S 9278 9280 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023332542200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9293] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9293/stat : 9293 (java) S 9278 9280 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023331489288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9294] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9294/stat : 9294 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023330437776 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9295] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9295/stat : 9295 (java) S 9278 9280 7296 0 -1 4202560 2141 0 0 0 18 0 0 0 20 0 19 0 337939243 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023329384888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.14 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2363 0 0 0 14 0 0 0 20 0 19 0 337939243 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 46016 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 3024420
[startup+3.10072 s]
/proc/loadavg: 2.04 2.12 2.03 3/211 9300
/proc/meminfo: memFree=27260572/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=3.45 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 8381 0 1 0 337 8 0 0 20 0 19 0 337939237 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 89025 2256 9 0 746526 0
[pid=9280/tid=9282] ppid=9278 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4202560 2680 0 1 0 300 6 0 0 20 0 19 0 337939237 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023369949528 140023198857977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9283] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9283/stat : 9283 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023353375784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9284] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9284/stat : 9284 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023352322984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9285] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9285/stat : 9285 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023351270184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9286] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9286/stat : 9286 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023350217384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9287] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9287/stat : 9287 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023349164584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9288] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9288/stat : 9288 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023348111784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9289] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9289/stat : 9289 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023347058984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9290] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9290/stat : 9290 (java) S 9278 9280 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023346006184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9291] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9291/stat : 9291 (java) S 9278 9280 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023333596136 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9292] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9292/stat : 9292 (java) S 9278 9280 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023332542200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9293] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9293/stat : 9293 (java) S 9278 9280 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023331489288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9294] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9294/stat : 9294 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023330437776 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9295] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9295/stat : 9295 (java) S 9278 9280 7296 0 -1 4202560 2141 0 0 0 18 0 0 0 20 0 19 0 337939243 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023329384888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2364 0 0 0 15 0 0 0 20 0 19 0 337939243 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 89025 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 3024420
[startup+6.30075 s]
/proc/loadavg: 2.03 2.11 2.03 3/211 9300
/proc/meminfo: memFree=27037464/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=6.74 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 8499 0 1 0 661 13 0 0 20 0 19 0 337939237 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 117881 2269 9 0 746526 0
[pid=9280/tid=9282] ppid=9278 vsize=3024420 CPUtime=6.22 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4202560 2726 0 1 0 614 8 0 0 20 0 19 0 337939237 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023369948536 140023198897668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9283] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9283/stat : 9283 (java) S 9278 9280 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023353375784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9284] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9284/stat : 9284 (java) S 9278 9280 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023352322984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9285] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9285/stat : 9285 (java) S 9278 9280 7296 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023351270184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9286] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9286/stat : 9286 (java) S 9278 9280 7296 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023350217384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9287] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9287/stat : 9287 (java) S 9278 9280 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023349164584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9288] ppid=9278 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/9280/task/9288/stat : 9288 (java) S 9278 9280 7296 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023348111784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9289] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9289/stat : 9289 (java) S 9278 9280 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023347058984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9290] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9290/stat : 9290 (java) S 9278 9280 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337939238 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023346006184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9291] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9291/stat : 9291 (java) S 9278 9280 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023333596136 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9292] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9292/stat : 9292 (java) S 9278 9280 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023332542200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9293] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9293/stat : 9293 (java) S 9278 9280 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023331489288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9294] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9294/stat : 9294 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023330437776 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9295] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9295/stat : 9295 (java) S 9278 9280 7296 0 -1 4202560 2141 0 0 0 18 0 0 0 20 0 19 0 337939243 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023329384888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2364 0 0 0 16 0 0 0 20 0 19 0 337939243 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 117881 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2364 0 0 0 16 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 6 0 0 0 1 1 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.96
Current children cumulated vsize (KiB) 3024420
[startup+63.9008 s]
/proc/loadavg: 2.07 2.11 2.03 3/211 9300
/proc/meminfo: memFree=26798116/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=65.56 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 9319 0 1 0 6510 46 0 0 20 0 19 0 337939237 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 168989 2269 9 0 746526 0
[pid=9280/tid=9282] ppid=9278 vsize=3024420 CPUtime=63.25 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4202560 2732 0 1 0 6317 8 0 0 20 0 19 0 337939237 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023369948432 140023198857806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9283] ppid=9278 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9280/task/9283/stat : 9283 (java) S 9278 9280 7296 0 -1 4202560 74 0 0 0 12 3 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023353375784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9284] ppid=9278 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9280/task/9284/stat : 9284 (java) S 9278 9280 7296 0 -1 4202560 125 0 0 0 15 5 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023352322984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9285] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9285/stat : 9285 (java) S 9278 9280 7296 0 -1 4202560 85 0 0 0 12 6 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023351270184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9286] ppid=9278 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9280/task/9286/stat : 9286 (java) S 9278 9280 7296 0 -1 4202560 126 0 0 0 15 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023350217384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9287] ppid=9278 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/9280/task/9287/stat : 9287 (java) S 9278 9280 7296 0 -1 4202560 138 0 0 0 22 6 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023349164584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9288] ppid=9278 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/9280/task/9288/stat : 9288 (java) S 9278 9280 7296 0 -1 4202560 133 0 0 0 18 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023348111784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9289] ppid=9278 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9280/task/9289/stat : 9289 (java) S 9278 9280 7296 0 -1 4202560 86 0 0 0 16 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023347058984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9290] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9290/stat : 9290 (java) S 9278 9280 7296 0 -1 4202560 115 0 0 0 15 3 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023346006184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9291] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9291/stat : 9291 (java) S 9278 9280 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023333596136 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9292] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9292/stat : 9292 (java) S 9278 9280 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023332542200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9293] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9293/stat : 9293 (java) S 9278 9280 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023331489288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9294] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9294/stat : 9294 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023330437776 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9295] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9295/stat : 9295 (java) S 9278 9280 7296 0 -1 4202560 2141 0 0 0 18 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023329384888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2364 0 0 0 16 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 6 0 0 0 1 1 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 65.56
Current children cumulated vsize (KiB) 3024420
[startup+64.3008 s]
/proc/loadavg: 2.07 2.11 2.03 3/211 9300
/proc/meminfo: memFree=26798116/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=65.96 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 9319 0 1 0 6550 46 0 0 20 0 19 0 337939237 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 168989 2269 9 0 746526 0
[pid=9280/tid=9282] ppid=9278 vsize=3024420 CPUtime=63.65 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4202560 2732 0 1 0 6357 8 0 0 20 0 19 0 337939237 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023369948432 140023198857554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9283] ppid=9278 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9280/task/9283/stat : 9283 (java) S 9278 9280 7296 0 -1 4202560 74 0 0 0 12 3 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023353375784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9284] ppid=9278 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9280/task/9284/stat : 9284 (java) S 9278 9280 7296 0 -1 4202560 125 0 0 0 15 5 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023352322984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9285] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9285/stat : 9285 (java) S 9278 9280 7296 0 -1 4202560 85 0 0 0 12 6 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023351270184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9286] ppid=9278 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9280/task/9286/stat : 9286 (java) S 9278 9280 7296 0 -1 4202560 126 0 0 0 15 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023350217384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9287] ppid=9278 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/9280/task/9287/stat : 9287 (java) S 9278 9280 7296 0 -1 4202560 138 0 0 0 22 6 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023349164584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9288] ppid=9278 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/9280/task/9288/stat : 9288 (java) S 9278 9280 7296 0 -1 4202560 133 0 0 0 18 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023348111784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9289] ppid=9278 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9280/task/9289/stat : 9289 (java) S 9278 9280 7296 0 -1 4202560 86 0 0 0 16 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023347058984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9290] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9290/stat : 9290 (java) S 9278 9280 7296 0 -1 4202560 115 0 0 0 15 3 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023346006184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9291] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9291/stat : 9291 (java) S 9278 9280 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023333596136 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9292] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9292/stat : 9292 (java) S 9278 9280 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023332542200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9293] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9293/stat : 9293 (java) S 9278 9280 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023331489288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9294] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9294/stat : 9294 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023330437776 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9295] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9295/stat : 9295 (java) S 9278 9280 7296 0 -1 4202560 2141 0 0 0 18 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023329384888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2364 0 0 0 16 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 6 0 0 0 1 1 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 65.96
Current children cumulated vsize (KiB) 3024420
[startup+64.7007 s]
/proc/loadavg: 2.07 2.11 2.03 3/211 9300
/proc/meminfo: memFree=26798116/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=3024420 CPUtime=66.36 cores=1,3,5,7
/proc/9280/stat : 9280 (java) S 9278 9280 7296 0 -1 4202496 9319 0 1 0 6590 46 0 0 20 0 19 0 337939237 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140736015805296 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 756105 168989 2269 9 0 746526 0
[pid=9280/tid=9282] ppid=9278 vsize=3024420 CPUtime=64.05 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4202560 2732 0 1 0 6397 8 0 0 20 0 19 0 337939237 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023369948432 140023198833639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9283] ppid=9278 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/9280/task/9283/stat : 9283 (java) S 9278 9280 7296 0 -1 4202560 74 0 0 0 12 3 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023353375784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9284] ppid=9278 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9280/task/9284/stat : 9284 (java) S 9278 9280 7296 0 -1 4202560 125 0 0 0 15 5 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023352322984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9285] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9285/stat : 9285 (java) S 9278 9280 7296 0 -1 4202560 85 0 0 0 12 6 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023351270184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9286] ppid=9278 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/9280/task/9286/stat : 9286 (java) S 9278 9280 7296 0 -1 4202560 126 0 0 0 15 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023350217384 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9287] ppid=9278 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/9280/task/9287/stat : 9287 (java) S 9278 9280 7296 0 -1 4202560 138 0 0 0 22 6 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023349164584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9288] ppid=9278 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/9280/task/9288/stat : 9288 (java) S 9278 9280 7296 0 -1 4202560 133 0 0 0 18 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023348111784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9289] ppid=9278 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/9280/task/9289/stat : 9289 (java) S 9278 9280 7296 0 -1 4202560 86 0 0 0 16 4 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023347058984 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9280/tid=9290] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9290/stat : 9290 (java) S 9278 9280 7296 0 -1 4202560 115 0 0 0 15 3 0 0 20 0 19 0 337939238 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023346006184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9291] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9291/stat : 9291 (java) S 9278 9280 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023333596136 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9280/tid=9292] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9292/stat : 9292 (java) S 9278 9280 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023332542200 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9293] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9293/stat : 9293 (java) S 9278 9280 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337939240 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023331489288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9294] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9294/stat : 9294 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023330437776 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9295] ppid=9278 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/9280/task/9295/stat : 9295 (java) S 9278 9280 7296 0 -1 4202560 2141 0 0 0 18 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023329384888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9296] ppid=9278 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/9280/task/9296/stat : 9296 (java) S 9278 9280 7296 0 -1 4202560 2364 0 0 0 16 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023328332088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9297] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9297/stat : 9297 (java) S 9278 9280 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023327279480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9280/tid=9298] ppid=9278 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/9280/task/9298/stat : 9298 (java) S 9278 9280 7296 0 -1 4202560 6 0 0 0 1 1 0 0 20 0 19 0 337939243 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023326226888 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9280/tid=9300] ppid=9278 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/9280/task/9300/stat : 9300 (java) S 9278 9280 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337939280 3097006080 168989 33554432000 1073741824 1073778376 140736015814160 140023324026408 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 66.36
Current children cumulated vsize (KiB) 3024420
[startup+64.8008 s]
/proc/loadavg: 2.07 2.11 2.03 3/211 9300
/proc/meminfo: memFree=26798116/32873844 swapFree=6088/6088
[pid=9280] ppid=9278 vsize=0 CPUtime=66.5 cores=1,3,5,7
/proc/9280/stat : 9280 (java) Z 9278 9280 7296 0 -1 4203532 9331 0 1 0 6595 55 0 0 20 0 2 0 337939237 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9280/statm: 0 0 0 0 0 0 0
[pid=9280/tid=9282] ppid=9278 vsize=0 CPUtime=64.15 cores=1,3,5,7
/proc/9280/task/9282/stat : 9282 (java) R 9278 9280 7296 0 -1 4203588 2734 0 1 0 6407 8 0 0 20 0 2 0 337939237 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 66.5
Current children cumulated vsize (KiB) 0
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9280 and gives
# childrusage.ru_utime.tv_sec=65
# childrusage.ru_utime.tv_usec=789998
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=564914
# CPU time returned by wait4() is 66.3549
# while last known CPU time is 66.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 64.8107
CPU time (s): 66.5
CPU user time (s): 65.95
CPU system time (s): 0.55
CPU usage (%): 102.606
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.79
system time used= 0.564914
maximum resident set size= 675976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9331
page faults= 1
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1779
involuntary context switches= 1169
runsolver used 0.19097 second user time and 0.387941 second system time
The end