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-3738476-1338725244/watcher-3738476-1338725244 -o /tmp/evaluation-result-3738476-1338725244/solver-3738476-1338725244 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738476-1338725244.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: 1.94 2.01 2.00 3/194 7293
/proc/meminfo: memFree=26204796/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/7293/stat : 7293 (java) R 7291 7293 5567 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 2 0 338591507 24780800 867 33554432000 1073741824 1073778376 140735630591824 140735630580888 209097463985 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 6050 867 654 9 0 385 0
[pid=7293/tid=7294] ppid=7291 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 2 0 338591508 91889664 870 33554432000 1073741824 1073778376 140735630591824 140735630580888 209097450471 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.233947 s]
/proc/loadavg: 1.94 2.01 2.00 3/194 7293
/proc/meminfo: memFree=26204796/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=0.36 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 5685 0 1 0 34 2 0 0 20 0 18 0 338591507 3028844544 15915 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 15915 2232 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3043 0 1 0 19 2 0 0 20 0 18 0 338591508 3028844544 15915 33554432000 1073741824 1073778376 140735630591824 140298918091464 140298747804474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 2957856
[startup+0.300416 s]
/proc/loadavg: 1.94 2.01 2.00 3/194 7293
/proc/meminfo: memFree=26204796/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 5791 0 1 0 42 2 0 0 20 0 18 0 338591507 3028844544 20998 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 21510 2233 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3054 0 1 0 25 2 0 0 20 0 18 0 338591508 3028844544 21510 33554432000 1073741824 1073778376 140735630591824 140298918091464 140298747826569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.400426 s]
/proc/loadavg: 1.94 2.01 2.00 3/194 7293
/proc/meminfo: memFree=26204796/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=0.55 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 5808 0 1 0 52 3 0 0 20 0 18 0 338591507 3028844544 29702 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 29702 2233 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=0.37 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3070 0 1 0 35 2 0 0 20 0 18 0 338591508 3028844544 29702 33554432000 1073741824 1073778376 140735630591824 140298918091464 209100793101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856
[startup+0.700364 s]
/proc/loadavg: 1.94 2.01 2.00 3/194 7293
/proc/meminfo: memFree=26204796/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=0.84 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 5856 0 1 0 79 5 0 0 20 0 18 0 338591507 3028844544 54278 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 54278 2233 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3118 0 1 0 63 4 0 0 20 0 18 0 338591508 3028844544 54278 33554432000 1073741824 1073778376 140735630591824 140298918084752 209100793101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 2957856
[startup+1.50096 s]
/proc/loadavg: 1.94 2.01 2.00 3/212 7311
/proc/meminfo: memFree=25832424/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=1.94 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 6210 0 1 0 174 20 0 0 20 0 18 0 338591507 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 129625 2249 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=1.38 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3230 0 1 0 129 9 0 0 20 0 18 0 338591508 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298918092424 209100793101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7295] ppid=7291 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/7293/task/7295/stat : 7295 (java) S 7291 7293 5567 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298901518760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7296] ppid=7291 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7291 7293 5567 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298900466216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7297] ppid=7291 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7291 7293 5567 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298899413160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7291 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7291 7293 5567 0 -1 4202560 51 0 0 0 5 3 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298898360616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7299] ppid=7291 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7291 7293 5567 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298897308584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7300] ppid=7291 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7291 7293 5567 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298896256040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7301] ppid=7291 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7291 7293 5567 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298895202984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7302] ppid=7291 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7291 7293 5567 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 338591509 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298894150440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7303] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338591510 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298881739112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7304] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7291 7293 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338591511 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298880685432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7291 7293 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 338591511 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298879632264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7306] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 18 0 338591513 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 864 0 0 0 7 0 0 0 20 0 18 0 338591513 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 129625 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 2957856
[startup+3.10081 s]
/proc/loadavg: 1.95 2.01 2.00 3/212 7311
/proc/meminfo: memFree=25674376/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=4.52 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 14106 0 1 0 412 40 0 0 20 0 18 0 338591507 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 177147 2262 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=2.79 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3235 0 1 0 270 9 0 0 20 0 18 0 338591508 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298918084736 140298747834945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7295] ppid=7291 vsize=2957856 CPUtime=0.11 cores=1,3,5,7
/proc/7293/task/7295/stat : 7295 (java) S 7291 7293 5567 0 -1 4202560 70 0 0 0 7 4 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298901518760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7296] ppid=7291 vsize=2957856 CPUtime=0.12 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7291 7293 5567 0 -1 4202560 63 0 0 0 8 4 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298900466216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7297] ppid=7291 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7291 7293 5567 0 -1 4202560 86 0 0 0 12 4 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298899413160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7291 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7291 7293 5567 0 -1 4202560 75 0 0 0 9 4 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298898360616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7299] ppid=7291 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7291 7293 5567 0 -1 4202560 78 0 0 0 8 5 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298897308584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7300] ppid=7291 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7291 7293 5567 0 -1 4202560 50 0 0 0 6 3 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298896256040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7301] ppid=7291 vsize=2957856 CPUtime=0.11 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7291 7293 5567 0 -1 4202560 58 0 0 0 7 4 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298895202984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7302] ppid=7291 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7291 7293 5567 0 -1 4202560 56 0 0 0 7 3 0 0 20 0 18 0 338591509 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298894150440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7303] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338591510 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298881739112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7304] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7291 7293 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338591511 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298880685432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7291 7293 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 338591511 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298879632264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7306] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 6941 0 0 0 39 2 0 0 20 0 18 0 338591513 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 2211 0 0 0 20 0 0 0 20 0 18 0 338591513 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 177147 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 2957856
[startup+6.30082 s]
/proc/loadavg: 1.95 2.01 2.00 3/212 7311
/proc/meminfo: memFree=25273160/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=2957856 CPUtime=9.56 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 15070 0 1 0 883 73 0 0 20 0 18 0 338591507 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 739464 250146 2269 9 0 729885 0
[pid=7293/tid=7294] ppid=7291 vsize=2957856 CPUtime=5.37 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) R 7291 7293 5567 0 -1 4202560 3241 0 1 0 528 9 0 0 20 0 18 0 338591508 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298918084720 140298747647579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7295] ppid=7291 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/7293/task/7295/stat : 7295 (java) S 7291 7293 5567 0 -1 4202560 160 0 0 0 34 8 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298901518760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7296] ppid=7291 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7291 7293 5567 0 -1 4202560 137 0 0 0 35 7 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298900466216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7297] ppid=7291 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7291 7293 5567 0 -1 4202560 154 0 0 0 34 7 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298899413160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7298] ppid=7291 vsize=2957856 CPUtime=0.4 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7291 7293 5567 0 -1 4202560 144 0 0 0 33 7 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298898360616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7299] ppid=7291 vsize=2957856 CPUtime=0.36 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7291 7293 5567 0 -1 4202560 401 0 0 0 28 8 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298897308584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7300] ppid=7291 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7291 7293 5567 0 -1 4202560 147 0 0 0 35 6 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298896256040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7301] ppid=7291 vsize=2957856 CPUtime=0.38 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7291 7293 5567 0 -1 4202560 169 0 0 0 31 7 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298895202984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7302] ppid=7291 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7291 7293 5567 0 -1 4202560 175 0 0 0 45 9 0 0 20 0 18 0 338591509 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298894150440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7303] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338591510 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298881739112 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7304] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7291 7293 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 338591511 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298880685432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7291 7293 5567 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 338591511 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298879632264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7306] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 6941 0 0 0 39 2 0 0 20 0 18 0 338591513 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=2957856 CPUtime=0.23 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 2218 0 0 0 23 0 0 0 20 0 18 0 338591513 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338591513 3028844544 250146 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=3090984 CPUtime=0.91 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 10534 0 0 0 88 3 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 2826 0 0 0 57 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=3090984 CPUtime=0.25 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 33 0 0 0 14 11 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7312] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7312/stat : 7312 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338592209 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298872169512 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7381] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7381/stat : 7381 (java) S 7291 7293 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338649761 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298871116392 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 594.12
Current children cumulated vsize (KiB) 3090984
[startup+584.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7381
/proc/meminfo: memFree=25082716/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=3090984 CPUtime=594.52 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 38617 0 1 0 59310 142 0 0 20 0 20 0 338591507 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 772746 422839 2303 9 0 763167 0
[pid=7293/tid=7294] ppid=7291 vsize=3090984 CPUtime=480.2 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7291 7293 5567 0 -1 4202560 3394 0 1 0 48002 18 0 0 20 0 20 0 338591508 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298918094008 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7295] ppid=7291 vsize=3090984 CPUtime=1.33 cores=1,3,5,7
/proc/7293/task/7295/stat : 7295 (java) S 7291 7293 5567 0 -1 4202560 298 0 0 0 119 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298901518760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7296] ppid=7291 vsize=3090984 CPUtime=1.32 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7291 7293 5567 0 -1 4202560 246 0 0 0 120 12 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298900466216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7297] ppid=7291 vsize=3090984 CPUtime=1.34 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7291 7293 5567 0 -1 4202560 285 0 0 0 120 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298899413160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7298] ppid=7291 vsize=3090984 CPUtime=1.43 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7291 7293 5567 0 -1 4202560 255 0 0 0 131 12 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298898360616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7299] ppid=7291 vsize=3090984 CPUtime=1.38 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7291 7293 5567 0 -1 4202560 528 0 0 0 122 16 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298897308584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7300] ppid=7291 vsize=3090984 CPUtime=1.47 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7291 7293 5567 0 -1 4202560 272 0 0 0 136 11 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298896256040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7301] ppid=7291 vsize=3090984 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7291 7293 5567 0 -1 4202560 288 0 0 0 126 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298895202984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7302] ppid=7291 vsize=3090984 CPUtime=1.6 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7291 7293 5567 0 -1 4202560 323 0 0 0 145 15 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298894150440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7303] ppid=7291 vsize=3090984 CPUtime=99.68 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) R 7291 7293 5567 0 -1 4202560 18140 0 0 0 9962 6 0 0 20 0 20 0 338591510 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298881739272 140298922254652 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7304] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7291 7293 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 338591511 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298880685432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7291 7293 5567 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 338591511 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298879632264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7306] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=3090984 CPUtime=0.91 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 10534 0 0 0 88 3 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 2826 0 0 0 57 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=3090984 CPUtime=0.25 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 33 0 0 0 14 11 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7312] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7312/stat : 7312 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338592209 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298872169512 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7381] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7381/stat : 7381 (java) S 7291 7293 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338649761 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298871116392 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 594.52
Current children cumulated vsize (KiB) 3090984
[startup+584.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7381
/proc/meminfo: memFree=25082716/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=3090984 CPUtime=594.72 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 38617 0 1 0 59330 142 0 0 20 0 20 0 338591507 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 772746 422839 2303 9 0 763167 0
[pid=7293/tid=7294] ppid=7291 vsize=3090984 CPUtime=480.2 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7291 7293 5567 0 -1 4202560 3394 0 1 0 48002 18 0 0 20 0 20 0 338591508 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298918094008 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7295] ppid=7291 vsize=3090984 CPUtime=1.33 cores=1,3,5,7
/proc/7293/task/7295/stat : 7295 (java) S 7291 7293 5567 0 -1 4202560 298 0 0 0 119 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298901518760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7296] ppid=7291 vsize=3090984 CPUtime=1.32 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7291 7293 5567 0 -1 4202560 246 0 0 0 120 12 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298900466216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7297] ppid=7291 vsize=3090984 CPUtime=1.34 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7291 7293 5567 0 -1 4202560 285 0 0 0 120 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298899413160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7298] ppid=7291 vsize=3090984 CPUtime=1.43 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7291 7293 5567 0 -1 4202560 255 0 0 0 131 12 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298898360616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7299] ppid=7291 vsize=3090984 CPUtime=1.38 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7291 7293 5567 0 -1 4202560 528 0 0 0 122 16 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298897308584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7300] ppid=7291 vsize=3090984 CPUtime=1.47 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7291 7293 5567 0 -1 4202560 272 0 0 0 136 11 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298896256040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7301] ppid=7291 vsize=3090984 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7291 7293 5567 0 -1 4202560 288 0 0 0 126 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298895202984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7302] ppid=7291 vsize=3090984 CPUtime=1.6 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7291 7293 5567 0 -1 4202560 323 0 0 0 145 15 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298894150440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7303] ppid=7291 vsize=3090984 CPUtime=99.88 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) R 7291 7293 5567 0 -1 4202560 18140 0 0 0 9982 6 0 0 20 0 20 0 338591510 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298881739272 140298924949280 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7304] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7291 7293 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 338591511 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298880685432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7291 7293 5567 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 338591511 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298879632264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7306] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=3090984 CPUtime=0.91 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 10534 0 0 0 88 3 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 2826 0 0 0 57 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=3090984 CPUtime=0.25 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 33 0 0 0 14 11 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7312] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7312/stat : 7312 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338592209 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298872169512 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7381] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7381/stat : 7381 (java) S 7291 7293 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338649761 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298871116392 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 594.72
Current children cumulated vsize (KiB) 3090984
[startup+584.801 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 7381
/proc/meminfo: memFree=25082716/32873844 swapFree=7128/7128
[pid=7293] ppid=7291 vsize=3090984 CPUtime=594.82 cores=1,3,5,7
/proc/7293/stat : 7293 (java) S 7291 7293 5567 0 -1 4202496 38617 0 1 0 59340 142 0 0 20 0 20 0 338591507 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140735630582960 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7293/statm: 772746 422839 2303 9 0 763167 0
[pid=7293/tid=7294] ppid=7291 vsize=3090984 CPUtime=480.2 cores=1,3,5,7
/proc/7293/task/7294/stat : 7294 (java) S 7291 7293 5567 0 -1 4202560 3394 0 1 0 48002 18 0 0 20 0 20 0 338591508 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298918094008 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7295] ppid=7291 vsize=3090984 CPUtime=1.33 cores=1,3,5,7
/proc/7293/task/7295/stat : 7295 (java) S 7291 7293 5567 0 -1 4202560 298 0 0 0 119 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298901518760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7296] ppid=7291 vsize=3090984 CPUtime=1.32 cores=1,3,5,7
/proc/7293/task/7296/stat : 7296 (java) S 7291 7293 5567 0 -1 4202560 246 0 0 0 120 12 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298900466216 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7297] ppid=7291 vsize=3090984 CPUtime=1.34 cores=1,3,5,7
/proc/7293/task/7297/stat : 7297 (java) S 7291 7293 5567 0 -1 4202560 285 0 0 0 120 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298899413160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7298] ppid=7291 vsize=3090984 CPUtime=1.43 cores=1,3,5,7
/proc/7293/task/7298/stat : 7298 (java) S 7291 7293 5567 0 -1 4202560 255 0 0 0 131 12 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298898360616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7299] ppid=7291 vsize=3090984 CPUtime=1.38 cores=1,3,5,7
/proc/7293/task/7299/stat : 7299 (java) S 7291 7293 5567 0 -1 4202560 528 0 0 0 122 16 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298897308584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7300] ppid=7291 vsize=3090984 CPUtime=1.47 cores=1,3,5,7
/proc/7293/task/7300/stat : 7300 (java) S 7291 7293 5567 0 -1 4202560 272 0 0 0 136 11 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298896256040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7301] ppid=7291 vsize=3090984 CPUtime=1.4 cores=1,3,5,7
/proc/7293/task/7301/stat : 7301 (java) S 7291 7293 5567 0 -1 4202560 288 0 0 0 126 14 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298895202984 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7302] ppid=7291 vsize=3090984 CPUtime=1.6 cores=1,3,5,7
/proc/7293/task/7302/stat : 7302 (java) S 7291 7293 5567 0 -1 4202560 323 0 0 0 145 15 0 0 20 0 20 0 338591509 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298894150440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7303] ppid=7291 vsize=3090984 CPUtime=99.98 cores=1,3,5,7
/proc/7293/task/7303/stat : 7303 (java) R 7291 7293 5567 0 -1 4202560 18140 0 0 0 9992 6 0 0 20 0 20 0 338591510 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298881739272 209097081108 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7293/tid=7304] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7304/stat : 7304 (java) S 7291 7293 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 338591511 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298880685432 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7305] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7305/stat : 7305 (java) S 7291 7293 5567 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 338591511 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298879632264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7306] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7306/stat : 7306 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298878581008 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7307] ppid=7291 vsize=3090984 CPUtime=0.91 cores=1,3,5,7
/proc/7293/task/7307/stat : 7307 (java) S 7291 7293 5567 0 -1 4202560 10534 0 0 0 88 3 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298877528888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7308] ppid=7291 vsize=3090984 CPUtime=0.57 cores=1,3,5,7
/proc/7293/task/7308/stat : 7308 (java) S 7291 7293 5567 0 -1 4202560 2826 0 0 0 57 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298876476344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7309] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7309/stat : 7309 (java) S 7291 7293 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298875423480 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7293/tid=7310] ppid=7291 vsize=3090984 CPUtime=0.25 cores=1,3,5,7
/proc/7293/task/7310/stat : 7310 (java) S 7291 7293 5567 0 -1 4202560 33 0 0 0 14 11 0 0 20 0 20 0 338591513 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298874371144 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7293/tid=7312] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7312/stat : 7312 (java) S 7291 7293 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338592209 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298872169512 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7293/tid=7381] ppid=7291 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/7293/task/7381/stat : 7381 (java) S 7291 7293 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338649761 3165167616 422839 33554432000 1073741824 1073778376 140735630591824 140298871116392 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 594.82
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7293 and gives
# childrusage.ru_utime.tv_sec=591
# childrusage.ru_utime.tv_usec=912015
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=591758
# CPU time returned by wait4() is 593.504
# while last known CPU time is 594.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 584.888
CPU time (s): 594.82
CPU user time (s): 593.4
CPU system time (s): 1.42
CPU usage (%): 101.698
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.912
system time used= 1.59176
maximum resident set size= 1756392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38622
page faults= 1
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14248
involuntary context switches= 17801
runsolver used 2.50062 second user time and 3.87341 second system time
The end