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-3733454-1338689693/watcher-3733454-1338689693 -o /tmp/evaluation-result-3733454-1338689693/solver-3733454-1338689693 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3733454-1338689693.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.78 3.88 3.89 4/195 16182
/proc/meminfo: memFree=24048460/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16182/stat : 16182 (java) D 16180 16182 4583 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335094789 9515008 183 33554432000 1073741824 1073778376 140735618421808 140735618412840 229355896501 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/16182/statm: 2323 183 140 9 0 71 0
[startup+0.0418469 s]
/proc/loadavg: 3.78 3.88 3.89 4/195 16182
/proc/meminfo: memFree=24048460/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11042732 CPUtime=0.02 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 3502 0 1 0 1 1 0 0 20 0 10 0 335094789 11307757568 10845 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2760683 10845 1081 9 0 2751792 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11042732
[startup+0.100339 s]
/proc/loadavg: 3.78 3.88 3.89 4/195 16182
/proc/meminfo: memFree=24048460/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 4472 0 1 0 6 1 0 0 20 0 18 0 335094789 11864465408 12834 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300304 s]
/proc/loadavg: 3.78 3.88 3.89 4/195 16182
/proc/meminfo: memFree=24048460/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 7480 0 1 0 46 2 0 0 20 0 18 0 335094789 11864465408 18355 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2896598 18355 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700323 s]
/proc/loadavg: 3.78 3.88 3.89 4/195 16182
/proc/meminfo: memFree=24048460/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11586392 CPUtime=1.05 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 7787 0 1 0 100 5 0 0 20 0 18 0 335094789 11864465408 48627 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2896598 48627 2236 9 0 2887285 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 11586392
[startup+1.50079 s]
/proc/loadavg: 3.78 3.88 3.89 4/213 16200
/proc/meminfo: memFree=23764388/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11586392 CPUtime=1.86 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 7918 0 1 0 175 11 0 0 20 0 18 0 335094789 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2896598 115699 2236 9 0 2887285 0
[pid=16182/tid=16184] ppid=16180 vsize=11586392 CPUtime=1.46 cores=1,3,5,7
/proc/16182/task/16184/stat : 16184 (java) R 16180 16182 4583 0 -1 4202560 3575 0 1 0 136 10 0 0 20 0 18 0 335094790 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236310417408 140236135284534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16185] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16185/stat : 16185 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236265179432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16186] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16186/stat : 16186 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236264126632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16187] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16187/stat : 16187 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236263074344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16188] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16188/stat : 16188 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236262021544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16189] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16189/stat : 16189 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236260969256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16190] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16190/stat : 16190 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236259916456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16191] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16191/stat : 16191 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236258864168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16192] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16192/stat : 16192 (java) S 16180 16182 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335094793 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236257811368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16193] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16193/stat : 16193 (java) S 16180 16182 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 335094794 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236127434984 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16194] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16194/stat : 16194 (java) S 16180 16182 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 335094795 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236126381048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16195] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16195/stat : 16195 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 335094795 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236125328648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16196] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16196/stat : 16196 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094798 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236124277136 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16197] ppid=16180 vsize=11586392 CPUtime=0.2 cores=1,3,5,7
/proc/16182/task/16197/stat : 16197 (java) S 16180 16182 4583 0 -1 4202560 1721 0 0 0 20 0 0 0 20 0 18 0 335094798 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236123224760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16198] ppid=16180 vsize=11586392 CPUtime=0.15 cores=1,3,5,7
/proc/16182/task/16198/stat : 16198 (java) S 16180 16182 4583 0 -1 4202560 1437 0 0 0 15 0 0 0 20 0 18 0 335094798 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236122171960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16199] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16199/stat : 16199 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094798 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236121119864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16200] ppid=16180 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16200/stat : 16200 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335094798 11864465408 115699 33554432000 1073741824 1073778376 140735904038560 140236120067272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 11586392
[startup+3.10069 s]
/proc/loadavg: 3.78 3.88 3.89 4/213 16200
/proc/meminfo: memFree=23414368/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11852648 CPUtime=4.44 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 9210 0 1 0 425 19 0 0 20 0 22 0 335094789 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2963162 197277 2245 9 0 2953849 0
[pid=16182/tid=16184] ppid=16180 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/16182/task/16184/stat : 16184 (java) S 16180 16182 4583 0 -1 4202560 3713 0 1 0 218 17 0 0 20 0 22 0 335094790 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236310426776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16185] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16185/stat : 16185 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236265179432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16186] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16186/stat : 16186 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236264126632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16187] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16187/stat : 16187 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236263074344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16188] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16188/stat : 16188 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236262021544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16189] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16189/stat : 16189 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236260969256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16190] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16190/stat : 16190 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236259916456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16191] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16191/stat : 16191 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236258864168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16192] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16192/stat : 16192 (java) S 16180 16182 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236257811368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16193] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16193/stat : 16193 (java) S 16180 16182 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335094794 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236127434984 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16194] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16194/stat : 16194 (java) S 16180 16182 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236126381048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16195] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16195/stat : 16195 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236125328648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16196] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16196/stat : 16196 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236124277136 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16197] ppid=16180 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/16182/task/16197/stat : 16197 (java) S 16180 16182 4583 0 -1 4202560 1721 0 0 0 31 0 0 0 20 0 22 0 335094798 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236123224760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16198] ppid=16180 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/16182/task/16198/stat : 16198 (java) S 16180 16182 4583 0 -1 4202560 2499 0 0 0 33 0 0 0 20 0 22 0 335094798 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236122171960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16199] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16199/stat : 16199 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236121119864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16200] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16200/stat : 16200 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 197277 33554432000 1073741824 1073778376 140735904038560 140236120067272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 11852648
[startup+6.30091 s]
/proc/loadavg: 3.80 3.88 3.89 5/217 16204
/proc/meminfo: memFree=23261296/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11852648 CPUtime=11.05 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 9953 0 1 0 1082 23 0 0 20 0 22 0 335094789 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2963162 261863 2251 9 0 2953849 0
[pid=16182/tid=16184] ppid=16180 vsize=11852648 CPUtime=2.35 cores=1,3,5,7
/proc/16182/task/16184/stat : 16184 (java) S 16180 16182 4583 0 -1 4202560 3713 0 1 0 218 17 0 0 20 0 22 0 335094790 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236310426776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16185] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16185/stat : 16185 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236265179432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16186] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16186/stat : 16186 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236264126632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16187] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16187/stat : 16187 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236263074344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16188] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16188/stat : 16188 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236262021544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16189] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16189/stat : 16189 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236260969256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16190] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16190/stat : 16190 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236259916456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16191] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16191/stat : 16191 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236258864168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16192] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16192/stat : 16192 (java) S 16180 16182 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335094793 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236257811368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16193] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16193/stat : 16193 (java) S 16180 16182 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335094794 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236127434984 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16194] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16194/stat : 16194 (java) S 16180 16182 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236126381048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16195] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16195/stat : 16195 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236125328648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16196] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16196/stat : 16196 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236124277136 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16197] ppid=16180 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/16182/task/16197/stat : 16197 (java) S 16180 16182 4583 0 -1 4202560 2251 0 0 0 48 0 0 0 20 0 22 0 335094798 12137111552 261863 33554432000 1073741824 1073778376 140735904038560 140236123224760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16198] ppid=16180 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/16182/task/16198/stat : 16198 (java) S 16180 16182 4583 0 -1 4202560 2528 0 0 0 39 0 0 0 20 0 22 0 335094798 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140236122171960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16199] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16199/stat : 16199 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140236121119864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16200] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16200/stat : 16200 (java) S 16180 16182 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140236120067272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16201] ppid=16180 vsize=11852648 CPUtime=3.88 cores=1,3,5,7
/proc/16182/task/16201/stat : 16201 (java) R 16180 16182 4583 0 -1 4202560 41 0 0 0 388 0 0 0 20 0 22 0 335095028 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140235111389616 140236135353356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16202] ppid=16180 vsize=11852648 CPUtime=3.86 cores=1,3,5,7
/proc/16182/task/16202/stat : 16202 (java) R 16180 16182 4583 0 -1 4202560 219 0 0 0 382 4 0 0 20 0 22 0 335095028 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140235110336208 140236135620669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16203] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16203/stat : 16203 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095058 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140235109287080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16204] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16204/stat : 16204 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095088 12137111552 262375 33554432000 1073741824 1073778376 140735904038560 140235108234280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 11852648
################
# More data... #
################
/proc/16182/statm: 2963162 949781 2279 9 0 2953849 0
[pid=16182/tid=16184] ppid=16180 vsize=11852648 CPUtime=2.4 cores=1,3,5,7
/proc/16182/task/16184/stat : 16184 (java) S 16180 16182 4583 0 -1 4202560 3716 0 1 0 222 18 0 0 20 0 22 0 335094790 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236310426776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16185] ppid=16180 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/16182/task/16185/stat : 16185 (java) S 16180 16182 4583 0 -1 4202560 147 0 0 0 54 6 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236265179432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16186] ppid=16180 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/16182/task/16186/stat : 16186 (java) S 16180 16182 4583 0 -1 4202560 174 0 0 0 51 10 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236264126632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16187] ppid=16180 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/16182/task/16187/stat : 16187 (java) S 16180 16182 4583 0 -1 4202560 143 0 0 0 47 6 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236263074344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16188] ppid=16180 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/16182/task/16188/stat : 16188 (java) S 16180 16182 4583 0 -1 4202560 188 0 0 0 61 11 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236262021544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16189] ppid=16180 vsize=11852648 CPUtime=0.67 cores=1,3,5,7
/proc/16182/task/16189/stat : 16189 (java) S 16180 16182 4583 0 -1 4202560 211 0 0 0 56 11 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236260969256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16190] ppid=16180 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/16182/task/16190/stat : 16190 (java) S 16180 16182 4583 0 -1 4202560 183 0 0 0 58 10 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236259916456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16191] ppid=16180 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/16182/task/16191/stat : 16191 (java) S 16180 16182 4583 0 -1 4202560 147 0 0 0 44 7 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236258864168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16192] ppid=16180 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/16182/task/16192/stat : 16192 (java) S 16180 16182 4583 0 -1 4202560 153 0 0 0 55 7 0 0 20 0 22 0 335094793 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236257811368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16193] ppid=16180 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/16182/task/16193/stat : 16193 (java) S 16180 16182 4583 0 -1 4202560 87 0 0 0 207 4 0 0 20 0 22 0 335094794 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236127434984 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16194] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16194/stat : 16194 (java) S 16180 16182 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236126381048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16195] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16195/stat : 16195 (java) S 16180 16182 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236125328648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16196] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16196/stat : 16196 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236124277136 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16197] ppid=16180 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/16182/task/16197/stat : 16197 (java) S 16180 16182 4583 0 -1 4202560 14114 0 0 0 208 3 0 0 20 0 22 0 335094798 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236123224760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16198] ppid=16180 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/16182/task/16198/stat : 16198 (java) S 16180 16182 4583 0 -1 4202560 7757 0 0 0 94 2 0 0 20 0 22 0 335094798 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236122171960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16199] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16199/stat : 16199 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236121119864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16200] ppid=16180 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/16182/task/16200/stat : 16200 (java) S 16180 16182 4583 0 -1 4202560 48 0 0 0 20 22 0 0 20 0 22 0 335094798 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140236120067272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16201] ppid=16180 vsize=11852648 CPUtime=813.97 cores=1,3,5,7
/proc/16182/task/16201/stat : 16201 (java) R 16180 16182 4583 0 -1 4202560 71 0 0 0 81383 14 0 0 20 0 22 0 335095028 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140235111390496 140236135353316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16202] ppid=16180 vsize=11852648 CPUtime=814 cores=1,3,5,7
/proc/16182/task/16202/stat : 16202 (java) R 16180 16182 4583 0 -1 4202560 1270 0 0 0 81351 49 0 0 20 0 22 0 335095028 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140235110336784 140236135353390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16203] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16203/stat : 16203 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095058 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140235109287080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16204] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16204/stat : 16204 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095088 12137111552 949781 33554432000 1073741824 1073778376 140735904038560 140235108234280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1645.08
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.92 3.84 3.82 5/217 16272
/proc/meminfo: memFree=20662592/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11852648 CPUtime=1764.66 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 29655 0 1 0 176307 159 0 0 20 0 22 0 335094789 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2963162 955433 2279 9 0 2953849 0
[pid=16182/tid=16184] ppid=16180 vsize=11852648 CPUtime=2.4 cores=1,3,5,7
/proc/16182/task/16184/stat : 16184 (java) S 16180 16182 4583 0 -1 4202560 3716 0 1 0 222 18 0 0 20 0 22 0 335094790 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236310426776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16185] ppid=16180 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/16182/task/16185/stat : 16185 (java) S 16180 16182 4583 0 -1 4202560 148 0 0 0 55 7 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236265179432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16186] ppid=16180 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/16182/task/16186/stat : 16186 (java) S 16180 16182 4583 0 -1 4202560 178 0 0 0 54 10 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236264126632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16187] ppid=16180 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/16182/task/16187/stat : 16187 (java) S 16180 16182 4583 0 -1 4202560 152 0 0 0 52 7 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236263074344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16188] ppid=16180 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/16182/task/16188/stat : 16188 (java) S 16180 16182 4583 0 -1 4202560 192 0 0 0 63 11 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236262021544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16189] ppid=16180 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/16182/task/16189/stat : 16189 (java) S 16180 16182 4583 0 -1 4202560 217 0 0 0 60 11 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236260969256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16190] ppid=16180 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/16182/task/16190/stat : 16190 (java) S 16180 16182 4583 0 -1 4202560 186 0 0 0 61 10 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236259916456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16191] ppid=16180 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/16182/task/16191/stat : 16191 (java) S 16180 16182 4583 0 -1 4202560 160 0 0 0 50 8 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236258864168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16192] ppid=16180 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/16182/task/16192/stat : 16192 (java) S 16180 16182 4583 0 -1 4202560 156 0 0 0 57 7 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236257811368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16193] ppid=16180 vsize=11852648 CPUtime=2.65 cores=1,3,5,7
/proc/16182/task/16193/stat : 16193 (java) S 16180 16182 4583 0 -1 4202560 93 0 0 0 261 4 0 0 20 0 22 0 335094794 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236127434984 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16194] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16194/stat : 16194 (java) S 16180 16182 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236126381048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16195] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16195/stat : 16195 (java) S 16180 16182 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236125328648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16196] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16196/stat : 16196 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236124277136 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16197] ppid=16180 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/16182/task/16197/stat : 16197 (java) S 16180 16182 4583 0 -1 4202560 14117 0 0 0 208 3 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236123224760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16198] ppid=16180 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/16182/task/16198/stat : 16198 (java) S 16180 16182 4583 0 -1 4202560 7757 0 0 0 94 2 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236122171960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16199] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16199/stat : 16199 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236121119864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16200] ppid=16180 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/16182/task/16200/stat : 16200 (java) S 16180 16182 4583 0 -1 4202560 52 0 0 0 21 24 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236120067272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16201] ppid=16180 vsize=11852648 CPUtime=873.2 cores=1,3,5,7
/proc/16182/task/16201/stat : 16201 (java) R 16180 16182 4583 0 -1 4202560 72 0 0 0 87305 15 0 0 20 0 22 0 335095028 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235111389584 140236135479040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16202] ppid=16180 vsize=11852648 CPUtime=873.22 cores=1,3,5,7
/proc/16182/task/16202/stat : 16202 (java) R 16180 16182 4583 0 -1 4202560 1270 0 0 0 87272 50 0 0 20 0 22 0 335095028 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235110338640 140236135482190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16203] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16203/stat : 16203 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095058 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235109287080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16204] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16204/stat : 16204 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095088 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235108234280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.66
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.66 3.78 3.80 5/217 16272
/proc/meminfo: memFree=20658496/32873852 swapFree=6856/6856
[pid=16182] ppid=16180 vsize=11852648 CPUtime=1800.07 cores=1,3,5,7
/proc/16182/stat : 16182 (java) S 16180 16182 4583 0 -1 4202496 29657 0 1 0 179848 159 0 0 20 0 22 0 335094789 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140735904029696 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16182/statm: 2963162 955433 2279 9 0 2953849 0
[pid=16182/tid=16184] ppid=16180 vsize=11852648 CPUtime=2.4 cores=1,3,5,7
/proc/16182/task/16184/stat : 16184 (java) S 16180 16182 4583 0 -1 4202560 3716 0 1 0 222 18 0 0 20 0 22 0 335094790 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236310426776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16185] ppid=16180 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/16182/task/16185/stat : 16185 (java) S 16180 16182 4583 0 -1 4202560 148 0 0 0 55 7 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236265179432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16186] ppid=16180 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/16182/task/16186/stat : 16186 (java) S 16180 16182 4583 0 -1 4202560 178 0 0 0 54 10 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236264126632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16187] ppid=16180 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/16182/task/16187/stat : 16187 (java) S 16180 16182 4583 0 -1 4202560 152 0 0 0 52 7 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236263074344 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16188] ppid=16180 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/16182/task/16188/stat : 16188 (java) S 16180 16182 4583 0 -1 4202560 192 0 0 0 63 11 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236262021544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16189] ppid=16180 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/16182/task/16189/stat : 16189 (java) S 16180 16182 4583 0 -1 4202560 217 0 0 0 60 11 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236260969256 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16190] ppid=16180 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/16182/task/16190/stat : 16190 (java) S 16180 16182 4583 0 -1 4202560 186 0 0 0 61 10 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236259916456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16191] ppid=16180 vsize=11852648 CPUtime=0.58 cores=1,3,5,7
/proc/16182/task/16191/stat : 16191 (java) S 16180 16182 4583 0 -1 4202560 160 0 0 0 50 8 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236258864168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16192] ppid=16180 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/16182/task/16192/stat : 16192 (java) S 16180 16182 4583 0 -1 4202560 156 0 0 0 57 7 0 0 20 0 22 0 335094793 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236257811368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16193] ppid=16180 vsize=11852648 CPUtime=2.65 cores=1,3,5,7
/proc/16182/task/16193/stat : 16193 (java) S 16180 16182 4583 0 -1 4202560 93 0 0 0 261 4 0 0 20 0 22 0 335094794 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236127434984 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16194] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16194/stat : 16194 (java) S 16180 16182 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236126381048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16195] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16195/stat : 16195 (java) S 16180 16182 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335094795 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236125328648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16182/tid=16196] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16196/stat : 16196 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236124277136 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16182/tid=16197] ppid=16180 vsize=11852648 CPUtime=2.11 cores=1,3,5,7
/proc/16182/task/16197/stat : 16197 (java) S 16180 16182 4583 0 -1 4202560 14117 0 0 0 208 3 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236123224760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16198] ppid=16180 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/16182/task/16198/stat : 16198 (java) S 16180 16182 4583 0 -1 4202560 7757 0 0 0 94 2 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236122171960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16199] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16199/stat : 16199 (java) S 16180 16182 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236121119864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16200] ppid=16180 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/16182/task/16200/stat : 16200 (java) S 16180 16182 4583 0 -1 4202560 54 0 0 0 22 25 0 0 20 0 22 0 335094798 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140236120067272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16201] ppid=16180 vsize=11852648 CPUtime=890.85 cores=1,3,5,7
/proc/16182/task/16201/stat : 16201 (java) R 16180 16182 4583 0 -1 4202560 72 0 0 0 89070 15 0 0 20 0 22 0 335095028 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235111389584 140236135353365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16182/tid=16202] ppid=16180 vsize=11852648 CPUtime=890.88 cores=1,3,5,7
/proc/16182/task/16202/stat : 16202 (java) R 16180 16182 4583 0 -1 4202560 1270 0 0 0 89038 50 0 0 20 0 22 0 335095028 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235110338640 140236135353356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16203] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16203/stat : 16203 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095058 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235109287080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16182/tid=16204] ppid=16180 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16182/task/16204/stat : 16204 (java) S 16180 16182 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335095088 12137111552 955433 33554432000 1073741824 1073778376 140735904038560 140235108234280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11852648
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 16182 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=850293
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=44689
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.039
CPU time (s): 1800.07
CPU user time (s): 1798.48
CPU system time (s): 1.59
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.85
system time used= 2.04469
maximum resident set size= 3821872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29699
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23211
involuntary context switches= 18888
runsolver used 3.43348 second user time and 8.71368 second system time
The end