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-3736584-1338717691/watcher-3736584-1338717691 -o /tmp/evaluation-result-3736584-1338717691/solver-3736584-1338717691 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736584-1338717691.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.11 1.99 3/193 8968
/proc/meminfo: memFree=27655068/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/8968/stat : 8968 (java) R 8966 8968 7296 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 337897539 23793664 369 33554432000 1073741824 1073778376 140737334990768 140737334979832 226320497217 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 5809 382 293 9 0 128 0
[startup+0.106172 s]
/proc/loadavg: 2.19 2.11 1.99 3/193 8968
/proc/meminfo: memFree=27655068/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 4409 0 1 0 9 1 0 0 20 0 18 0 337897539 3028844544 6613 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 739464 6613 2129 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.200199 s]
/proc/loadavg: 2.19 2.11 1.99 3/193 8968
/proc/meminfo: memFree=27655068/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 5057 0 1 0 23 1 0 0 20 0 19 0 337897539 3097006080 7569 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 7569 2224 9 0 746526 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 3024420
[startup+0.300177 s]
/proc/loadavg: 2.19 2.11 1.99 3/193 8968
/proc/meminfo: memFree=27655068/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 8344 0 1 0 52 2 0 0 20 0 19 0 337897539 3097006080 9588 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 9588 2257 9 0 746526 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 3024420
[startup+0.700296 s]
/proc/loadavg: 2.19 2.11 1.99 3/193 8968
/proc/meminfo: memFree=27655068/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 8640 0 1 0 106 2 0 0 20 0 19 0 337897539 3097006080 21405 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 21405 2263 9 0 746526 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 3024420
[startup+1.50074 s]
/proc/loadavg: 2.34 2.14 2.01 3/212 8987
/proc/meminfo: memFree=27530988/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=1.9 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 8688 0 1 0 186 4 0 0 20 0 19 0 337897539 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 43936 2265 9 0 746526 0
[pid=8968/tid=8970] ppid=8966 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (java) R 8966 8968 7296 0 -1 4202560 2594 0 1 0 143 3 0 0 20 0 19 0 337897539 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140124003637696 140123862159221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123987065896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8972] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8972/stat : 8972 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123986013096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8973] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8973/stat : 8973 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123984960296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8974] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8974/stat : 8974 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123983907496 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8975] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8975/stat : 8975 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123982854696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8976] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8976/stat : 8976 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123981801896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8977] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8977/stat : 8977 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123980749096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8978] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 23 0 0 0 20 0 19 0 337897545 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8987] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8987/stat : 8987 (java) S 8966 8968 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337897558 3097006080 43936 33554432000 1073741824 1073778376 140737334990768 140123101410984 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 3024420
[startup+3.10073 s]
/proc/loadavg: 2.34 2.14 2.01 3/212 8988
/proc/meminfo: memFree=27424484/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=3.52 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 8766 0 1 0 346 6 0 0 20 0 19 0 337897539 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 79266 2267 9 0 746526 0
[pid=8968/tid=8970] ppid=8966 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (java) R 8966 8968 7296 0 -1 4202560 2665 0 1 0 300 6 0 0 20 0 19 0 337897539 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140124003639912 140123862158805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123987065896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8972] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8972/stat : 8972 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123986013096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8973] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8973/stat : 8973 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123984960296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8974] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8974/stat : 8974 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123983907496 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8975] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8975/stat : 8975 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123982854696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8976] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8976/stat : 8976 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123981801896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8977] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8977/stat : 8977 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123980749096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8978] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 24 0 0 0 20 0 19 0 337897545 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 79266 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.31 2.14 2.00 3/212 8991
/proc/meminfo: memFree=27178112/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=6.82 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 8909 0 1 0 670 12 0 0 20 0 19 0 337897539 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 117600 2280 9 0 746526 0
[pid=8968/tid=8970] ppid=8966 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (java) R 8966 8968 7296 0 -1 4202560 2730 0 1 0 614 8 0 0 20 0 19 0 337897539 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140124003638680 140123862179910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (java) S 8966 8968 7296 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123987065896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8972] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8972/stat : 8972 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123986013096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8973] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8973/stat : 8973 (java) S 8966 8968 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123984960296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8974] ppid=8966 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/8968/task/8974/stat : 8974 (java) S 8966 8968 7296 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123983907496 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8975] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8975/stat : 8975 (java) S 8966 8968 7296 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123982854696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8976] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8976/stat : 8976 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123981801896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8977] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8977/stat : 8977 (java) S 8966 8968 7296 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123980749096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8978] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337897540 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 25 0 0 0 20 0 19 0 337897545 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8991] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8991/stat : 8991 (java) S 8966 8968 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337897878 3097006080 117600 33554432000 1073741824 1073778376 140737334990768 140123101410472 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.29 2.14 2.00 3/212 8991
/proc/meminfo: memFree=27124688/32873844 swapFree=6088/6088
################
# More data... #
################
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 18 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 25 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 2 1 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8991] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8991/stat : 8991 (java) S 8966 8968 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337897878 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123101410472 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 127.03
Current children cumulated vsize (KiB) 3024420
[startup+125.601 s]
/proc/loadavg: 2.04 2.09 2.00 3/211 8991
/proc/meminfo: memFree=26771892/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=127.83 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 9812 0 1 0 12733 50 0 0 20 0 19 0 337897539 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 200837 2280 9 0 746526 0
[pid=8968/tid=8970] ppid=8966 vsize=3024420 CPUtime=124.62 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (java) R 8966 8968 7296 0 -1 4202560 2740 0 1 0 12453 9 0 0 20 0 19 0 337897539 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140124003638560 140123862159228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8966 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (java) S 8966 8968 7296 0 -1 4202560 98 0 0 0 16 4 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123987065896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8972] ppid=8966 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/8968/task/8972/stat : 8972 (java) S 8966 8968 7296 0 -1 4202560 131 0 0 0 32 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123986013096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8973] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8973/stat : 8973 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 21 3 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123984960296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8974] ppid=8966 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/8968/task/8974/stat : 8974 (java) S 8966 8968 7296 0 -1 4202560 143 0 0 0 34 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123983907496 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8975] ppid=8966 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/8968/task/8975/stat : 8975 (java) S 8966 8968 7296 0 -1 4202560 119 0 0 0 21 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123982854696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8976] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8976/stat : 8976 (java) S 8966 8968 7296 0 -1 4202560 106 0 0 0 20 4 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123981801896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8977] ppid=8966 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/8968/task/8977/stat : 8977 (java) S 8966 8968 7296 0 -1 4202560 132 0 0 0 28 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123980749096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8978] ppid=8966 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 18 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 25 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 2 2 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8991] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8991/stat : 8991 (java) S 8966 8968 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337897878 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123101410472 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 3024420
[startup+126.001 s]
/proc/loadavg: 2.04 2.09 2.00 3/211 8991
/proc/meminfo: memFree=26771892/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=128.23 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 9812 0 1 0 12773 50 0 0 20 0 19 0 337897539 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 200837 2280 9 0 746526 0
[pid=8968/tid=8970] ppid=8966 vsize=3024420 CPUtime=125.02 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (java) R 8966 8968 7296 0 -1 4202560 2740 0 1 0 12493 9 0 0 20 0 19 0 337897539 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140124003638560 140123862179910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8966 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (java) S 8966 8968 7296 0 -1 4202560 98 0 0 0 16 4 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123987065896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8972] ppid=8966 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/8968/task/8972/stat : 8972 (java) S 8966 8968 7296 0 -1 4202560 131 0 0 0 32 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123986013096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8973] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8973/stat : 8973 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 21 3 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123984960296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8974] ppid=8966 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/8968/task/8974/stat : 8974 (java) S 8966 8968 7296 0 -1 4202560 143 0 0 0 34 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123983907496 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8975] ppid=8966 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/8968/task/8975/stat : 8975 (java) S 8966 8968 7296 0 -1 4202560 119 0 0 0 21 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123982854696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8976] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8976/stat : 8976 (java) S 8966 8968 7296 0 -1 4202560 106 0 0 0 20 4 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123981801896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8977] ppid=8966 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/8968/task/8977/stat : 8977 (java) S 8966 8968 7296 0 -1 4202560 132 0 0 0 28 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123980749096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8978] ppid=8966 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 18 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 25 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 2 2 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8991] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8991/stat : 8991 (java) S 8966 8968 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337897878 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123101410472 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 128.23
Current children cumulated vsize (KiB) 3024420
[startup+126.401 s]
/proc/loadavg: 2.04 2.09 2.00 3/211 8991
/proc/meminfo: memFree=26771892/32873844 swapFree=6088/6088
[pid=8968] ppid=8966 vsize=3024420 CPUtime=128.63 cores=0,2,4,6
/proc/8968/stat : 8968 (java) S 8966 8968 7296 0 -1 4202496 9812 0 1 0 12813 50 0 0 20 0 19 0 337897539 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140737334981904 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8968/statm: 756105 200837 2280 9 0 746526 0
[pid=8968/tid=8970] ppid=8966 vsize=3024420 CPUtime=125.42 cores=0,2,4,6
/proc/8968/task/8970/stat : 8970 (java) R 8966 8968 7296 0 -1 4202560 2740 0 1 0 12533 9 0 0 20 0 19 0 337897539 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140124003638560 140123862176581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8971] ppid=8966 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/8968/task/8971/stat : 8971 (java) S 8966 8968 7296 0 -1 4202560 98 0 0 0 16 4 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123987065896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8972] ppid=8966 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/8968/task/8972/stat : 8972 (java) S 8966 8968 7296 0 -1 4202560 131 0 0 0 32 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123986013096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8973] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8973/stat : 8973 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 21 3 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123984960296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8974] ppid=8966 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/8968/task/8974/stat : 8974 (java) S 8966 8968 7296 0 -1 4202560 143 0 0 0 34 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123983907496 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8975] ppid=8966 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/8968/task/8975/stat : 8975 (java) S 8966 8968 7296 0 -1 4202560 119 0 0 0 21 6 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123982854696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8976] ppid=8966 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/8968/task/8976/stat : 8976 (java) S 8966 8968 7296 0 -1 4202560 106 0 0 0 20 4 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123981801896 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8977] ppid=8966 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/8968/task/8977/stat : 8977 (java) S 8966 8968 7296 0 -1 4202560 132 0 0 0 28 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123980749096 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8978] ppid=8966 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/8968/task/8978/stat : 8978 (java) S 8966 8968 7296 0 -1 4202560 115 0 0 0 18 5 0 0 20 0 19 0 337897540 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123861674152 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8979] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8979/stat : 8979 (java) S 8966 8968 7296 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123849477096 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8968/tid=8980] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8980/stat : 8980 (java) S 8966 8968 7296 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123848423160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8981] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8981/stat : 8981 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337897542 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123847370248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8982] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8982/stat : 8982 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123846318736 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8983] ppid=8966 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/8968/task/8983/stat : 8983 (java) S 8966 8968 7296 0 -1 4202560 1733 0 0 0 17 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123106699704 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8968/tid=8984] ppid=8966 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/8968/task/8984/stat : 8984 (java) S 8966 8968 7296 0 -1 4202560 3165 0 0 0 25 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123105646904 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8985] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8985/stat : 8985 (java) S 8966 8968 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123104594296 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8968/tid=8986] ppid=8966 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/8968/task/8986/stat : 8986 (java) S 8966 8968 7296 0 -1 4202560 8 0 0 0 2 2 0 0 20 0 19 0 337897545 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123103541704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8968/tid=8991] ppid=8966 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/8968/task/8991/stat : 8991 (java) S 8966 8968 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337897878 3097006080 200837 33554432000 1073741824 1073778376 140737334990768 140123101410472 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 128.63
Current children cumulated vsize (KiB) 3024420
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8968 and gives
# childrusage.ru_utime.tv_sec=127
# childrusage.ru_utime.tv_usec=841565
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=622905
# CPU time returned by wait4() is 128.464
# while last known CPU time is 128.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 126.476
CPU time (s): 128.63
CPU user time (s): 128.13
CPU system time (s): 0.5
CPU usage (%): 101.703
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.842
system time used= 0.622905
maximum resident set size= 803348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9816
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3196
involuntary context switches= 1401
runsolver used 0.281957 second user time and 0.535918 second system time
The end