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 (10816 MiB free)
memory of node 1: 16384 MiB (14806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396248-1568404358/watcher-4396248-1568404358 -o /tmp/evaluation-result-4396248-1568404358/solver-4396248-1568404358 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568401436-22173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1845383294 HOME/instance-4396248-1568404358.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=24080, runsolver pid=24077
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.40 1.66 1.59 3/221 24137
/proc/meminfo: memFree=26224472/32770624 swapFree=67020732/67108860
[pid=24080] ppid=24077 vsize=9972712 memory=19128 CPUtime=0.09 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 4504 13175 0 0 1 0 5 3 20 0 6 0 416708442 10212057088 4782 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2493178 4782 1937 1 0 2481616 0
[pid=24080/tid=24133] ppid=24077 vsize=9972712 memory=4279135704047189648 CPUtime=0.09 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 2288 13175 0 0 1 0 5 3 20 0 6 0 416708451 10212057088 4782 33554432000 4194304 4196468 140728017173664 140336234390096 140336247676272 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 6 0 416708452 10212057088 4782 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=9972712 memory=140664234550912 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 6 0 416708452 10212057088 4782 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 6 0 416708452 10212057088 4782 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 6 0 416708452 10212057088 4782 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19128 KiB
[startup+0.210235 s]*
/proc/loadavg: 1.40 1.66 1.59 3/230 24146
/proc/meminfo: memFree=26207116/32770624 swapFree=67020732/67108860
[pid=24080] ppid=24077 vsize=10819664 memory=38808 CPUtime=0.26 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 7049 13175 0 0 17 1 5 3 20 0 15 0 416708442 11079335936 9702 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2704916 9702 3160 1 0 2667149 0
[pid=24080/tid=24133] ppid=24077 vsize=10819664 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 3524 13175 0 0 11 0 5 3 20 0 15 0 416708451 11079335936 9702 33554432000 4194304 4196468 140728017173664 140336234370448 140336246633822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079335936 9702 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10819664 memory=140664234550912 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079335936 9702 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079335936 9702 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079335936 9702 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10819664 memory=140664234550912 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708453 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 13 13175 0 0 0 0 5 3 20 0 15 0 416708454 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335237817376 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335036490608 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079335936 9702 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 482 13175 0 0 1 0 5 3 20 0 15 0 416708457 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 182 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10819664 memory=140664234550912 CPUtime=0.11 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 623 13175 0 0 3 0 5 3 20 0 15 0 416708457 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079335936 9702 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10819664 memory=140664234550912 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079335936 9702 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38808 KiB
[startup+0.311217 s]*
/proc/loadavg: 1.40 1.66 1.59 3/230 24146
/proc/meminfo: memFree=26195732/32770624 swapFree=67020732/67108860
[pid=24080] ppid=24077 vsize=10820148 memory=49948 CPUtime=0.39 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 10723 13175 0 0 28 3 5 3 20 0 15 0 416708442 11079831552 12487 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2705037 12487 3292 1 0 2667149 0
[pid=24080/tid=24133] ppid=24077 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 7165 13175 0 0 18 2 5 3 20 0 15 0 416708451 11079831552 12487 33554432000 4194304 4196468 140728017173664 140336234358704 140336248248327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10820148 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079831552 12487 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10820148 memory=6176 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079831552 12487 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079831552 12487 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708452 11079831552 12487 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708453 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 13 13175 0 0 0 0 5 3 20 0 15 0 416708454 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335237817376 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335036490608 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079831552 12487 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 482 13175 0 0 1 0 5 3 20 0 15 0 416708457 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 192 13175 0 0 2 0 5 3 20 0 15 0 416708457 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 645 13175 0 0 5 0 5 3 20 0 15 0 416708457 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079831552 12487 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708457 11079831552 12487 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49948 KiB
[startup+0.700682 s]
/proc/loadavg: 1.40 1.66 1.59 3/230 24146
/proc/meminfo: memFree=26183388/32770624 swapFree=67020732/67108860
[pid=24080] ppid=24077 vsize=10824360 memory=81348 CPUtime=1.11 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 15030 13175 0 0 98 5 5 3 20 0 15 0 416708442 11084144640 20337 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2706090 20337 3510 1 0 2668173 0
[pid=24080/tid=24133] ppid=24077 vsize=10824360 memory=50 CPUtime=0.65 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 10349 13175 0 0 54 3 5 3 20 0 15 0 416708451 11084144640 20337 33554432000 4194304 4196468 140728017173664 140336234382880 140336246596965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708452 11084144640 20337 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10824360 memory=4120 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708452 11084144640 20337 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708452 11084144640 20337 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 2 13175 0 0 0 0 5 3 20 0 15 0 416708452 11084144640 20337 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10824360 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 5 13175 0 0 0 0 5 3 20 0 15 0 416708453 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10824360 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 13 13175 0 0 0 0 5 3 20 0 15 0 416708454 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335237817376 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10824360 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335036490608 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10824360 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11084144640 20337 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10824360 memory=13252 CPUtime=0.22 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 924 13175 0 0 14 0 5 3 20 0 15 0 416708457 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10824360 memory=15460 CPUtime=0.19 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 622 13175 0 0 11 0 5 3 20 0 15 0 416708457 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10824360 memory=17668 CPUtime=0.24 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 893 13175 0 0 16 0 5 3 20 0 15 0 416708457 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10824360 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11084144640 20337 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10824360 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708457 11084144640 20337 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81348 KiB
[startup+1.50073 s]
/proc/loadavg: 1.40 1.66 1.59 3/230 24147
/proc/meminfo: memFree=26135680/32770624 swapFree=67020732/67108860
[pid=24080] ppid=24077 vsize=10834676 memory=168936 CPUtime=2.41 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 20395 13175 0 0 223 10 5 3 20 0 15 0 416708442 11094708224 42234 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2708669 42234 3572 1 0 2670733 0
[pid=24080/tid=24133] ppid=24077 vsize=10834676 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 14908 13175 0 0 129 5 5 3 20 0 15 0 416708451 11094708224 42234 33554432000 4194304 4196468 140728017173664 140336234354480 140336246596965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 26 13175 0 0 1 0 5 3 20 0 15 0 416708452 11094708224 42234 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 22 13175 0 0 0 0 5 3 20 0 15 0 416708452 11094708224 42234 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 19 13175 0 0 1 0 5 3 20 0 15 0 416708452 11094708224 42234 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 42 13175 0 0 0 0 5 3 20 0 15 0 416708452 11094708224 42234 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10834676 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 44 13175 0 0 1 0 5 3 20 0 15 0 416708453 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10834676 memory=281328142592256 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 416708454 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335237817440 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335036490624 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10834676 memory=1908 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11094708224 42234 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10834676 memory=1360 CPUtime=0.33 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 975 13175 0 0 25 0 5 3 20 0 15 0 416708457 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10834676 memory=7420 CPUtime=0.31 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) R 24077 24080 22142 0 -1 1077944384 677 13175 0 0 23 0 5 3 20 0 15 0 416708457 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10834676 memory=860 CPUtime=0.46 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 1452 13175 0 0 38 0 5 3 20 0 15 0 416708457 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10834676 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11094708224 42234 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10834676 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708457 11094708224 42234 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 41978 13175 0 0 236564 28 5 3 20 0 15 0 416708451 11105214464 129240 33554432000 4194304 4196468 140728017173664 140336234389024 140335870603486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10844936 memory=516848 CPUtime=6.54 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 6239 13175 0 0 610 36 5 3 20 0 15 0 416708452 11105214464 129240 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10844936 memory=4120 CPUtime=6.52 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 6743 13175 0 0 610 34 5 3 20 0 15 0 416708452 11105214464 129240 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10844936 memory=516960 CPUtime=6.56 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 9174 13175 0 0 609 39 5 3 20 0 15 0 416708452 11105214464 129240 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10844936 memory=516960 CPUtime=6.55 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 8545 13175 0 0 613 34 5 3 20 0 15 0 416708452 11105214464 129240 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10844936 memory=516848 CPUtime=6.67 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 7388 13175 0 0 623 36 5 3 20 0 15 0 416708453 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10844936 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335237817504 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10844936 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335036490624 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10844936 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129240 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10844936 memory=4120 CPUtime=2.81 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 14679 13175 0 0 270 3 5 3 20 0 15 0 416708457 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10844936 memory=644 CPUtime=2.41 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 6104 13175 0 0 232 1 5 3 20 0 15 0 416708457 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10844936 memory=516848 CPUtime=1.28 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 7034 13175 0 0 117 3 5 3 20 0 15 0 416708457 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10844936 memory=860 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129240 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10844936 memory=8 CPUtime=1.23 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 855 13175 0 0 63 52 5 3 20 0 15 0 416708457 11105214464 129240 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 2405.96 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 516960 KiB
[startup+2442.3 s]
/proc/loadavg: 1.56 1.43 1.44 3/230 24527
/proc/meminfo: memFree=25131148/32770624 swapFree=67020868/67108860
[pid=24080] ppid=24077 vsize=10844936 memory=516968 CPUtime=2466.41 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 111610 13175 0 0 246405 228 5 3 20 0 15 0 416708442 11105214464 129242 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2711234 129242 3622 1 0 2673293 0
[pid=24080/tid=24133] ppid=24077 vsize=10844936 memory=516968 CPUtime=2425.59 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 42267 13175 0 0 242523 28 5 3 20 0 15 0 416708451 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336234389520 140335868407177 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.71 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 6249 13175 0 0 626 37 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.7 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 6759 13175 0 0 627 35 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10844936 memory=516960 CPUtime=6.73 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 9298 13175 0 0 625 40 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.72 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 8561 13175 0 0 628 36 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.84 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 7557 13175 0 0 639 37 5 3 20 0 15 0 416708453 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10844936 memory=516968 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335237817504 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10844936 memory=516968 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335036490624 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10844936 memory=4120 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10844936 memory=516848 CPUtime=2.81 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 14679 13175 0 0 270 3 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10844936 memory=516968 CPUtime=2.41 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 6104 13175 0 0 232 1 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10844936 memory=2608 CPUtime=1.28 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 7034 13175 0 0 117 3 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10844936 memory=516968 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10844936 memory=3824 CPUtime=1.26 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 871 13175 0 0 65 53 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 2466.41 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 516968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.5 s]
/proc/loadavg: 1.40 1.42 1.43 3/230 24531
/proc/meminfo: memFree=25128396/32770624 swapFree=67020868/67108860
[pid=24080] ppid=24077 vsize=10844936 memory=516968 CPUtime=2520.01 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 111881 13175 0 0 251761 232 5 3 20 0 15 0 416708442 11105214464 129242 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2711234 129242 3622 1 0 2673293 0
[pid=24080/tid=24133] ppid=24077 vsize=10844936 memory=516968 CPUtime=2478.42 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 42508 13175 0 0 247806 28 5 3 20 0 15 0 416708451 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336234389200 140335870602193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.85 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 6255 13175 0 0 639 38 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.84 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 6766 13175 0 0 641 35 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.87 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 9305 13175 0 0 639 40 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.86 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 8565 13175 0 0 641 37 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.98 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 7561 13175 0 0 652 38 5 3 20 0 15 0 416708453 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10844936 memory=8016517744900728942 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335237817504 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10844936 memory=516968 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335036490624 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10844936 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10844936 memory=9488 CPUtime=2.81 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 14679 13175 0 0 270 3 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10844936 memory=2676 CPUtime=2.41 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 6104 13175 0 0 232 1 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10844936 memory=500 CPUtime=1.28 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 7034 13175 0 0 117 3 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10844936 memory=1736 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10844936 memory=4120 CPUtime=1.28 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 873 13175 0 0 66 54 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 516968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.53 s]
# the end of solver process 24080 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.68 s, system=2.36863 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.5 s]
/proc/loadavg: 1.40 1.42 1.43 3/230 24531
/proc/meminfo: memFree=25128396/32770624 swapFree=67020868/67108860
[pid=24080] ppid=24077 vsize=10844936 memory=516968 CPUtime=2520.01 cores=0,2,4,6
/proc/24080/stat : 24080 (java) S 24077 24080 22142 0 -1 1077944320 111881 13175 0 0 251761 232 5 3 20 0 15 0 416708442 11105214464 129242 33554432000 4194304 4196468 140728017173664 140728017156208 140336262553335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
/proc/24080/statm: 2711234 129242 3622 1 0 2673293 0
[pid=24080/tid=24133] ppid=24077 vsize=10844936 memory=516968 CPUtime=2478.42 cores=0,2,4,6
/proc/24080/task/24133/stat : 24133 (java) R 24077 24080 22142 0 -1 4202560 42508 13175 0 0 247806 28 5 3 20 0 15 0 416708451 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336234389200 140335870602193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24134] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.85 cores=0,2,4,6
/proc/24080/task/24134/stat : 24134 (java) S 24077 24080 22142 0 -1 1077944384 6255 13175 0 0 639 38 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336266796176 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24135] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.84 cores=0,2,4,6
/proc/24080/task/24135/stat : 24135 (java) S 24077 24080 22142 0 -1 1077944384 6766 13175 0 0 641 35 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336181615632 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24136] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.87 cores=0,2,4,6
/proc/24080/task/24136/stat : 24136 (java) S 24077 24080 22142 0 -1 1077944384 9305 13175 0 0 639 40 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336180562832 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24137] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.86 cores=0,2,4,6
/proc/24080/task/24137/stat : 24137 (java) S 24077 24080 22142 0 -1 1077944384 8565 13175 0 0 641 37 5 3 20 0 15 0 416708452 11105214464 129242 33554432000 4194304 4196468 140728017173664 140336179510032 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24138] ppid=24077 vsize=10844936 memory=516968 CPUtime=6.98 cores=0,2,4,6
/proc/24080/task/24138/stat : 24138 (java) S 24077 24080 22142 0 -1 1077944384 7561 13175 0 0 652 38 5 3 20 0 15 0 416708453 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335789123952 140336262564482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24139] ppid=24077 vsize=10844936 memory=8016517744900728942 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24139/stat : 24139 (java) S 24077 24080 22142 0 -1 1077944384 14 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335237817504 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24140] ppid=24077 vsize=10844936 memory=516968 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24140/stat : 24140 (java) S 24077 24080 22142 0 -1 1077944384 1 13175 0 0 0 0 5 3 20 0 15 0 416708454 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335036490624 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24141] ppid=24077 vsize=10844936 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24141/stat : 24141 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140334796199760 140336262571931 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24142] ppid=24077 vsize=10844936 memory=9488 CPUtime=2.81 cores=0,2,4,6
/proc/24080/task/24142/stat : 24142 (java) S 24077 24080 22142 0 -1 1077944384 14679 13175 0 0 270 3 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335788071792 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24143] ppid=24077 vsize=10844936 memory=2676 CPUtime=2.41 cores=0,2,4,6
/proc/24080/task/24143/stat : 24143 (java) S 24077 24080 22142 0 -1 1077944384 6104 13175 0 0 232 1 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335787018992 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24144] ppid=24077 vsize=10844936 memory=500 CPUtime=1.28 cores=0,2,4,6
/proc/24080/task/24144/stat : 24144 (java) S 24077 24080 22142 0 -1 1077944384 7034 13175 0 0 117 3 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335785966192 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24145] ppid=24077 vsize=10844936 memory=1736 CPUtime=0.08 cores=0,2,4,6
/proc/24080/task/24145/stat : 24145 (java) S 24077 24080 22142 0 -1 1077944384 3 13175 0 0 0 0 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140334762642144 140336262563541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
[pid=24080/tid=24146] ppid=24077 vsize=10844936 memory=4120 CPUtime=1.28 cores=0,2,4,6
/proc/24080/task/24146/stat : 24146 (java) S 24077 24080 22142 0 -1 1077944384 873 13175 0 0 66 54 5 3 20 0 15 0 416708457 11105214464 129242 33554432000 4194304 4196468 140728017173664 140335784913584 140336262564482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37912576 140728017181423 140728017183941 140728017183941 140728017186767 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 516968 KiB
Child status: 143
Real time (s): 2495.53
CPU time (s): 2520.05
CPU user time (s): 2517.68
CPU system time (s): 2.36863
CPU usage (%): 100.983
Max. virtual memory (cumulated for all children) (KiB): 10847740
Max. memory (cumulated for all children) (KiB): 516968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.68
system time used= 2.36863
maximum resident set size= 521180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209936
involuntary context switches= 7674
# summary of solver processes directly reported to runsolver:
# pid: 24080
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.68
# total CPU system time (s): 2.36863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.187 second user time and 21.6825 second system time
The end