runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15089 MiB free)
memory of node 1: 16384 MiB (14998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263667-1502627732/watcher-4263667-1502627732 -o /tmp/evaluation-result-4263667-1502627732/solver-4263667-1502627732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502624013-2077 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263667-1502627732.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3245, runsolver pid=3242
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 2.07 2.13 2.44 4/217 3260
/proc/meminfo: memFree=30790580/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10555400 memory=30984 CPUtime=0.12 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 6788 0 0 0 11 1 0 0 20 0 15 0 95861022 10808729600 7746 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2638850 7746 2824 1 0 2627263 0
[pid=3245/tid=3247] ppid=3242 vsize=10555400 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) R 3242 3245 28385 0 -1 4202560 4647 0 0 0 8 0 0 0 20 0 15 0 95861023 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423729821632 140423725622429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861025 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95861025 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423216486048 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95861026 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423215432944 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) S 3242 3245 28385 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 95861028 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0.02 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) R 3242 3245 28385 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 95861028 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423211223024 140423704275936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861029 10808729600 7746 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30984 KiB
[startup+0.210541 s]*
/proc/loadavg: 2.07 2.13 2.44 3/217 3260
/proc/meminfo: memFree=30784156/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10555400 memory=37984 CPUtime=0.28 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 7775 0 0 0 26 2 0 0 20 0 15 0 95861022 10808729600 9496 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2638850 9496 2923 1 0 2627263 0
[pid=3245/tid=3247] ppid=3242 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) R 3242 3245 28385 0 -1 4202560 5410 0 0 0 18 1 0 0 20 0 15 0 95861023 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423729826288 140423725612438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10555400 memory=288370376462472832 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861024 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861025 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95861025 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423216486048 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95861026 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423215432944 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808729600 9496 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) S 3242 3245 28385 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 95861028 10808729600 9561 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 95861028 10808729600 9561 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0.05 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) R 3242 3245 28385 0 -1 4202560 406 0 0 0 5 0 0 0 20 0 15 0 95861028 10808729600 9561 33554432000 4194304 4196468 140721113257952 140423211223024 140423709710513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808729600 9561 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10555400 memory=140000310761088 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861029 10808729600 9561 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 37984 KiB
[startup+0.310243 s]*
/proc/loadavg: 2.07 2.13 2.44 4/217 3260
/proc/meminfo: memFree=30775596/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10555476 memory=46300 CPUtime=0.49 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 8813 0 0 0 46 3 0 0 20 0 15 0 95861022 10808807424 11575 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2638869 11575 3025 1 0 2627263 0
[pid=3245/tid=3247] ppid=3242 vsize=10555476 memory=53476 CPUtime=0.28 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) S 3242 3245 28385 0 -1 1077944384 5744 0 0 0 27 1 0 0 20 0 15 0 95861023 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423729836080 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10555476 memory=140000310819104 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10555476 memory=140000310826016 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861025 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95861025 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423216486048 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95861026 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423215432944 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) R 3242 3245 28385 0 -1 1077944384 779 0 0 0 3 0 0 0 20 0 15 0 95861028 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10555476 memory=140000163384847 CPUtime=0.02 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 15 0 95861028 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10555476 memory=140000310764180 CPUtime=0.12 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) S 3242 3245 28385 0 -1 1077944384 742 0 0 0 12 0 0 0 20 0 15 0 95861028 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423211223024 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10555476 memory=140000163389391 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10555476 memory=280000474167232 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861029 10808807424 11575 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46300 KiB
[startup+0.700734 s]
/proc/loadavg: 2.07 2.13 2.44 5/217 3260
/proc/meminfo: memFree=30749416/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10555476 memory=143892 CPUtime=1.72 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 13346 0 0 0 167 5 0 0 20 0 15 0 95861022 10808807424 35973 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2638869 35973 3087 1 0 2627263 0
[pid=3245/tid=3247] ppid=3242 vsize=10555476 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) R 3242 3245 28385 0 -1 4202560 5999 0 0 0 64 3 0 0 20 0 15 0 95861023 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423729816880 140423364495036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10555476 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10555476 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10555476 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10555476 memory=17736 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95861024 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95861025 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95861025 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423216486048 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95861026 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423215432944 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10555476 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) R 3242 3245 28385 0 -1 4202560 2659 0 0 0 41 0 0 0 20 0 15 0 95861028 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423213314088 140423717889969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10555476 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) R 3242 3245 28385 0 -1 4202560 2042 0 0 0 38 0 0 0 20 0 15 0 95861028 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423212257096 140423709511198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10555476 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) S 3242 3245 28385 0 -1 1077944384 1277 0 0 0 23 0 0 0 20 0 15 0 95861028 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423211223024 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95861028 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95861029 10808807424 35973 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 143892 KiB
[startup+1.50106 s]
/proc/loadavg: 2.07 2.13 2.44 8/217 3260
/proc/meminfo: memFree=30594364/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10555476 memory=423548 CPUtime=3.93 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 15472 0 0 0 373 20 0 0 20 0 15 0 95861022 10808807424 105887 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2638869 105887 3131 1 0 2627263 0
[pid=3245/tid=3247] ppid=3242 vsize=10555476 memory=734122152192722742 CPUtime=1.31 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) S 3242 3245 28385 0 -1 1077944384 6090 0 0 0 126 5 0 0 20 0 15 0 95861023 10808807424 105887 33554432000 4194304 4196468 140721113257952 140423729833872 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10555476 memory=210080 CPUtime=0.12 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) R 3242 3245 28385 0 -1 4202560 152 0 0 0 10 2 0 0 20 0 15 0 95861024 10808807424 105887 33554432000 4194304 4196468 140721113257952 140423688706776 140423710628377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10555476 memory=2241 CPUtime=0.14 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) R 3242 3245 28385 0 -1 4202560 170 0 0 0 11 3 0 0 20 0 15 0 95861024 10808807424 106399 33554432000 4194304 4196468 140721113257952 140423331502936 140423710628377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10555476 memory=1204 CPUtime=0.14 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) R 3242 3245 28385 0 -1 4202560 180 0 0 0 11 3 0 0 20 0 15 0 95861024 10808807424 106399 33554432000 4194304 4196468 140721113257952 140423330449568 140423710628377 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10555476 memory=15876 CPUtime=0.11 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) R 3242 3245 28385 0 -1 4202560 75 0 0 0 9 2 0 0 20 0 15 0 95861024 10808807424 106399 33554432000 4194304 4196468 140721113257952 140423329397336 140423710628377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10555476 memory=17736 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 95861025 10808807424 106399 33554432000 4194304 4196468 140721113257952 140423217538336 140423725610709 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
################
# More data... #
################
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 9966 0 0 0 1418 87 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10622040 memory=5113276 CPUtime=15.03 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 11585 0 0 0 1417 86 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10622040 memory=5113276 CPUtime=6.82 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 17529 0 0 0 679 3 0 0 20 0 16 0 95861025 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10622040 memory=280000328138608 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95861025 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423216486112 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 95861026 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423215432960 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10622040 memory=1428 CPUtime=1.87 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) S 3242 3245 28385 0 -1 1077944384 10135 0 0 0 186 1 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10622040 memory=5113276 CPUtime=1.58 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 9356 0 0 0 156 2 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0.4 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) S 3242 3245 28385 0 -1 1077944384 5036 0 0 0 39 1 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423211223024 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10622040 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10622040 memory=2416 CPUtime=1.29 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 2899 0 0 0 60 69 0 0 20 0 16 0 95861029 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3261] ppid=3242 vsize=10622040 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3261/stat : 3261 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95862710 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423208064560 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 2432.27 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 5113276 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.09 3/219 3594
/proc/meminfo: memFree=24188792/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10622040 memory=5113276 CPUtime=2493.09 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 244166 0 0 0 248867 442 0 0 20 0 16 0 95861022 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2655510 1278319 3168 1 0 2643904 0
[pid=3245/tid=3247] ppid=3242 vsize=10622040 memory=5113276 CPUtime=2419.87 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) R 3242 3245 28385 0 -1 4202560 152443 0 0 0 241952 35 0 0 20 0 16 0 95861023 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423729837512 140423366600748 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10622040 memory=5113276 CPUtime=15.28 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 11548 0 0 0 1443 85 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10622040 memory=0 CPUtime=15.24 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 10424 0 0 0 1439 85 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10622040 memory=5113276 CPUtime=15.31 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 10673 0 0 0 1444 87 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10622040 memory=5113276 CPUtime=15.29 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 12191 0 0 0 1443 86 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10622040 memory=3308 CPUtime=6.83 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 17767 0 0 0 679 4 0 0 20 0 16 0 95861025 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95861025 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423216486112 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 95861026 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423215432960 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10622040 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10622040 memory=27604 CPUtime=1.87 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) S 3242 3245 28385 0 -1 1077944384 10143 0 0 0 186 1 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10622040 memory=5113276 CPUtime=1.58 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 9359 0 0 0 156 2 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0.41 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) S 3242 3245 28385 0 -1 1077944384 5270 0 0 0 40 1 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423211223024 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10622040 memory=5113276 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10622040 memory=1228 CPUtime=1.32 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 2939 0 0 0 62 70 0 0 20 0 16 0 95861029 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3261] ppid=3242 vsize=10622040 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3261/stat : 3261 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95862710 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423208064560 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 2493.09 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 5113276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.2 s]
/proc/loadavg: 2.00 2.03 2.08 3/219 3594
/proc/meminfo: memFree=24189028/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10622040 memory=5113276 CPUtime=2520 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 245522 0 0 0 251558 442 0 0 20 0 16 0 95861022 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2655510 1278319 3168 1 0 2643904 0
[pid=3245/tid=3247] ppid=3242 vsize=10622040 memory=8112282956445269571 CPUtime=2446.77 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) R 3242 3245 28385 0 -1 4202560 153731 0 0 0 244642 35 0 0 20 0 16 0 95861023 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423729837512 140423362324424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10622040 memory=288230617509003574 CPUtime=15.28 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 11548 0 0 0 1443 85 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10622040 memory=15818915129329849 CPUtime=15.24 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 10424 0 0 0 1439 85 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10622040 memory=17768 CPUtime=15.31 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 10673 0 0 0 1444 87 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10622040 memory=4048 CPUtime=15.29 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 12191 0 0 0 1443 86 0 0 20 0 16 0 95861024 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10622040 memory=18488 CPUtime=6.83 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 17777 0 0 0 679 4 0 0 20 0 16 0 95861025 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10622040 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 95861025 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423216486112 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10622040 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 95861026 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423215432960 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10622040 memory=640 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10622040 memory=956 CPUtime=1.87 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) S 3242 3245 28385 0 -1 1077944384 10156 0 0 0 186 1 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10622040 memory=301741373374332954 CPUtime=1.58 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 9362 0 0 0 156 2 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10622040 memory=301741416391115062 CPUtime=0.41 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) S 3242 3245 28385 0 -1 1077944384 5273 0 0 0 40 1 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423211223024 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10622040 memory=15818915129329849 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95861028 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10622040 memory=1796 CPUtime=1.34 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 2978 0 0 0 63 71 0 0 20 0 16 0 95861029 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3261] ppid=3242 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3261/stat : 3261 (java) S 3242 3245 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95862710 10876968960 1278319 33554432000 4194304 4196468 140721113257952 140423208064560 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 5113276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.45 s]
# the end of solver process 3245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.62 s, system=4.45134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.4 s]
/proc/loadavg: 2.00 2.03 2.08 3/219 3594
/proc/meminfo: memFree=24189028/32770624 swapFree=67108860/67108860
[pid=3245] ppid=3242 vsize=10821732 memory=5113512 CPUtime=2520.02 cores=0,2,4,6
/proc/3245/stat : 3245 (java) S 3242 3245 28385 0 -1 1077944320 246632 0 0 0 251560 442 0 0 20 0 17 0 95861022 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140721113240496 140423725600503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
/proc/3245/statm: 2705433 1278378 3171 1 0 2693827 0
[pid=3245/tid=3247] ppid=3242 vsize=10821732 memory=4048 CPUtime=2446.78 cores=0,2,4,6
/proc/3245/task/3247/stat : 3247 (java) S 3242 3245 28385 0 -1 1077944384 153778 0 0 0 244643 35 0 0 20 0 17 0 95861023 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423729843376 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3248] ppid=3242 vsize=10821732 memory=18488 CPUtime=15.28 cores=0,2,4,6
/proc/3245/task/3248/stat : 3248 (java) S 3242 3245 28385 0 -1 1077944384 11548 0 0 0 1443 85 0 0 20 0 17 0 95861024 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423688706576 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3249] ppid=3242 vsize=10821732 memory=1796 CPUtime=15.24 cores=0,2,4,6
/proc/3245/task/3249/stat : 3249 (java) S 3242 3245 28385 0 -1 1077944384 10424 0 0 0 1439 85 0 0 20 0 17 0 95861024 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423331502736 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3250] ppid=3242 vsize=10821732 memory=1236 CPUtime=15.31 cores=0,2,4,6
/proc/3245/task/3250/stat : 3250 (java) S 3242 3245 28385 0 -1 1077944384 10673 0 0 0 1444 87 0 0 20 0 17 0 95861024 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423330449680 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3251] ppid=3242 vsize=10821732 memory=640 CPUtime=15.29 cores=0,2,4,6
/proc/3245/task/3251/stat : 3251 (java) S 3242 3245 28385 0 -1 1077944384 12191 0 0 0 1443 86 0 0 20 0 17 0 95861024 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423329397136 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3252] ppid=3242 vsize=10821732 memory=956 CPUtime=6.83 cores=0,2,4,6
/proc/3245/task/3252/stat : 3252 (java) S 3242 3245 28385 0 -1 1077944384 17814 0 0 0 679 4 0 0 20 0 17 0 95861025 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423217539824 140423725611650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3253] ppid=3242 vsize=10821732 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3253/stat : 3253 (java) S 3242 3245 28385 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 95861025 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423216486112 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3254] ppid=3242 vsize=10821732 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3254/stat : 3254 (java) S 3242 3245 28385 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 95861026 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423215432960 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3255] ppid=3242 vsize=10821732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3255/stat : 3255 (java) S 3242 3245 28385 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 17 0 95861028 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423214381520 140423725619099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3256] ppid=3242 vsize=10821732 memory=928 CPUtime=1.87 cores=0,2,4,6
/proc/3245/task/3256/stat : 3256 (java) S 3242 3245 28385 0 -1 1077944384 10156 0 0 0 186 1 0 0 20 0 17 0 95861028 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423213328624 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3257] ppid=3242 vsize=10821732 memory=1576 CPUtime=1.58 cores=0,2,4,6
/proc/3245/task/3257/stat : 3257 (java) S 3242 3245 28385 0 -1 1077944384 9362 0 0 0 156 2 0 0 20 0 17 0 95861028 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423212276080 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3258] ppid=3242 vsize=10821732 memory=2548 CPUtime=0.41 cores=0,2,4,6
/proc/3245/task/3258/stat : 3258 (java) S 3242 3245 28385 0 -1 1077944384 5723 0 0 0 40 1 0 0 20 0 17 0 95861028 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423211223024 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3259] ppid=3242 vsize=10821732 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/3245/task/3259/stat : 3259 (java) S 3242 3245 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95861028 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423210170720 140423725610709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
[pid=3245/tid=3260] ppid=3242 vsize=10821732 memory=6935054825532540783 CPUtime=1.34 cores=0,2,4,6
/proc/3245/task/3260/stat : 3260 (java) S 3242 3245 28385 0 -1 1077944384 2978 0 0 0 63 71 0 0 20 0 17 0 95861029 11081453568 1278378 33554432000 4194304 4196468 140721113257952 140423209118768 140423725611650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7286784 140721113265286 140721113265439 140721113265439 140721113268175 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 5113512 KiB
Child status: 143
Real time (s): 2469.45
CPU time (s): 2520.07
CPU user time (s): 2515.62
CPU system time (s): 4.45134
CPU usage (%): 102.05
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 5113512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.62
system time used= 4.45134
maximum resident set size= 5113812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56266
involuntary context switches= 2610
# summary of solver processes directly reported to runsolver:
# pid: 3245
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.62
# total CPU system time (s): 4.45134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4205 second user time and 24.0729 second system time
The end