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-3688664-1337878748/watcher-3688664-1337878748 -o /tmp/evaluation-result-3688664-1337878748/solver-3688664-1337878748 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688664-1337878748.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: 3.86 3.81 3.80 4/197 24712
/proc/meminfo: memFree=26108708/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24712/stat : 24712 (java) D 24710 24712 21497 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254000848 9515008 182 33554432000 1073741824 1073778376 140735350548112 140735350539144 266435641013 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24712/statm: 2323 182 140 9 0 71 0
[startup+0.0948651 s]
/proc/loadavg: 3.86 3.81 3.80 4/197 24712
/proc/meminfo: memFree=26108708/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 4317 0 1 0 8 1 0 0 20 0 18 0 254000848 9787813888 5005 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2389603 5005 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100235 s]
/proc/loadavg: 3.86 3.81 3.80 4/197 24712
/proc/meminfo: memFree=26108708/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 4355 0 1 0 9 1 0 0 20 0 18 0 254000848 9787813888 5043 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2389603 5045 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300248 s]
/proc/loadavg: 3.86 3.81 3.80 4/197 24712
/proc/meminfo: memFree=26108708/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 6302 0 1 0 41 2 0 0 20 0 19 0 254000848 10060460032 8828 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 8828 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824668
[startup+0.700233 s]
/proc/loadavg: 3.86 3.81 3.80 4/197 24712
/proc/meminfo: memFree=26108708/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 6302 0 1 0 41 2 0 0 20 0 19 0 254000848 10060460032 8828 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 8828 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9824668
[startup+1.50068 s]
/proc/loadavg: 3.86 3.81 3.80 2/216 24737
/proc/meminfo: memFree=26087564/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=0.85 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 9886 0 1 0 79 6 0 0 20 0 19 0 254000848 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 13735 2239 9 0 2446860 0
[pid=24712/tid=24714] ppid=24710 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/24712/task/24714/stat : 24714 (java) S 24710 24712 21497 0 -1 4202560 2506 0 1 0 21 1 0 0 20 0 19 0 254000849 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829499376632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24715] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24715/stat : 24715 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829342845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24716] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24716/stat : 24716 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829341793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24717] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24717/stat : 24717 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829340740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24718] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24718/stat : 24718 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829339687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24719] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24719/stat : 24719 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829338634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24720] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24720/stat : 24720 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829337581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24721] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24721/stat : 24721 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829336529192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24722] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24722/stat : 24722 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254000850 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829335476392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24723] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24723/stat : 24723 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254000851 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829323279336 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24724] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24724/stat : 24724 (java) S 24710 24712 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254000852 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829322225400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24725] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24725/stat : 24725 (java) S 24710 24712 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254000852 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829321172488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24726] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24726/stat : 24726 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000854 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829320120976 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24727] ppid=24710 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/24712/task/24727/stat : 24727 (java) S 24710 24712 21497 0 -1 4202560 2785 0 0 0 23 0 0 0 20 0 19 0 254000854 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829319068088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24728] ppid=24710 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/24712/task/24728/stat : 24728 (java) S 24710 24712 21497 0 -1 4202560 3269 0 0 0 23 0 0 0 20 0 19 0 254000854 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829318015288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24729] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24729/stat : 24729 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000854 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829316962680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24730] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24730/stat : 24730 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254000854 10060460032 13735 33554432000 1073741824 1073778376 140736354094592 139829315910088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 9824668
[startup+3.10065 s]
/proc/loadavg: 3.86 3.81 3.80 3/216 24743
/proc/meminfo: memFree=26050384/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=2.7 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 17573 0 1 0 257 13 0 0 20 0 22 0 254000848 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 47414 2278 9 0 2446860 0
[pid=24712/tid=24714] ppid=24710 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/24712/task/24714/stat : 24714 (java) S 24710 24712 21497 0 -1 4202560 2508 0 1 0 21 1 0 0 20 0 22 0 254000849 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829499376632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24715] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24715/stat : 24715 (java) S 24710 24712 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829342845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24716] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24716/stat : 24716 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829341793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24717] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24717/stat : 24717 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829340740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24718] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24718/stat : 24718 (java) S 24710 24712 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829339687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24719] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24719/stat : 24719 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829338634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24720] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24720/stat : 24720 (java) S 24710 24712 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829337581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24721] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24721/stat : 24721 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829336529192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24722] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24722/stat : 24722 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829335476392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24723] ppid=24710 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24712/task/24723/stat : 24723 (java) S 24710 24712 21497 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 254000851 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829323279336 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24724] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24724/stat : 24724 (java) S 24710 24712 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829322225400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24725] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24725/stat : 24725 (java) S 24710 24712 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829321172488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24726] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24726/stat : 24726 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829320120976 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24727] ppid=24710 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/24712/task/24727/stat : 24727 (java) S 24710 24712 21497 0 -1 4202560 6527 0 0 0 62 0 0 0 20 0 22 0 254000854 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829319068088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24728] ppid=24710 vsize=9824668 CPUtime=0.66 cores=1,3,5,7
/proc/24712/task/24728/stat : 24728 (java) S 24710 24712 21497 0 -1 4202560 7079 0 0 0 66 0 0 0 20 0 22 0 254000854 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829318015288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24729] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24729/stat : 24729 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829316962680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24730] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24730/stat : 24730 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829315910088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24740] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24740/stat : 24740 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000974 10060460032 47414 33554432000 1073741824 1073778376 140736354094592 139829314856488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9824668
[startup+6.30084 s]
/proc/loadavg: 3.87 3.82 3.80 5/219 24752
/proc/meminfo: memFree=25831680/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=8.65 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 18105 0 1 0 844 21 0 0 20 0 22 0 254000848 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 86163 2280 9 0 2446860 0
[pid=24712/tid=24714] ppid=24710 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/24712/task/24714/stat : 24714 (java) S 24710 24712 21497 0 -1 4202560 2509 0 1 0 21 2 0 0 20 0 22 0 254000849 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829499376632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24715] ppid=24710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24712/task/24715/stat : 24715 (java) S 24710 24712 21497 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829342845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24716] ppid=24710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24712/task/24716/stat : 24716 (java) S 24710 24712 21497 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829341793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24717] ppid=24710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24712/task/24717/stat : 24717 (java) S 24710 24712 21497 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829340740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24718] ppid=24710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24712/task/24718/stat : 24718 (java) S 24710 24712 21497 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829339687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24719] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24719/stat : 24719 (java) S 24710 24712 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829338634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24720] ppid=24710 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24712/task/24720/stat : 24720 (java) S 24710 24712 21497 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829337581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24721] ppid=24710 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24712/task/24721/stat : 24721 (java) S 24710 24712 21497 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829336529192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24722] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24722/stat : 24722 (java) S 24710 24712 21497 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254000850 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829335476392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24723] ppid=24710 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/24712/task/24723/stat : 24723 (java) S 24710 24712 21497 0 -1 4202560 107 0 0 0 37 2 0 0 20 0 22 0 254000851 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829323279336 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24724] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24724/stat : 24724 (java) S 24710 24712 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829322225400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24725] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24725/stat : 24725 (java) S 24710 24712 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829321172488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24726] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24726/stat : 24726 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829320120976 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24727] ppid=24710 vsize=9824668 CPUtime=0.77 cores=1,3,5,7
/proc/24712/task/24727/stat : 24727 (java) S 24710 24712 21497 0 -1 4202560 6557 0 0 0 77 0 0 0 20 0 22 0 254000854 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829319068088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24728] ppid=24710 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/24712/task/24728/stat : 24728 (java) S 24710 24712 21497 0 -1 4202560 7367 0 0 0 86 1 0 0 20 0 22 0 254000854 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829318015288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24729] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24729/stat : 24729 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829316962680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24730] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24730/stat : 24730 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829315910088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24740] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24740/stat : 24740 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000974 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829314856488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24750] ppid=24710 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/24712/task/24750/stat : 24750 (java) R 24710 24712 21497 0 -1 4202560 5 0 0 0 131 0 0 0 20 0 22 0 254001324 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829313802848 139829439618544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24751] ppid=24710 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/24712/task/24751/stat : 24751 (java) R 24710 24712 21497 0 -1 4202560 8 0 0 0 131 0 0 0 20 0 22 0 254001324 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829312748160 139829439659618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24752] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24752/stat : 24752 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254001325 10060460032 86163 33554432000 1073741824 1073778376 140736354094592 139829311697960 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=24712/tid=24781] ppid=24710 vsize=9824668 CPUtime=237.25 cores=1,3,5,7
/proc/24712/task/24781/stat : 24781 (java) R 24710 24712 21497 0 -1 4202560 42 0 0 0 23722 3 0 0 20 0 22 0 254050189 10060460032 581384 33554432000 1073741824 1073778376 140736354094592 139829313801504 139829440168940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24782] ppid=24710 vsize=9824668 CPUtime=237.25 cores=1,3,5,7
/proc/24712/task/24782/stat : 24782 (java) R 24710 24712 21497 0 -1 4202560 32 0 0 0 23722 3 0 0 20 0 22 0 254050189 10060460032 581384 33554432000 1073741824 1073778376 140736354094592 139829312747760 139829439769077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24783] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24783/stat : 24783 (java) S 24710 24712 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254050190 10060460032 581384 33554432000 1073741824 1073778376 140736354094592 139829311698600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1484.44
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.92 3.97 3.88 6/219 24870
/proc/meminfo: memFree=24641460/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=1601.97 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 32642 0 1 0 160056 141 0 0 20 0 22 0 254000848 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 563014 2281 9 0 2446860 0
[pid=24712/tid=24714] ppid=24710 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/24712/task/24714/stat : 24714 (java) S 24710 24712 21497 0 -1 4202560 2578 0 1 0 24 3 0 0 20 0 22 0 254000849 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829499376632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24715] ppid=24710 vsize=9824668 CPUtime=2.34 cores=1,3,5,7
/proc/24712/task/24715/stat : 24715 (java) S 24710 24712 21497 0 -1 4202560 310 0 0 0 231 3 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829342845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24716] ppid=24710 vsize=9824668 CPUtime=2.54 cores=1,3,5,7
/proc/24712/task/24716/stat : 24716 (java) S 24710 24712 21497 0 -1 4202560 309 0 0 0 249 5 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829341793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24717] ppid=24710 vsize=9824668 CPUtime=2.39 cores=1,3,5,7
/proc/24712/task/24717/stat : 24717 (java) S 24710 24712 21497 0 -1 4202560 278 0 0 0 236 3 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829340740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24718] ppid=24710 vsize=9824668 CPUtime=2.42 cores=1,3,5,7
/proc/24712/task/24718/stat : 24718 (java) S 24710 24712 21497 0 -1 4202560 323 0 0 0 237 5 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829339687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24719] ppid=24710 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/24712/task/24719/stat : 24719 (java) S 24710 24712 21497 0 -1 4202560 237 0 0 0 221 4 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829338634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24720] ppid=24710 vsize=9824668 CPUtime=2.42 cores=1,3,5,7
/proc/24712/task/24720/stat : 24720 (java) S 24710 24712 21497 0 -1 4202560 314 0 0 0 237 5 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829337581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24721] ppid=24710 vsize=9824668 CPUtime=2.51 cores=1,3,5,7
/proc/24712/task/24721/stat : 24721 (java) S 24710 24712 21497 0 -1 4202560 322 0 0 0 245 6 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829336529192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24722] ppid=24710 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/24712/task/24722/stat : 24722 (java) S 24710 24712 21497 0 -1 4202560 295 0 0 0 234 3 0 0 20 0 22 0 254000850 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829335476392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24723] ppid=24710 vsize=9824668 CPUtime=48.49 cores=1,3,5,7
/proc/24712/task/24723/stat : 24723 (java) S 24710 24712 21497 0 -1 4202560 3339 0 0 0 4827 22 0 0 20 0 22 0 254000851 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829323279336 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24724] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24724/stat : 24724 (java) S 24710 24712 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829322225400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24725] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24725/stat : 24725 (java) S 24710 24712 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829321172488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24726] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24726/stat : 24726 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829320120976 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24727] ppid=24710 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/24712/task/24727/stat : 24727 (java) S 24710 24712 21497 0 -1 4202560 6558 0 0 0 80 0 0 0 20 0 22 0 254000854 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829319068088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24728] ppid=24710 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/24712/task/24728/stat : 24728 (java) S 24710 24712 21497 0 -1 4202560 14957 0 0 0 164 3 0 0 20 0 22 0 254000854 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829318015288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24729] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24729/stat : 24729 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829316962680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24730] ppid=24710 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/24712/task/24730/stat : 24730 (java) S 24710 24712 21497 0 -1 4202560 47 0 0 0 13 20 0 0 20 0 22 0 254000854 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829315910088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24740] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24740/stat : 24740 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000974 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829314856488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24781] ppid=24710 vsize=9824668 CPUtime=293.53 cores=1,3,5,7
/proc/24712/task/24781/stat : 24781 (java) R 24710 24712 21497 0 -1 4202560 50 0 0 0 29349 4 0 0 20 0 22 0 254050189 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829313801504 139829439597072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24782] ppid=24710 vsize=9824668 CPUtime=293.54 cores=1,3,5,7
/proc/24712/task/24782/stat : 24782 (java) R 24710 24712 21497 0 -1 4202560 36 0 0 0 29350 4 0 0 20 0 22 0 254050189 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829312747760 139829439678887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24783] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24783/stat : 24783 (java) S 24710 24712 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254050190 10060460032 563014 33554432000 1073741824 1073778376 140736354094592 139829311698600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.97 3.97 3.89 6/219 24873
/proc/meminfo: memFree=24661624/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=1719.91 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 32737 0 1 0 171847 144 0 0 20 0 22 0 254000848 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 547332 2281 9 0 2446860 0
[pid=24712/tid=24714] ppid=24710 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/24712/task/24714/stat : 24714 (java) S 24710 24712 21497 0 -1 4202560 2580 0 1 0 24 3 0 0 20 0 22 0 254000849 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829499376632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24715] ppid=24710 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/24712/task/24715/stat : 24715 (java) S 24710 24712 21497 0 -1 4202560 312 0 0 0 249 3 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829342845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24716] ppid=24710 vsize=9824668 CPUtime=2.71 cores=1,3,5,7
/proc/24712/task/24716/stat : 24716 (java) S 24710 24712 21497 0 -1 4202560 309 0 0 0 266 5 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829341793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24717] ppid=24710 vsize=9824668 CPUtime=2.6 cores=1,3,5,7
/proc/24712/task/24717/stat : 24717 (java) S 24710 24712 21497 0 -1 4202560 304 0 0 0 256 4 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829340740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24718] ppid=24710 vsize=9824668 CPUtime=2.6 cores=1,3,5,7
/proc/24712/task/24718/stat : 24718 (java) S 24710 24712 21497 0 -1 4202560 324 0 0 0 255 5 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829339687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24719] ppid=24710 vsize=9824668 CPUtime=2.41 cores=1,3,5,7
/proc/24712/task/24719/stat : 24719 (java) S 24710 24712 21497 0 -1 4202560 272 0 0 0 237 4 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829338634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24720] ppid=24710 vsize=9824668 CPUtime=2.6 cores=1,3,5,7
/proc/24712/task/24720/stat : 24720 (java) S 24710 24712 21497 0 -1 4202560 315 0 0 0 255 5 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829337581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24721] ppid=24710 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/24712/task/24721/stat : 24721 (java) S 24710 24712 21497 0 -1 4202560 323 0 0 0 258 6 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829336529192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24722] ppid=24710 vsize=9824668 CPUtime=2.53 cores=1,3,5,7
/proc/24712/task/24722/stat : 24722 (java) S 24710 24712 21497 0 -1 4202560 297 0 0 0 249 4 0 0 20 0 22 0 254000850 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829335476392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24723] ppid=24710 vsize=9824668 CPUtime=51.16 cores=1,3,5,7
/proc/24712/task/24723/stat : 24723 (java) S 24710 24712 21497 0 -1 4202560 3350 0 0 0 5093 23 0 0 20 0 22 0 254000851 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829323279336 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24724] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24724/stat : 24724 (java) S 24710 24712 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829322225400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24725] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24725/stat : 24725 (java) S 24710 24712 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829321172488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24726] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24726/stat : 24726 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829320120976 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24727] ppid=24710 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/24712/task/24727/stat : 24727 (java) S 24710 24712 21497 0 -1 4202560 6558 0 0 0 80 0 0 0 20 0 22 0 254000854 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829319068088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24728] ppid=24710 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/24712/task/24728/stat : 24728 (java) S 24710 24712 21497 0 -1 4202560 14957 0 0 0 164 3 0 0 20 0 22 0 254000854 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829318015288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24729] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24729/stat : 24729 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829316962680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24730] ppid=24710 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/24712/task/24730/stat : 24730 (java) S 24710 24712 21497 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 254000854 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829315910088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24740] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24740/stat : 24740 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000974 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829314856488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24781] ppid=24710 vsize=9824668 CPUtime=350.5 cores=1,3,5,7
/proc/24712/task/24781/stat : 24781 (java) R 24710 24712 21497 0 -1 4202560 57 0 0 0 35045 5 0 0 20 0 22 0 254050189 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829313802448 139829439566511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24782] ppid=24710 vsize=9824668 CPUtime=350.48 cores=1,3,5,7
/proc/24712/task/24782/stat : 24782 (java) R 24710 24712 21497 0 -1 4202560 39 0 0 0 35043 5 0 0 20 0 22 0 254050189 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829312747760 139829439678974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24783] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24783/stat : 24783 (java) S 24710 24712 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254050190 10060460032 547332 33554432000 1073741824 1073778376 140736354094592 139829311698600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1719.91
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+922.601 s]
/proc/loadavg: 4.12 4.00 3.91 5/219 24873
/proc/meminfo: memFree=24711436/32873648 swapFree=6852/6852
[pid=24712] ppid=24710 vsize=9824668 CPUtime=1800.21 cores=1,3,5,7
/proc/24712/stat : 24712 (java) S 24710 24712 21497 0 -1 4202496 32764 0 1 0 179875 146 0 0 20 0 22 0 254000848 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 140736354085728 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24712/statm: 2456167 533991 2281 9 0 2446860 0
[pid=24712/tid=24714] ppid=24710 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/24712/task/24714/stat : 24714 (java) S 24710 24712 21497 0 -1 4202560 2580 0 1 0 24 3 0 0 20 0 22 0 254000849 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829499376632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24715] ppid=24710 vsize=9824668 CPUtime=2.65 cores=1,3,5,7
/proc/24712/task/24715/stat : 24715 (java) S 24710 24712 21497 0 -1 4202560 312 0 0 0 261 4 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829342845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24716] ppid=24710 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/24712/task/24716/stat : 24716 (java) S 24710 24712 21497 0 -1 4202560 311 0 0 0 283 5 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829341793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24717] ppid=24710 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/24712/task/24717/stat : 24717 (java) S 24710 24712 21497 0 -1 4202560 306 0 0 0 268 4 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829340740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24718] ppid=24710 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/24712/task/24718/stat : 24718 (java) S 24710 24712 21497 0 -1 4202560 324 0 0 0 267 5 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829339687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24719] ppid=24710 vsize=9824668 CPUtime=2.52 cores=1,3,5,7
/proc/24712/task/24719/stat : 24719 (java) S 24710 24712 21497 0 -1 4202560 275 0 0 0 248 4 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829338634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24720] ppid=24710 vsize=9824668 CPUtime=2.71 cores=1,3,5,7
/proc/24712/task/24720/stat : 24720 (java) S 24710 24712 21497 0 -1 4202560 315 0 0 0 266 5 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829337581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24721] ppid=24710 vsize=9824668 CPUtime=2.76 cores=1,3,5,7
/proc/24712/task/24721/stat : 24721 (java) S 24710 24712 21497 0 -1 4202560 325 0 0 0 270 6 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829336529192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24722] ppid=24710 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/24712/task/24722/stat : 24722 (java) S 24710 24712 21497 0 -1 4202560 299 0 0 0 260 4 0 0 20 0 22 0 254000850 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829335476392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24723] ppid=24710 vsize=9824668 CPUtime=51.91 cores=1,3,5,7
/proc/24712/task/24723/stat : 24723 (java) S 24710 24712 21497 0 -1 4202560 3356 0 0 0 5168 23 0 0 20 0 22 0 254000851 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829323279336 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24724] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24724/stat : 24724 (java) S 24710 24712 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829322225400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24725] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24725/stat : 24725 (java) S 24710 24712 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254000852 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829321172488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24726] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24726/stat : 24726 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829320120976 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24727] ppid=24710 vsize=9824668 CPUtime=0.8 cores=1,3,5,7
/proc/24712/task/24727/stat : 24727 (java) S 24710 24712 21497 0 -1 4202560 6558 0 0 0 80 0 0 0 20 0 22 0 254000854 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829319068088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24728] ppid=24710 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/24712/task/24728/stat : 24728 (java) S 24710 24712 21497 0 -1 4202560 14957 0 0 0 164 3 0 0 20 0 22 0 254000854 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829318015288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24729] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24729/stat : 24729 (java) S 24710 24712 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254000854 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829316962680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24712/tid=24730] ppid=24710 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/24712/task/24730/stat : 24730 (java) S 24710 24712 21497 0 -1 4202560 53 0 0 0 15 23 0 0 20 0 22 0 254000854 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829315910088 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24740] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24740/stat : 24740 (java) S 24710 24712 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254000974 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829314856488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24712/tid=24781] ppid=24710 vsize=9824668 CPUtime=389.78 cores=1,3,5,7
/proc/24712/task/24781/stat : 24781 (java) R 24710 24712 21497 0 -1 4202560 63 0 0 0 38973 5 0 0 20 0 22 0 254050189 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829313801504 139829439597072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24712/tid=24782] ppid=24710 vsize=9824668 CPUtime=389.75 cores=1,3,5,7
/proc/24712/task/24782/stat : 24782 (java) R 24710 24712 21497 0 -1 4202560 41 0 0 0 38970 5 0 0 20 0 22 0 254050189 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829312747808 139829439769423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24712/tid=24783] ppid=24710 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24712/task/24783/stat : 24783 (java) S 24710 24712 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254050190 10060460032 533991 33554432000 1073741824 1073778376 140736354094592 139829311698600 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 922.663
CPU time (s): 1800.64
CPU user time (s): 1798.8
CPU system time (s): 1.84272
CPU usage (%): 195.157
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.84272
maximum resident set size= 2970504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32800
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29298
involuntary context switches= 45689
runsolver used 3.46147 second user time and 8.5237 second system time
The end