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-3689188-1337881334/watcher-3689188-1337881334 -o /tmp/evaluation-result-3689188-1337881334/solver-3689188-1337881334 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689188-1337881334.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.56 2.91 3.15 3/194 4710
/proc/meminfo: memFree=27840172/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/4710/stat : 4710 (java) R 4708 4710 718 0 -1 4202496 696 0 0 0 0 0 0 0 20 0 1 0 254258822 23793664 425 33554432000 1073741824 1073778376 140735293580128 140735293569192 229346687539 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 5809 439 334 9 0 128 0
[startup+0.0726221 s]
/proc/loadavg: 2.56 2.91 3.15 3/194 4710
/proc/meminfo: memFree=27840172/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 3302 0 1 0 5 1 0 0 20 0 18 0 254258822 9787813888 4511 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2389603 4511 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100265 s]
/proc/loadavg: 2.56 2.91 3.15 3/194 4710
/proc/meminfo: memFree=27840172/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 4312 0 1 0 9 1 0 0 20 0 18 0 254258822 9787813888 5511 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2389603 5512 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300159 s]
/proc/loadavg: 2.56 2.91 3.15 3/194 4710
/proc/meminfo: memFree=27840172/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 5932 0 1 0 46 2 0 0 20 0 18 0 254258822 9787813888 9196 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2389603 9198 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700167 s]
/proc/loadavg: 2.56 2.91 3.15 3/194 4710
/proc/meminfo: memFree=27840172/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9558412 CPUtime=1.64 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 19277 0 1 0 157 7 0 0 20 0 18 0 254258822 9787813888 30514 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2389603 30514 2240 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558412
[startup+1.50063 s]
/proc/loadavg: 2.51 2.90 3.14 3/212 4728
/proc/meminfo: memFree=27649032/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 24333 0 1 0 347 11 0 0 20 0 22 0 254258822 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2456167 56934 2263 9 0 2446860 0
[pid=4710/tid=4712] ppid=4708 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/4710/task/4712/stat : 4712 (java) S 4708 4710 718 0 -1 4202560 2527 0 1 0 125 3 0 0 20 0 22 0 254258823 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003418076152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4713] ppid=4708 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/4710/task/4713/stat : 4713 (java) S 4708 4710 718 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003390527784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4714] ppid=4708 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/4710/task/4714/stat : 4714 (java) S 4708 4710 718 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003389474984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4715] ppid=4708 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/4710/task/4715/stat : 4715 (java) S 4708 4710 718 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003388422696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4716] ppid=4708 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/4710/task/4716/stat : 4716 (java) S 4708 4710 718 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003387369896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4717] ppid=4708 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/4710/task/4717/stat : 4717 (java) S 4708 4710 718 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003386317608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4718] ppid=4708 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/4710/task/4718/stat : 4718 (java) S 4708 4710 718 0 -1 4202560 100 0 0 0 1 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003256085160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4719] ppid=4708 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/4710/task/4719/stat : 4719 (java) S 4708 4710 718 0 -1 4202560 93 0 0 0 2 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003255032872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4720] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4720/stat : 4720 (java) S 4708 4710 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254258824 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140003253980072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4721] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4721/stat : 4721 (java) S 4708 4710 718 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002771032296 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4722] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4722/stat : 4722 (java) S 4708 4710 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002769978360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4723] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4723/stat : 4723 (java) S 4708 4710 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002768925960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4724] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4724/stat : 4724 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002767874448 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4725] ppid=4708 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/4710/task/4725/stat : 4725 (java) R 4708 4710 718 0 -1 4202560 11864 0 0 0 87 3 0 0 20 0 22 0 254258828 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002766821912 140003424874960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4726] ppid=4708 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/4710/task/4726/stat : 4726 (java) R 4708 4710 718 0 -1 4202560 8159 0 0 0 87 3 0 0 20 0 22 0 254258828 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002765756048 140003424894552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4727] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4727/stat : 4727 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002764717176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4728] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4728/stat : 4728 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 56934 33554432000 1073741824 1073778376 140735293580128 140002763664584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9824668
[startup+3.10079 s]
/proc/loadavg: 2.51 2.90 3.14 4/216 4732
/proc/meminfo: memFree=27610028/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9824668 CPUtime=7.84 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 27673 0 1 0 765 19 0 0 20 0 22 0 254258822 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2456167 93982 2273 9 0 2446860 0
[pid=4710/tid=4712] ppid=4708 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/4710/task/4712/stat : 4712 (java) S 4708 4710 718 0 -1 4202560 2527 0 1 0 125 3 0 0 20 0 22 0 254258823 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003418076152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4713] ppid=4708 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/4710/task/4713/stat : 4713 (java) S 4708 4710 718 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003390527784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4714] ppid=4708 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/4710/task/4714/stat : 4714 (java) S 4708 4710 718 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003389474984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4715] ppid=4708 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/4710/task/4715/stat : 4715 (java) S 4708 4710 718 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003388422696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4716] ppid=4708 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/4710/task/4716/stat : 4716 (java) S 4708 4710 718 0 -1 4202560 103 0 0 0 3 0 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003387369896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4717] ppid=4708 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/4710/task/4717/stat : 4717 (java) S 4708 4710 718 0 -1 4202560 110 0 0 0 4 2 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003386317608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4718] ppid=4708 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/4710/task/4718/stat : 4718 (java) S 4708 4710 718 0 -1 4202560 112 0 0 0 3 0 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003256085160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4719] ppid=4708 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/4710/task/4719/stat : 4719 (java) S 4708 4710 718 0 -1 4202560 101 0 0 0 3 0 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003255032872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4720] ppid=4708 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/4710/task/4720/stat : 4720 (java) S 4708 4710 718 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 254258824 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140003253980072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4721] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4721/stat : 4721 (java) S 4708 4710 718 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002771032296 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4722] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4722/stat : 4722 (java) S 4708 4710 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002769978360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4723] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4723/stat : 4723 (java) S 4708 4710 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002768925960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4724] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4724/stat : 4724 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002767874448 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4725] ppid=4708 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/4710/task/4725/stat : 4725 (java) S 4708 4710 718 0 -1 4202560 14907 0 0 0 136 4 0 0 20 0 22 0 254258828 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002766822072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4726] ppid=4708 vsize=9824668 CPUtime=1.38 cores=0,2,4,6
/proc/4710/task/4726/stat : 4726 (java) S 4708 4710 718 0 -1 4202560 8166 0 0 0 135 3 0 0 20 0 22 0 254258828 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002765769272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4727] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4727/stat : 4727 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002764717176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4728] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4728/stat : 4728 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002763664584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4729] ppid=4708 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/4710/task/4729/stat : 4729 (java) R 4708 4710 718 0 -1 4202560 26 0 0 0 165 0 0 0 20 0 22 0 254258959 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002762609208 140003268147239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4730] ppid=4708 vsize=9824668 CPUtime=1.67 cores=0,2,4,6
/proc/4710/task/4730/stat : 4730 (java) R 4708 4710 718 0 -1 4202560 129 0 0 0 166 1 0 0 20 0 22 0 254258959 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002761555768 140003267643799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4731] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4731/stat : 4731 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258966 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002760504488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4732] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4732/stat : 4732 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258967 10060460032 93982 33554432000 1073741824 1073778376 140735293580128 140002759451688 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 9824668
[startup+6.30072 s]
/proc/loadavg: 2.55 2.90 3.14 4/216 4732
/proc/meminfo: memFree=27188020/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9824668 CPUtime=14.64 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 32048 0 1 0 1437 27 0 0 20 0 22 0 254258822 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2456167 170265 2285 9 0 2446860 0
[pid=4710/tid=4712] ppid=4708 vsize=9824668 CPUtime=1.28 cores=0,2,4,6
/proc/4710/task/4712/stat : 4712 (java) S 4708 4710 718 0 -1 4202560 2528 0 1 0 125 3 0 0 20 0 22 0 254258823 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003418076152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4713] ppid=4708 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/4710/task/4713/stat : 4713 (java) S 4708 4710 718 0 -1 4202560 46 0 0 0 6 2 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003390527784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4714] ppid=4708 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/4710/task/4714/stat : 4714 (java) S 4708 4710 718 0 -1 4202560 53 0 0 0 9 2 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003389474984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4715] ppid=4708 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/4710/task/4715/stat : 4715 (java) S 4708 4710 718 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003388422696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4716] ppid=4708 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/4710/task/4716/stat : 4716 (java) S 4708 4710 718 0 -1 4202560 138 0 0 0 5 1 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003387369896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4717] ppid=4708 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/4710/task/4717/stat : 4717 (java) S 4708 4710 718 0 -1 4202560 143 0 0 0 8 2 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003386317608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4718] ppid=4708 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/4710/task/4718/stat : 4718 (java) S 4708 4710 718 0 -1 4202560 135 0 0 0 4 2 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003256085160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4719] ppid=4708 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/4710/task/4719/stat : 4719 (java) S 4708 4710 718 0 -1 4202560 129 0 0 0 5 1 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003255032872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4720] ppid=4708 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/4710/task/4720/stat : 4720 (java) S 4708 4710 718 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 22 0 254258824 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140003253980072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4721] ppid=4708 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/4710/task/4721/stat : 4721 (java) S 4708 4710 718 0 -1 4202560 504 0 0 0 26 0 0 0 20 0 22 0 254258825 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002771032296 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4722] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4722/stat : 4722 (java) S 4708 4710 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002769978360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4723] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4723/stat : 4723 (java) S 4708 4710 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002768925960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4724] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4724/stat : 4724 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002767874448 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4725] ppid=4708 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/4710/task/4725/stat : 4725 (java) S 4708 4710 718 0 -1 4202560 18487 0 0 0 184 4 0 0 20 0 22 0 254258828 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002766822072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4726] ppid=4708 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/4710/task/4726/stat : 4726 (java) S 4708 4710 718 0 -1 4202560 8166 0 0 0 143 3 0 0 20 0 22 0 254258828 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002765769272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4727] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4727/stat : 4727 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002764717176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4728] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4728/stat : 4728 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002763664584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4729] ppid=4708 vsize=9824668 CPUtime=4.45 cores=0,2,4,6
/proc/4710/task/4729/stat : 4729 (java) R 4708 4710 718 0 -1 4202560 27 0 0 0 445 0 0 0 20 0 22 0 254258959 10060460032 170265 33554432000 1073741824 1073778376 140735293580128 140002762608864 140003268254527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
/proc/4710/statm: 2456167 799245 2285 9 0 2446860 0
[pid=4710/tid=4712] ppid=4708 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/4710/task/4712/stat : 4712 (java) S 4708 4710 718 0 -1 4202560 2546 0 1 0 127 5 0 0 20 0 22 0 254258823 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003418076152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4713] ppid=4708 vsize=9824668 CPUtime=2.63 cores=0,2,4,6
/proc/4710/task/4713/stat : 4713 (java) S 4708 4710 718 0 -1 4202560 888 0 0 0 249 14 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003390527784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4714] ppid=4708 vsize=9824668 CPUtime=2.72 cores=0,2,4,6
/proc/4710/task/4714/stat : 4714 (java) S 4708 4710 718 0 -1 4202560 1189 0 0 0 256 16 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003389474984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4715] ppid=4708 vsize=9824668 CPUtime=2.46 cores=0,2,4,6
/proc/4710/task/4715/stat : 4715 (java) S 4708 4710 718 0 -1 4202560 716 0 0 0 232 14 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003388422696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4716] ppid=4708 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/4710/task/4716/stat : 4716 (java) S 4708 4710 718 0 -1 4202560 1077 0 0 0 240 17 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003387369896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4717] ppid=4708 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/4710/task/4717/stat : 4717 (java) S 4708 4710 718 0 -1 4202560 913 0 0 0 258 16 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003386317608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4718] ppid=4708 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/4710/task/4718/stat : 4718 (java) S 4708 4710 718 0 -1 4202560 926 0 0 0 239 15 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003256085160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4719] ppid=4708 vsize=9824668 CPUtime=2.62 cores=0,2,4,6
/proc/4710/task/4719/stat : 4719 (java) S 4708 4710 718 0 -1 4202560 870 0 0 0 248 14 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003255032872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4720] ppid=4708 vsize=9824668 CPUtime=2.36 cores=0,2,4,6
/proc/4710/task/4720/stat : 4720 (java) S 4708 4710 718 0 -1 4202560 570 0 0 0 225 11 0 0 20 0 22 0 254258824 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140003253980072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4721] ppid=4708 vsize=9824668 CPUtime=36.22 cores=0,2,4,6
/proc/4710/task/4721/stat : 4721 (java) S 4708 4710 718 0 -1 4202560 2203 0 0 0 3604 18 0 0 20 0 22 0 254258825 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002771032296 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4722] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4722/stat : 4722 (java) S 4708 4710 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002769978360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4723] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4723/stat : 4723 (java) S 4708 4710 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002768925960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4724] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4724/stat : 4724 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002767874448 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4725] ppid=4708 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/4710/task/4725/stat : 4725 (java) S 4708 4710 718 0 -1 4202560 18492 0 0 0 199 5 0 0 20 0 22 0 254258828 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002766822072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4726] ppid=4708 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/4710/task/4726/stat : 4726 (java) S 4708 4710 718 0 -1 4202560 8179 0 0 0 177 3 0 0 20 0 22 0 254258828 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002765769272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4727] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4727/stat : 4727 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002764717176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4728] ppid=4708 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/4710/task/4728/stat : 4728 (java) S 4708 4710 718 0 -1 4202560 51 0 0 0 18 14 0 0 20 0 22 0 254258828 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002763664584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4729] ppid=4708 vsize=9824668 CPUtime=836.76 cores=0,2,4,6
/proc/4710/task/4729/stat : 4729 (java) R 4708 4710 718 0 -1 4202560 56 0 0 0 83662 14 0 0 20 0 22 0 254258959 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002762607920 140003267807705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4730] ppid=4708 vsize=9824668 CPUtime=836.78 cores=0,2,4,6
/proc/4710/task/4730/stat : 4730 (java) R 4708 4710 718 0 -1 4202560 3059 0 0 0 83627 51 0 0 20 0 22 0 254258959 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002761556208 140003267780401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4731] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4731/stat : 4731 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258966 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002760504488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4732] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4732/stat : 4732 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258967 10060460032 799245 33554432000 1073741824 1073778376 140735293580128 140002759451688 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1740.24
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.701 s]
/proc/loadavg: 4.04 3.78 3.41 5/217 4863
/proc/meminfo: memFree=23841420/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 43021 0 1 0 179801 213 0 0 20 0 22 0 254258822 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2456167 812049 2286 9 0 2446860 0
[pid=4710/tid=4712] ppid=4708 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/4710/task/4712/stat : 4712 (java) S 4708 4710 718 0 -1 4202560 2546 0 1 0 127 5 0 0 20 0 22 0 254258823 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003418076152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4713] ppid=4708 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/4710/task/4713/stat : 4713 (java) S 4708 4710 718 0 -1 4202560 895 0 0 0 255 15 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003390527784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4714] ppid=4708 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/4710/task/4714/stat : 4714 (java) S 4708 4710 718 0 -1 4202560 1207 0 0 0 264 17 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003389474984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4715] ppid=4708 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/4710/task/4715/stat : 4715 (java) S 4708 4710 718 0 -1 4202560 724 0 0 0 236 14 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003388422696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4716] ppid=4708 vsize=9824668 CPUtime=2.68 cores=0,2,4,6
/proc/4710/task/4716/stat : 4716 (java) S 4708 4710 718 0 -1 4202560 1091 0 0 0 250 18 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003387369896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4717] ppid=4708 vsize=9824668 CPUtime=2.79 cores=0,2,4,6
/proc/4710/task/4717/stat : 4717 (java) S 4708 4710 718 0 -1 4202560 924 0 0 0 262 17 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003386317608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4718] ppid=4708 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/4710/task/4718/stat : 4718 (java) S 4708 4710 718 0 -1 4202560 945 0 0 0 248 17 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003256085160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4719] ppid=4708 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/4710/task/4719/stat : 4719 (java) S 4708 4710 718 0 -1 4202560 872 0 0 0 251 14 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003255032872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4720] ppid=4708 vsize=9824668 CPUtime=2.39 cores=0,2,4,6
/proc/4710/task/4720/stat : 4720 (java) S 4708 4710 718 0 -1 4202560 573 0 0 0 227 12 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003253980072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4721] ppid=4708 vsize=9824668 CPUtime=37.4 cores=0,2,4,6
/proc/4710/task/4721/stat : 4721 (java) S 4708 4710 718 0 -1 4202560 2213 0 0 0 3722 18 0 0 20 0 22 0 254258825 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002771032296 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4722] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4722/stat : 4722 (java) S 4708 4710 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002769978360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4723] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4723/stat : 4723 (java) S 4708 4710 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002768925960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4724] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4724/stat : 4724 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002767874448 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4725] ppid=4708 vsize=9824668 CPUtime=2.06 cores=0,2,4,6
/proc/4710/task/4725/stat : 4725 (java) S 4708 4710 718 0 -1 4202560 18495 0 0 0 201 5 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002766822072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4726] ppid=4708 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/4710/task/4726/stat : 4726 (java) S 4708 4710 718 0 -1 4202560 8179 0 0 0 177 3 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002765769272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4727] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4727/stat : 4727 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002764717176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4728] ppid=4708 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/4710/task/4728/stat : 4728 (java) S 4708 4710 718 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002763664584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4729] ppid=4708 vsize=9824668 CPUtime=865.75 cores=0,2,4,6
/proc/4710/task/4729/stat : 4729 (java) R 4708 4710 718 0 -1 4202560 56 0 0 0 86560 15 0 0 20 0 22 0 254258959 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002762608864 140003268146619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4730] ppid=4708 vsize=9824668 CPUtime=865.78 cores=0,2,4,6
/proc/4710/task/4730/stat : 4730 (java) R 4708 4710 718 0 -1 4202560 3061 0 0 0 86526 52 0 0 20 0 22 0 254258959 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002761554392 140003267803670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4731] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4731/stat : 4731 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258966 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002760504488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4732] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4732/stat : 4732 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258967 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002759451688 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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
[startup+912.701 s]
/proc/loadavg: 4.04 3.78 3.41 5/217 4863
/proc/meminfo: memFree=23841420/32873852 swapFree=6848/6848
[pid=4710] ppid=4708 vsize=9824668 CPUtime=1800.14 cores=0,2,4,6
/proc/4710/stat : 4710 (java) S 4708 4710 718 0 -1 4202496 43021 0 1 0 179801 213 0 0 20 0 22 0 254258822 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140735293571264 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4710/statm: 2456167 812049 2286 9 0 2446860 0
[pid=4710/tid=4712] ppid=4708 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/4710/task/4712/stat : 4712 (java) S 4708 4710 718 0 -1 4202560 2546 0 1 0 127 5 0 0 20 0 22 0 254258823 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003418076152 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4713] ppid=4708 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/4710/task/4713/stat : 4713 (java) S 4708 4710 718 0 -1 4202560 895 0 0 0 255 15 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003390527784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4714] ppid=4708 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/4710/task/4714/stat : 4714 (java) S 4708 4710 718 0 -1 4202560 1207 0 0 0 264 17 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003389474984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4715] ppid=4708 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/4710/task/4715/stat : 4715 (java) S 4708 4710 718 0 -1 4202560 724 0 0 0 236 14 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003388422696 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4716] ppid=4708 vsize=9824668 CPUtime=2.68 cores=0,2,4,6
/proc/4710/task/4716/stat : 4716 (java) S 4708 4710 718 0 -1 4202560 1091 0 0 0 250 18 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003387369896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4717] ppid=4708 vsize=9824668 CPUtime=2.79 cores=0,2,4,6
/proc/4710/task/4717/stat : 4717 (java) S 4708 4710 718 0 -1 4202560 924 0 0 0 262 17 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003386317608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4718] ppid=4708 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/4710/task/4718/stat : 4718 (java) S 4708 4710 718 0 -1 4202560 945 0 0 0 248 17 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003256085160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4719] ppid=4708 vsize=9824668 CPUtime=2.65 cores=0,2,4,6
/proc/4710/task/4719/stat : 4719 (java) S 4708 4710 718 0 -1 4202560 872 0 0 0 251 14 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003255032872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4720] ppid=4708 vsize=9824668 CPUtime=2.39 cores=0,2,4,6
/proc/4710/task/4720/stat : 4720 (java) S 4708 4710 718 0 -1 4202560 573 0 0 0 227 12 0 0 20 0 22 0 254258824 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140003253980072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4721] ppid=4708 vsize=9824668 CPUtime=37.4 cores=0,2,4,6
/proc/4710/task/4721/stat : 4721 (java) S 4708 4710 718 0 -1 4202560 2213 0 0 0 3722 18 0 0 20 0 22 0 254258825 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002771032296 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4722] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4722/stat : 4722 (java) S 4708 4710 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002769978360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4723] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4723/stat : 4723 (java) S 4708 4710 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254258825 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002768925960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4724] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4724/stat : 4724 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002767874448 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4725] ppid=4708 vsize=9824668 CPUtime=2.06 cores=0,2,4,6
/proc/4710/task/4725/stat : 4725 (java) S 4708 4710 718 0 -1 4202560 18495 0 0 0 201 5 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002766822072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4726] ppid=4708 vsize=9824668 CPUtime=1.8 cores=0,2,4,6
/proc/4710/task/4726/stat : 4726 (java) S 4708 4710 718 0 -1 4202560 8179 0 0 0 177 3 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002765769272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4710/tid=4727] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4727/stat : 4727 (java) S 4708 4710 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002764717176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4710/tid=4728] ppid=4708 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/4710/task/4728/stat : 4728 (java) S 4708 4710 718 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 254258828 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002763664584 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4729] ppid=4708 vsize=9824668 CPUtime=865.75 cores=0,2,4,6
/proc/4710/task/4729/stat : 4729 (java) R 4708 4710 718 0 -1 4202560 56 0 0 0 86560 15 0 0 20 0 22 0 254258959 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002762608864 140003268146619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4730] ppid=4708 vsize=9824668 CPUtime=865.78 cores=0,2,4,6
/proc/4710/task/4730/stat : 4730 (java) R 4708 4710 718 0 -1 4202560 3061 0 0 0 86526 52 0 0 20 0 22 0 254258959 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002761554392 140003267803670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4710/tid=4731] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4731/stat : 4731 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258966 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002760504488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4710/tid=4732] ppid=4708 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/4710/task/4732/stat : 4732 (java) S 4708 4710 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254258967 10060460032 812049 33554432000 1073741824 1073778376 140735293580128 140002759451688 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4710 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=479349
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=552611
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 912.755
CPU time (s): 1800.14
CPU user time (s): 1798.01
CPU system time (s): 2.13
CPU usage (%): 197.22
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.48
system time used= 2.55261
maximum resident set size= 3248312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43051
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26468
involuntary context switches= 42980
runsolver used 3.12052 second user time and 8.21575 second system time
The end