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-3687840-1337873944/watcher-3687840-1337873944 -o /tmp/evaluation-result-3687840-1337873944/solver-3687840-1337873944 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687840-1337873944.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.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22111/stat : 22111 (java) D 22109 22111 21231 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253520123 9515008 182 33554432000 1073741824 1073778376 140734519163312 140734519154344 272886480565 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22111/statm: 2323 182 140 9 0 71 0
[startup+0.105315 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4328 0 1 0 8 1 0 0 20 0 18 0 253520123 9787813888 5520 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2389603 5520 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.20027 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9558412 CPUtime=0.23 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4636 0 1 0 22 1 0 0 20 0 18 0 253520123 9787813888 6770 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2389603 6770 2182 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558412
[startup+0.300295 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4973 0 1 0 29 3 0 0 20 0 19 0 253520123 10060460032 7403 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 7403 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824668
[startup+0.700212 s]
/proc/loadavg: 3.43 3.48 3.12 4/197 22111
/proc/meminfo: memFree=26181504/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 4973 0 1 0 29 3 0 0 20 0 19 0 253520123 10060460032 7403 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 7403 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9824668
[startup+1.50076 s]
/proc/loadavg: 3.31 3.46 3.11 3/216 22136
/proc/meminfo: memFree=26110784/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=2.58 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 18404 0 1 0 249 9 0 0 20 0 22 0 253520123 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 42128 2252 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2452 0 1 0 18 1 0 0 20 0 22 0 253520124 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 5837 0 0 0 57 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8742 0 0 0 66 2 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 42128 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9824668
[startup+3.10083 s]
/proc/loadavg: 3.31 3.46 3.11 6/220 22140
/proc/meminfo: memFree=25974492/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=6.13 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 22853 0 1 0 599 14 0 0 20 0 22 0 253520123 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 51470 2277 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2452 0 1 0 18 1 0 0 20 0 22 0 253520124 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520125 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 82 0 0 0 12 0 0 0 20 0 22 0 253520127 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10126 0 0 0 79 2 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8751 0 0 0 87 2 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=1.67 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 7 0 0 0 167 0 0 0 20 0 22 0 253520246 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685213992048 139685976861170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 61 0 0 0 163 2 0 0 20 0 22 0 253520246 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685217148168 139685976943944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 51470 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 9824668
[startup+6.30095 s]
/proc/loadavg: 3.31 3.46 3.11 7/219 22208
/proc/meminfo: memFree=28615020/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=12.34 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 23237 0 1 0 1216 18 0 0 20 0 22 0 253520123 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 87279 2277 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2453 0 1 0 18 1 0 0 20 0 22 0 253520124 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 47 0 0 0 3 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 63 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 48 0 0 0 1 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 22 0 253520125 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 219 0 0 0 38 1 0 0 20 0 22 0 253520127 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10126 0 0 0 83 3 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8751 0 0 0 87 2 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 87279 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/22111/statm: 2456167 490876 2280 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2505 0 1 0 21 3 0 0 20 0 22 0 253520124 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=3 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1341 0 0 0 274 26 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=3.24 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1483 0 0 0 295 29 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 889 0 0 0 266 22 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1099 0 0 0 275 24 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1524 0 0 0 294 24 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1206 0 0 0 285 20 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=2.93 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1064 0 0 0 271 22 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 1365 0 0 0 297 23 0 0 20 0 22 0 253520125 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=30.25 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2152 0 0 0 2996 29 0 0 20 0 22 0 253520127 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10130 0 0 0 96 3 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8761 0 0 0 98 2 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 47 0 0 0 15 26 0 0 20 0 22 0 253520129 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=781.92 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 220 0 0 0 78178 14 0 0 20 0 22 0 253520246 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685213990960 139685976842975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=781.76 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 3177 0 0 0 78135 41 0 0 20 0 22 0 253520246 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685217147136 139685976946204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 490876 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1625.79
Current children cumulated vsize (KiB) 9824668
[startup+882.308 s]
/proc/loadavg: 3.99 3.94 3.61 5/219 22217
/proc/meminfo: memFree=23646712/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=1744.4 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 38749 0 1 0 174125 315 0 0 20 0 22 0 253520123 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 556017 2280 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2509 0 1 0 21 4 0 0 20 0 22 0 253520124 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1371 0 0 0 290 28 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1519 0 0 0 317 31 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 914 0 0 0 280 25 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1136 0 0 0 292 27 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1557 0 0 0 311 27 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=3.23 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1241 0 0 0 301 22 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1099 0 0 0 289 24 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 1432 0 0 0 318 28 0 0 20 0 22 0 253520125 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=32.39 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2291 0 0 0 3208 31 0 0 20 0 22 0 253520127 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10130 0 0 0 96 3 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8761 0 0 0 98 2 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 51 0 0 0 17 28 0 0 20 0 22 0 253520129 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=839.19 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 224 0 0 0 83904 15 0 0 20 0 22 0 253520246 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685213990944 139685976912542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=839.03 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 3206 0 0 0 83860 43 0 0 20 0 22 0 253520246 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685217147232 139685976944845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 556017 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1744.4
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+910.501 s]
/proc/loadavg: 3.92 3.93 3.62 5/219 22217
/proc/meminfo: memFree=23502672/32873844 swapFree=7104/7104
[pid=22111] ppid=22109 vsize=9824668 CPUtime=1800.2 cores=1,3,5,7
/proc/22111/stat : 22111 (java) S 22109 22111 21231 0 -1 4202496 39486 0 1 0 179692 328 0 0 20 0 22 0 253520123 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 140736464990128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22111/statm: 2456167 587284 2280 9 0 2446860 0
[pid=22111/tid=22113] ppid=22109 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/22111/task/22113/stat : 22113 (java) S 22109 22111 21231 0 -1 4202560 2511 0 1 0 21 4 0 0 20 0 22 0 253520124 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686140339192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22114] ppid=22109 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/22111/task/22114/stat : 22114 (java) S 22109 22111 21231 0 -1 4202560 1410 0 0 0 303 31 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686101829800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22115] ppid=22109 vsize=9824668 CPUtime=3.61 cores=1,3,5,7
/proc/22111/task/22115/stat : 22115 (java) S 22109 22111 21231 0 -1 4202560 1550 0 0 0 327 34 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686100777256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22116] ppid=22109 vsize=9824668 CPUtime=3.13 cores=1,3,5,7
/proc/22111/task/22116/stat : 22116 (java) S 22109 22111 21231 0 -1 4202560 928 0 0 0 287 26 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686099724712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22111/tid=22117] ppid=22109 vsize=9824668 CPUtime=3.29 cores=1,3,5,7
/proc/22111/task/22117/stat : 22117 (java) S 22109 22111 21231 0 -1 4202560 1157 0 0 0 301 28 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686098672168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22118] ppid=22109 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/22111/task/22118/stat : 22118 (java) S 22109 22111 21231 0 -1 4202560 1573 0 0 0 317 28 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686097619624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22119] ppid=22109 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/22111/task/22119/stat : 22119 (java) S 22109 22111 21231 0 -1 4202560 1263 0 0 0 311 23 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686096567080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22120] ppid=22109 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22111/task/22120/stat : 22120 (java) S 22109 22111 21231 0 -1 4202560 1108 0 0 0 294 25 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139686095514536 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22121] ppid=22109 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/22111/task/22121/stat : 22121 (java) S 22109 22111 21231 0 -1 4202560 1441 0 0 0 324 28 0 0 20 0 22 0 253520125 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685976337448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22122] ppid=22109 vsize=9824668 CPUtime=33.37 cores=1,3,5,7
/proc/22111/task/22122/stat : 22122 (java) S 22109 22111 21231 0 -1 4202560 2342 0 0 0 3305 32 0 0 20 0 22 0 253520127 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685964138600 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22123] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22123/stat : 22123 (java) S 22109 22111 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685963084920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22124] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22124/stat : 22124 (java) S 22109 22111 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253520127 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685962032264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22125] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22125/stat : 22125 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685960981008 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22126] ppid=22109 vsize=9824668 CPUtime=0.99 cores=1,3,5,7
/proc/22111/task/22126/stat : 22126 (java) S 22109 22111 21231 0 -1 4202560 10130 0 0 0 96 3 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685221362232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22127] ppid=22109 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22111/task/22127/stat : 22127 (java) S 22109 22111 21231 0 -1 4202560 8761 0 0 0 98 2 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685220309688 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22128] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22128/stat : 22128 (java) S 22109 22111 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685219257336 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22129] ppid=22109 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/22111/task/22129/stat : 22129 (java) S 22109 22111 21231 0 -1 4202560 53 0 0 0 18 28 0 0 20 0 22 0 253520129 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685218205000 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22132] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22132/stat : 22132 (java) S 22109 22111 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253520145 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685215044648 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22111/tid=22138] ppid=22109 vsize=9824668 CPUtime=866.14 cores=1,3,5,7
/proc/22111/task/22138/stat : 22138 (java) R 22109 22111 21231 0 -1 4202560 225 0 0 0 86598 16 0 0 20 0 22 0 253520246 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685213991904 139685976864772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22111/tid=22139] ppid=22109 vsize=9824668 CPUtime=865.98 cores=1,3,5,7
/proc/22111/task/22139/stat : 22139 (java) R 22109 22111 21231 0 -1 4202560 3726 0 0 0 86554 44 0 0 20 0 22 0 253520246 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685217147136 139685976911170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22111/tid=22140] ppid=22109 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22111/task/22140/stat : 22140 (java) S 22109 22111 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253520246 10060460032 587284 33554432000 1073741824 1073778376 140736464998992 139685216097192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
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
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22111 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=218541
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=720434
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 910.535
CPU time (s): 1800.2
CPU user time (s): 1796.92
CPU system time (s): 3.28
CPU usage (%): 197.708
Max. virtual memory (cumulated for all children) (KiB): 9824928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.22
system time used= 3.72043
maximum resident set size= 2349256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39517
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30685
involuntary context switches= 49985
runsolver used 4.43033 second user time and 7.97379 second system time
The end