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-3717889-1338256370/watcher-3717889-1338256370 -o /tmp/evaluation-result-3717889-1338256370/solver-3717889-1338256370 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717889-1338256370.wbo
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.00 2.00 2.00 3/195 6824
/proc/meminfo: memFree=29570772/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/6824/stat : 6824 (java) D 6822 6824 31640 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 291761333 2560000 46 33554432000 1073741824 1073778376 140734803760304 140734803757432 254741146919 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6824/statm: 625 46 37 9 0 29 0
[startup+0.097446 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 6824
/proc/meminfo: memFree=29570772/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 3346 0 1 0 6 0 0 0 20 0 18 0 291761333 9787817984 4554 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2389604 4554 1773 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 6824
/proc/meminfo: memFree=29570772/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 3370 0 1 0 6 0 0 0 20 0 18 0 291761333 9787817984 4578 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2389604 4579 1773 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416
[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 6824
/proc/meminfo: memFree=29570772/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9558416 CPUtime=0.43 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 5217 0 1 0 42 1 0 0 20 0 18 0 291761333 9787817984 8282 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2389604 8282 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558416
[startup+0.700309 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 6824
/proc/meminfo: memFree=29570772/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9558416 CPUtime=1.21 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 7311 0 1 0 114 7 0 0 20 0 18 0 291761333 9787817984 44643 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2389604 44643 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9558416
[startup+1.50078 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 6842
/proc/meminfo: memFree=29358928/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9624980 CPUtime=2.74 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 11774 0 1 0 260 14 0 0 20 0 19 0 291761333 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2406245 57305 2268 9 0 2396937 0
[pid=6824/tid=6826] ppid=6822 vsize=9624980 CPUtime=1.35 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (java) R 6822 6824 31640 0 -1 4202560 2523 0 1 0 132 3 0 0 20 0 19 0 291761334 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657353220600 140657176512803 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6827] ppid=6822 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (java) S 6822 6824 31640 0 -1 4202560 96 0 0 0 4 2 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657314712616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6828] ppid=6822 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/6824/task/6828/stat : 6828 (java) S 6822 6824 31640 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657313659816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6829] ppid=6822 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/6824/task/6829/stat : 6829 (java) S 6822 6824 31640 0 -1 4202560 146 0 0 0 4 3 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657312607016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6830] ppid=6822 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/6824/task/6830/stat : 6830 (java) S 6822 6824 31640 0 -1 4202560 24 0 0 0 2 1 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657311554216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6831] ppid=6822 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/6824/task/6831/stat : 6831 (java) S 6822 6824 31640 0 -1 4202560 84 0 0 0 4 2 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657310501416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6832] ppid=6822 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/6824/task/6832/stat : 6832 (java) S 6822 6824 31640 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657309448616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6833] ppid=6822 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/6824/task/6833/stat : 6833 (java) S 6822 6824 31640 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657308395816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6834] ppid=6822 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/6824/task/6834/stat : 6834 (java) S 6822 6824 31640 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291761336 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657307343016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6835] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6835/stat : 6835 (java) S 6822 6824 31640 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291761337 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657294932968 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6836] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6836/stat : 6836 (java) S 6822 6824 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657175815928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6837] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6837/stat : 6837 (java) S 6822 6824 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657174763016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6838] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6838/stat : 6838 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657173711504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3774 0 0 0 45 0 0 0 20 0 19 0 291761341 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 3722 0 0 0 49 0 0 0 20 0 19 0 291761341 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 57305 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9624980
[startup+3.10079 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 6843
/proc/meminfo: memFree=29302764/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9624980 CPUtime=4.83 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 12875 0 1 0 454 29 0 0 20 0 19 0 291761333 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2406245 103061 2268 9 0 2396937 0
[pid=6824/tid=6826] ppid=6822 vsize=9624980 CPUtime=2.84 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (java) R 6822 6824 31640 0 -1 4202560 2577 0 1 0 279 5 0 0 20 0 19 0 291761334 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657353220312 140657176769757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6827] ppid=6822 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (java) S 6822 6824 31640 0 -1 4202560 109 0 0 0 7 2 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657314712616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6828] ppid=6822 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/6824/task/6828/stat : 6828 (java) S 6822 6824 31640 0 -1 4202560 128 0 0 0 3 2 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657313659816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6829] ppid=6822 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/6824/task/6829/stat : 6829 (java) S 6822 6824 31640 0 -1 4202560 172 0 0 0 7 3 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657312607016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6830] ppid=6822 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/6824/task/6830/stat : 6830 (java) S 6822 6824 31640 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657311554216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6831] ppid=6822 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/6824/task/6831/stat : 6831 (java) S 6822 6824 31640 0 -1 4202560 130 0 0 0 11 5 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657310501416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6832] ppid=6822 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/6824/task/6832/stat : 6832 (java) S 6822 6824 31640 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657309448616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6833] ppid=6822 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/6824/task/6833/stat : 6833 (java) S 6822 6824 31640 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657308395816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6834] ppid=6822 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/6824/task/6834/stat : 6834 (java) S 6822 6824 31640 0 -1 4202560 58 0 0 0 5 4 0 0 20 0 19 0 291761336 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657307343016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6835] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6835/stat : 6835 (java) S 6822 6824 31640 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 291761337 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657294932968 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6836] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6836/stat : 6836 (java) S 6822 6824 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657175815928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6837] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6837/stat : 6837 (java) S 6822 6824 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657174763016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6838] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6838/stat : 6838 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657173711504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3774 0 0 0 53 0 0 0 20 0 19 0 291761341 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 4445 0 0 0 60 0 0 0 20 0 19 0 291761341 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6843] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6843/stat : 6843 (java) S 6822 6824 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291761453 9855979520 103061 33554432000 1073741824 1073778376 140733869759232 140657168447144 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 9624980
[startup+6.30085 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 6843
/proc/meminfo: memFree=29167224/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9624980 CPUtime=8.03 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 12878 0 1 0 774 29 0 0 20 0 19 0 291761333 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2406245 102819 2268 9 0 2396937 0
[pid=6824/tid=6826] ppid=6822 vsize=9624980 CPUtime=6.02 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (java) R 6822 6824 31640 0 -1 4202560 2580 0 1 0 597 5 0 0 20 0 19 0 291761334 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657353218744 140657176600893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6827] ppid=6822 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (java) S 6822 6824 31640 0 -1 4202560 109 0 0 0 7 2 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657314712616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6828] ppid=6822 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/6824/task/6828/stat : 6828 (java) S 6822 6824 31640 0 -1 4202560 128 0 0 0 3 2 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657313659816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6829] ppid=6822 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/6824/task/6829/stat : 6829 (java) S 6822 6824 31640 0 -1 4202560 172 0 0 0 7 3 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657312607016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6830] ppid=6822 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/6824/task/6830/stat : 6830 (java) S 6822 6824 31640 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657311554216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6831] ppid=6822 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/6824/task/6831/stat : 6831 (java) S 6822 6824 31640 0 -1 4202560 130 0 0 0 11 5 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657310501416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6832] ppid=6822 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/6824/task/6832/stat : 6832 (java) S 6822 6824 31640 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657309448616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6833] ppid=6822 vsize=9624980 CPUtime=0.05 cores=1,3,5,7
/proc/6824/task/6833/stat : 6833 (java) S 6822 6824 31640 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657308395816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6834] ppid=6822 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/6824/task/6834/stat : 6834 (java) S 6822 6824 31640 0 -1 4202560 58 0 0 0 5 4 0 0 20 0 19 0 291761336 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657307343016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6835] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6835/stat : 6835 (java) S 6822 6824 31640 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 291761337 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657294932968 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6836] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6836/stat : 6836 (java) S 6822 6824 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657175815928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6837] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6837/stat : 6837 (java) S 6822 6824 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657174763016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6838] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6838/stat : 6838 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657173711504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3774 0 0 0 53 0 0 0 20 0 19 0 291761341 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 4445 0 0 0 61 0 0 0 20 0 19 0 291761341 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6843] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6843/stat : 6843 (java) S 6822 6824 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291761453 9855979520 102819 33554432000 1073741824 1073778376 140733869759232 140657168447144 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 9624980
[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 6843
/proc/meminfo: memFree=29166892/32873844 swapFree=7628/7628
################
# More data... #
################
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3789 0 0 0 63 0 0 0 20 0 19 0 291761341 9855979520 160277 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 4454 0 0 0 71 0 0 0 20 0 19 0 291761341 9855979520 160277 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160277 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 95 0 0 0 55 42 0 0 20 0 19 0 291761341 9855979520 160277 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6843] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6843/stat : 6843 (java) S 6822 6824 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291761453 9855979520 160277 33554432000 1073741824 1073778376 140733869759232 140657168447144 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1666.86
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/213 6952
/proc/meminfo: memFree=23949144/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9624980 CPUtime=1726.96 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 32141 0 1 0 172570 126 0 0 20 0 19 0 291761333 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2406245 160299 2282 9 0 2396937 0
[pid=6824/tid=6826] ppid=6822 vsize=9624980 CPUtime=1706.84 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (java) R 6822 6824 31640 0 -1 4202560 2842 0 1 0 170651 33 0 0 20 0 19 0 291761334 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657353220480 140657176618537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6827] ppid=6822 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (java) S 6822 6824 31640 0 -1 4202560 140 0 0 0 24 4 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657314712616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6828] ppid=6822 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/6824/task/6828/stat : 6828 (java) S 6822 6824 31640 0 -1 4202560 179 0 0 0 25 4 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657313659816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6829] ppid=6822 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/6824/task/6829/stat : 6829 (java) S 6822 6824 31640 0 -1 4202560 192 0 0 0 26 4 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657312607016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6830] ppid=6822 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/6824/task/6830/stat : 6830 (java) S 6822 6824 31640 0 -1 4202560 84 0 0 0 27 4 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657311554216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6831] ppid=6822 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/6824/task/6831/stat : 6831 (java) S 6822 6824 31640 0 -1 4202560 176 0 0 0 32 7 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657310501416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6832] ppid=6822 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6824/task/6832/stat : 6832 (java) S 6822 6824 31640 0 -1 4202560 71 0 0 0 31 5 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657309448616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6833] ppid=6822 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/6824/task/6833/stat : 6833 (java) S 6822 6824 31640 0 -1 4202560 70 0 0 0 24 4 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657308395816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6834] ppid=6822 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6824/task/6834/stat : 6834 (java) S 6822 6824 31640 0 -1 4202560 94 0 0 0 29 7 0 0 20 0 19 0 291761336 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657307343016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6835] ppid=6822 vsize=9624980 CPUtime=10.21 cores=1,3,5,7
/proc/6824/task/6835/stat : 6835 (java) S 6822 6824 31640 0 -1 4202560 18770 0 0 0 1012 9 0 0 20 0 19 0 291761337 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657294932968 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6836] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6836/stat : 6836 (java) S 6822 6824 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657175815928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6837] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6837/stat : 6837 (java) S 6822 6824 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657174763016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6838] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6838/stat : 6838 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657173711504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3789 0 0 0 63 0 0 0 20 0 19 0 291761341 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 4454 0 0 0 71 0 0 0 20 0 19 0 291761341 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=1.02 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 99 0 0 0 57 45 0 0 20 0 19 0 291761341 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6843] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6843/stat : 6843 (java) S 6822 6824 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291761453 9855979520 160299 33554432000 1073741824 1073778376 140733869759232 140657168447144 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.96
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/213 6952
/proc/meminfo: memFree=23949104/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9624980 CPUtime=1787.05 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 32148 0 1 0 178576 129 0 0 20 0 19 0 291761333 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2406245 160278 2282 9 0 2396937 0
[pid=6824/tid=6826] ppid=6822 vsize=9624980 CPUtime=1766.35 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (java) R 6822 6824 31640 0 -1 4202560 2843 0 1 0 176601 34 0 0 20 0 19 0 291761334 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657353220480 140657176769907 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6827] ppid=6822 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (java) S 6822 6824 31640 0 -1 4202560 140 0 0 0 24 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657314712616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6828] ppid=6822 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/6824/task/6828/stat : 6828 (java) S 6822 6824 31640 0 -1 4202560 179 0 0 0 25 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657313659816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6829] ppid=6822 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/6824/task/6829/stat : 6829 (java) S 6822 6824 31640 0 -1 4202560 192 0 0 0 26 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657312607016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6830] ppid=6822 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/6824/task/6830/stat : 6830 (java) S 6822 6824 31640 0 -1 4202560 84 0 0 0 28 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657311554216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6831] ppid=6822 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/6824/task/6831/stat : 6831 (java) S 6822 6824 31640 0 -1 4202560 176 0 0 0 32 7 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657310501416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6832] ppid=6822 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6824/task/6832/stat : 6832 (java) S 6822 6824 31640 0 -1 4202560 71 0 0 0 31 5 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657309448616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6833] ppid=6822 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/6824/task/6833/stat : 6833 (java) S 6822 6824 31640 0 -1 4202560 70 0 0 0 25 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657308395816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6834] ppid=6822 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6824/task/6834/stat : 6834 (java) S 6822 6824 31640 0 -1 4202560 94 0 0 0 29 7 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657307343016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6835] ppid=6822 vsize=9624980 CPUtime=10.54 cores=1,3,5,7
/proc/6824/task/6835/stat : 6835 (java) S 6822 6824 31640 0 -1 4202560 18772 0 0 0 1045 9 0 0 20 0 19 0 291761337 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657294932968 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6836] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6836/stat : 6836 (java) S 6822 6824 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657175815928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6837] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6837/stat : 6837 (java) S 6822 6824 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657174763016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6838] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6838/stat : 6838 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657173711504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3789 0 0 0 63 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 4454 0 0 0 71 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=1.05 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 103 0 0 0 59 46 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6843] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6843/stat : 6843 (java) S 6822 6824 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291761453 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657168447144 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.05
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.31 s]
/proc/loadavg: 2.00 2.02 2.01 3/213 6952
/proc/meminfo: memFree=23949104/32873844 swapFree=7628/7628
[pid=6824] ppid=6822 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/6824/stat : 6824 (java) S 6822 6824 31640 0 -1 4202496 32148 0 1 0 179878 129 0 0 20 0 19 0 291761333 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140733869750368 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6824/statm: 2406245 160278 2282 9 0 2396937 0
[pid=6824/tid=6826] ppid=6822 vsize=9624980 CPUtime=1779.33 cores=1,3,5,7
/proc/6824/task/6826/stat : 6826 (java) R 6822 6824 31640 0 -1 4202560 2843 0 1 0 177898 35 0 0 20 0 19 0 291761334 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657353220480 140657176600801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6827] ppid=6822 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/6824/task/6827/stat : 6827 (java) S 6822 6824 31640 0 -1 4202560 140 0 0 0 24 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657314712616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6828] ppid=6822 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/6824/task/6828/stat : 6828 (java) S 6822 6824 31640 0 -1 4202560 179 0 0 0 25 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657313659816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6829] ppid=6822 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/6824/task/6829/stat : 6829 (java) S 6822 6824 31640 0 -1 4202560 192 0 0 0 26 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657312607016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6830] ppid=6822 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/6824/task/6830/stat : 6830 (java) S 6822 6824 31640 0 -1 4202560 84 0 0 0 28 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657311554216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6831] ppid=6822 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/6824/task/6831/stat : 6831 (java) S 6822 6824 31640 0 -1 4202560 176 0 0 0 32 7 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657310501416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6832] ppid=6822 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6824/task/6832/stat : 6832 (java) S 6822 6824 31640 0 -1 4202560 71 0 0 0 31 5 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657309448616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6833] ppid=6822 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/6824/task/6833/stat : 6833 (java) S 6822 6824 31640 0 -1 4202560 70 0 0 0 25 4 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657308395816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6824/tid=6834] ppid=6822 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/6824/task/6834/stat : 6834 (java) S 6822 6824 31640 0 -1 4202560 94 0 0 0 29 7 0 0 20 0 19 0 291761336 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657307343016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6835] ppid=6822 vsize=9624980 CPUtime=10.55 cores=1,3,5,7
/proc/6824/task/6835/stat : 6835 (java) S 6822 6824 31640 0 -1 4202560 18772 0 0 0 1046 9 0 0 20 0 19 0 291761337 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657294932968 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6836] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6836/stat : 6836 (java) S 6822 6824 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657175815928 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6837] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6837/stat : 6837 (java) S 6822 6824 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291761338 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657174763016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6838] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6838/stat : 6838 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657173711504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6824/tid=6839] ppid=6822 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/6824/task/6839/stat : 6839 (java) S 6822 6824 31640 0 -1 4202560 3789 0 0 0 63 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657172658616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6840] ppid=6822 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/6824/task/6840/stat : 6840 (java) S 6822 6824 31640 0 -1 4202560 4454 0 0 0 71 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657171605816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6841] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6841/stat : 6841 (java) S 6822 6824 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657170553208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6824/tid=6842] ppid=6822 vsize=9624980 CPUtime=1.06 cores=1,3,5,7
/proc/6824/task/6842/stat : 6842 (java) S 6822 6824 31640 0 -1 4202560 103 0 0 0 60 46 0 0 20 0 19 0 291761341 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657169500616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6824/tid=6843] ppid=6822 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/6824/task/6843/stat : 6843 (java) S 6822 6824 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291761453 9855979520 160278 33554432000 1073741824 1073778376 140733869759232 140657168447144 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6824 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=760306
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=430782
# CPU time returned by wait4() is 1795.19
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.35
CPU time (s): 1800.07
CPU user time (s): 1798.78
CPU system time (s): 1.29
CPU usage (%): 100.263
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.76
system time used= 1.43078
maximum resident set size= 641268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32191
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39081
involuntary context switches= 8257
runsolver used 6.20006 second user time and 16.3925 second system time
The end