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-3717973-1338258178/watcher-3717973-1338258178 -o /tmp/evaluation-result-3717973-1338258178/solver-3717973-1338258178 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717973-1338258178.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: 1.91 1.99 1.99 3/194 4026
/proc/meminfo: memFree=30766356/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 291944574 24780800 867 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 6050 867 654 9 0 385 0
[pid=4026/tid=4027] ppid=4024 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 291944574 94019584 903 33554432000 1073741824 1073778376 140734915548720 140734915537784 271787321216 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.070506 s]
/proc/loadavg: 1.91 1.99 1.99 3/194 4026
/proc/meminfo: memFree=30766356/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 3330 0 1 0 5 0 0 0 20 0 18 0 291944574 9787817984 4539 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2389604 4539 1772 9 0 2380296 0
[pid=4026/tid=4027] ppid=4024 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2121 0 1 0 5 0 0 0 20 0 18 0 291944574 9787817984 4539 33554432000 1073741824 1073778376 140734915548720 139712073067168 139712080829267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558416
[startup+0.100348 s]
/proc/loadavg: 1.91 1.99 1.99 3/194 4026
/proc/meminfo: memFree=30766356/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 4381 0 1 0 9 1 0 0 20 0 18 0 291944574 9787817984 5585 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2389604 5585 2109 9 0 2380296 0
[pid=4026/tid=4027] ppid=4024 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2440 0 1 0 7 0 0 0 20 0 18 0 291944574 9787817984 5585 33554432000 1073741824 1073778376 140734915548720 139712073063344 139712080829267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300201 s]
/proc/loadavg: 1.91 1.99 1.99 3/194 4026
/proc/meminfo: memFree=30766356/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9558416 CPUtime=0.49 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 5695 0 1 0 48 1 0 0 20 0 18 0 291944574 9787817984 8998 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2389604 8998 2216 9 0 2380296 0
[pid=4026/tid=4027] ppid=4024 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2455 0 1 0 26 1 0 0 20 0 18 0 291944574 9787817984 8998 33554432000 1073741824 1073778376 140734915548720 139712073063344 271790957837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558416
[startup+0.700224 s]
/proc/loadavg: 1.91 1.99 1.99 3/194 4026
/proc/meminfo: memFree=30766356/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9558416 CPUtime=1.32 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 9906 0 1 0 128 4 0 0 20 0 18 0 291944574 9787817984 37757 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2389604 37757 2246 9 0 2380296 0
[pid=4026/tid=4027] ppid=4024 vsize=9558416 CPUtime=0.68 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2517 0 1 0 65 3 0 0 20 0 18 0 291944574 9787817984 37757 33554432000 1073741824 1073778376 140734915548720 139712073063344 139711945354824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9558416
[startup+1.50067 s]
/proc/loadavg: 1.91 1.99 1.99 3/213 4045
/proc/meminfo: memFree=30622688/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9624980 CPUtime=2.75 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 13286 0 1 0 268 7 0 0 20 0 19 0 291944574 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2406245 46850 2267 9 0 2396937 0
[pid=4026/tid=4027] ppid=4024 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2528 0 1 0 141 3 0 0 20 0 19 0 291944574 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139712073063864 139711946169120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4026/tid=4029] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4029/stat : 4029 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711916968744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4030] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4030/stat : 4030 (java) S 4024 4026 28718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711915915944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4031] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4031/stat : 4031 (java) S 4024 4026 28718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711914863656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4032] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4032/stat : 4032 (java) S 4024 4026 28718 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711913810856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4033] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4033/stat : 4033 (java) S 4024 4026 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711912757544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4034] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4034/stat : 4034 (java) S 4024 4026 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711911704744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4035] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4035/stat : 4035 (java) S 4024 4026 28718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711910652456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4036] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4036/stat : 4036 (java) S 4024 4026 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711909599656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4037] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4037/stat : 4037 (java) S 4024 4026 28718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711897189096 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4038] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4038/stat : 4038 (java) S 4024 4026 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711896135160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4039] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4039/stat : 4039 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711895082760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4040] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4040/stat : 4040 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711894031248 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4041] ppid=4024 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/4026/task/4041/stat : 4041 (java) S 4024 4026 28718 0 -1 4202560 4536 0 0 0 52 1 0 0 20 0 19 0 291944579 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711892977848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4042] ppid=4024 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/4026/task/4042/stat : 4042 (java) S 4024 4026 28718 0 -1 4202560 4891 0 0 0 62 0 0 0 20 0 19 0 291944579 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711891925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4043] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4043/stat : 4043 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711890872952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4044] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4044/stat : 4044 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711889820360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4045] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4045/stat : 4045 (java) S 4024 4026 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291944652 9855979520 46850 33554432000 1073741824 1073778376 140734915548720 139711888766376 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 9624980
[startup+3.10066 s]
/proc/loadavg: 1.91 1.99 1.99 3/213 4045
/proc/meminfo: memFree=30586756/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9624980 CPUtime=4.48 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 13951 0 1 0 441 7 0 0 20 0 19 0 291944574 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2406245 46869 2270 9 0 2396937 0
[pid=4026/tid=4027] ppid=4024 vsize=9624980 CPUtime=3.05 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2529 0 1 0 301 4 0 0 20 0 19 0 291944574 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139712073065128 139711946169112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4026/tid=4029] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4029/stat : 4029 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711916968744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4030] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4030/stat : 4030 (java) S 4024 4026 28718 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711915915944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4031] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4031/stat : 4031 (java) S 4024 4026 28718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711914863656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4032] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4032/stat : 4032 (java) S 4024 4026 28718 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711913810856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4033] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4033/stat : 4033 (java) S 4024 4026 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711912757544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4034] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4034/stat : 4034 (java) S 4024 4026 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711911704744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4035] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4035/stat : 4035 (java) S 4024 4026 28718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711910652456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4036] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4036/stat : 4036 (java) S 4024 4026 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711909599656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4037] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4037/stat : 4037 (java) S 4024 4026 28718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711897189096 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4038] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4038/stat : 4038 (java) S 4024 4026 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711896135160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4039] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4039/stat : 4039 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711895082760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4040] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4040/stat : 4040 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711894031248 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4041] ppid=4024 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/4026/task/4041/stat : 4041 (java) S 4024 4026 28718 0 -1 4202560 4536 0 0 0 55 1 0 0 20 0 19 0 291944579 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711892977848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4042] ppid=4024 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4026/task/4042/stat : 4042 (java) S 4024 4026 28718 0 -1 4202560 5555 0 0 0 69 2 0 0 20 0 19 0 291944579 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711891925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4043] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4043/stat : 4043 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711890872952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4044] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4044/stat : 4044 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711889820360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4045] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4045/stat : 4045 (java) S 4024 4026 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291944652 9855979520 46869 33554432000 1073741824 1073778376 140734915548720 139711888766376 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 9624980
[startup+6.30067 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 4045
/proc/meminfo: memFree=30559020/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9624980 CPUtime=7.8 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 14410 0 1 0 769 11 0 0 20 0 19 0 291944574 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2406245 63127 2270 9 0 2396937 0
[pid=4026/tid=4027] ppid=4024 vsize=9624980 CPUtime=6.21 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2550 0 1 0 617 4 0 0 20 0 19 0 291944574 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139712073063016 139711946169120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4026/tid=4029] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4029/stat : 4029 (java) S 4024 4026 28718 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711916968744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4030] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4030/stat : 4030 (java) S 4024 4026 28718 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711915915944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4031] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4031/stat : 4031 (java) S 4024 4026 28718 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711914863656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4032] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4032/stat : 4032 (java) S 4024 4026 28718 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711913810856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4033] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4033/stat : 4033 (java) S 4024 4026 28718 0 -1 4202560 118 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711912757544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4034] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4034/stat : 4034 (java) S 4024 4026 28718 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711911704744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4035] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4035/stat : 4035 (java) S 4024 4026 28718 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711910652456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4036] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4036/stat : 4036 (java) S 4024 4026 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711909599656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4037] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4037/stat : 4037 (java) S 4024 4026 28718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711897189096 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4038] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4038/stat : 4038 (java) S 4024 4026 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711896135160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4039] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4039/stat : 4039 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711895082760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4040] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4040/stat : 4040 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711894031248 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4041] ppid=4024 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/4026/task/4041/stat : 4041 (java) S 4024 4026 28718 0 -1 4202560 4536 0 0 0 58 2 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711892977848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4042] ppid=4024 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4026/task/4042/stat : 4042 (java) S 4024 4026 28718 0 -1 4202560 5555 0 0 0 69 2 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711891925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4043] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4043/stat : 4043 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711890872952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4044] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4044/stat : 4044 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711889820360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4045] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4045/stat : 4045 (java) S 4024 4026 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291944652 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711888766376 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 9624980
Solver just ended. Dumping a history of the last processes samples
[startup+7.10069 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 4045
/proc/meminfo: memFree=30522156/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9624980 CPUtime=8.61 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 14412 0 1 0 850 11 0 0 20 0 19 0 291944574 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2406245 63127 2270 9 0 2396937 0
[pid=4026/tid=4027] ppid=4024 vsize=9624980 CPUtime=7.01 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2552 0 1 0 697 4 0 0 20 0 19 0 291944574 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139712073063016 139711946169112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4026/tid=4029] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4029/stat : 4029 (java) S 4024 4026 28718 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711916968744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4030] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4030/stat : 4030 (java) S 4024 4026 28718 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711915915944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4031] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4031/stat : 4031 (java) S 4024 4026 28718 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711914863656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4032] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4032/stat : 4032 (java) S 4024 4026 28718 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711913810856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4033] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4033/stat : 4033 (java) S 4024 4026 28718 0 -1 4202560 118 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711912757544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4034] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4034/stat : 4034 (java) S 4024 4026 28718 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711911704744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4035] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4035/stat : 4035 (java) S 4024 4026 28718 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711910652456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4036] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4036/stat : 4036 (java) S 4024 4026 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711909599656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4037] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4037/stat : 4037 (java) S 4024 4026 28718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711897189096 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4038] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4038/stat : 4038 (java) S 4024 4026 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711896135160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4039] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4039/stat : 4039 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711895082760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4040] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4040/stat : 4040 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711894031248 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4041] ppid=4024 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/4026/task/4041/stat : 4041 (java) S 4024 4026 28718 0 -1 4202560 4536 0 0 0 60 2 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711892977848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4042] ppid=4024 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4026/task/4042/stat : 4042 (java) S 4024 4026 28718 0 -1 4202560 5555 0 0 0 69 2 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711891925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4043] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4043/stat : 4043 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711890872952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4044] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4044/stat : 4044 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711889820360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4045] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4045/stat : 4045 (java) S 4024 4026 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291944652 9855979520 63127 33554432000 1073741824 1073778376 140734915548720 139711888766376 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 9624980
[startup+7.50067 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 4045
/proc/meminfo: memFree=30522156/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9624980 CPUtime=9.02 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 14413 0 1 0 891 11 0 0 20 0 19 0 291944574 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2406245 63639 2270 9 0 2396937 0
[pid=4026/tid=4027] ppid=4024 vsize=9624980 CPUtime=7.41 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2553 0 1 0 737 4 0 0 20 0 19 0 291944574 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139712073063016 139711946169158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4026/tid=4029] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4029/stat : 4029 (java) S 4024 4026 28718 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711916968744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4030] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4030/stat : 4030 (java) S 4024 4026 28718 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711915915944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4031] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4031/stat : 4031 (java) S 4024 4026 28718 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711914863656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4032] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4032/stat : 4032 (java) S 4024 4026 28718 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711913810856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4033] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4033/stat : 4033 (java) S 4024 4026 28718 0 -1 4202560 118 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711912757544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4034] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4034/stat : 4034 (java) S 4024 4026 28718 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711911704744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4035] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4035/stat : 4035 (java) S 4024 4026 28718 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711910652456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4036] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4036/stat : 4036 (java) S 4024 4026 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711909599656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4037] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4037/stat : 4037 (java) S 4024 4026 28718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711897189096 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4038] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4038/stat : 4038 (java) S 4024 4026 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711896135160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4039] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4039/stat : 4039 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711895082760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4040] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4040/stat : 4040 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711894031248 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4041] ppid=4024 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/4026/task/4041/stat : 4041 (java) S 4024 4026 28718 0 -1 4202560 4536 0 0 0 60 2 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711892977848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4042] ppid=4024 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4026/task/4042/stat : 4042 (java) S 4024 4026 28718 0 -1 4202560 5555 0 0 0 69 2 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711891925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4043] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4043/stat : 4043 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711890872952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4044] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4044/stat : 4044 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711889820360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4045] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4045/stat : 4045 (java) S 4024 4026 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291944652 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711888766376 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 9624980
[startup+7.60068 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 4045
/proc/meminfo: memFree=30520280/32873648 swapFree=6852/6852
[pid=4026] ppid=4024 vsize=9624980 CPUtime=9.13 cores=1,3,5,7
/proc/4026/stat : 4026 (java) S 4024 4026 28718 0 -1 4202496 14413 0 1 0 902 11 0 0 20 0 19 0 291944574 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 140734915539856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4026/statm: 2406245 63639 2270 9 0 2396937 0
[pid=4026/tid=4027] ppid=4024 vsize=9624980 CPUtime=7.52 cores=1,3,5,7
/proc/4026/task/4027/stat : 4027 (java) R 4024 4026 28718 0 -1 4202560 2553 0 1 0 748 4 0 0 20 0 19 0 291944574 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139712073063016 139711946105168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4026/tid=4029] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4029/stat : 4029 (java) S 4024 4026 28718 0 -1 4202560 97 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711916968744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4030] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4030/stat : 4030 (java) S 4024 4026 28718 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711915915944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4031] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4031/stat : 4031 (java) S 4024 4026 28718 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711914863656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4032] ppid=4024 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/4026/task/4032/stat : 4032 (java) S 4024 4026 28718 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711913810856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4033] ppid=4024 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4026/task/4033/stat : 4033 (java) S 4024 4026 28718 0 -1 4202560 118 0 0 0 3 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711912757544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4034] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4034/stat : 4034 (java) S 4024 4026 28718 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711911704744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4035] ppid=4024 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4026/task/4035/stat : 4035 (java) S 4024 4026 28718 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711910652456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4036] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4036/stat : 4036 (java) S 4024 4026 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291944575 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711909599656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4037] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4037/stat : 4037 (java) S 4024 4026 28718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711897189096 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4038] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4038/stat : 4038 (java) S 4024 4026 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711896135160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4039] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4039/stat : 4039 (java) S 4024 4026 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291944576 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711895082760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4040] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4040/stat : 4040 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711894031248 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4041] ppid=4024 vsize=9624980 CPUtime=0.62 cores=1,3,5,7
/proc/4026/task/4041/stat : 4041 (java) S 4024 4026 28718 0 -1 4202560 4536 0 0 0 60 2 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711892977848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4042] ppid=4024 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4026/task/4042/stat : 4042 (java) S 4024 4026 28718 0 -1 4202560 5555 0 0 0 69 2 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711891925048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4026/tid=4043] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4043/stat : 4043 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711890872952 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4026/tid=4044] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4044/stat : 4044 (java) S 4024 4026 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291944579 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711889820360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4026/tid=4045] ppid=4024 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4026/task/4045/stat : 4045 (java) S 4024 4026 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291944652 9855979520 63639 33554432000 1073741824 1073778376 140734915548720 139711888766376 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.13
Current children cumulated vsize (KiB) 9624980
Child status: 30
Real time (s): 7.705
CPU time (s): 9.30158
CPU user time (s): 9.11061
CPU system time (s): 0.19097
CPU usage (%): 120.721
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.11061
system time used= 0.19097
maximum resident set size= 256660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14430
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 524
involuntary context switches= 147
runsolver used 0.034994 second user time and 0.074988 second system time
The end