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 (13004 MiB free)
memory of node 1: 16384 MiB (14164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396219-1568403403/watcher-4396219-1568403403 -o /tmp/evaluation-result-4396219-1568403403/solver-4396219-1568403403 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568400895-17217 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1012146001 HOME/instance-4396219-1568403403.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=17691, runsolver pid=17688
[startup+0.11065 s]*
/proc/loadavg: 1.15 1.32 1.31 3/219 17749
/proc/meminfo: memFree=27810640/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10355560 memory=21896 CPUtime=0.09 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 4725 13019 0 0 2 0 5 2 20 0 9 0 416609147 10604093440 5474 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2588890 5474 2103 1 0 2551431 0
[pid=17691/tid=17744] ppid=17688 vsize=10355560 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 2486 13019 0 0 2 0 5 2 20 0 9 0 416609156 10604093440 5474 33554432000 4194304 4196468 140736013596448 140364836204400 140364864390301 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 9 0 416609156 10604093440 5474 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10355560 memory=288370441668519552 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 9 0 416609156 10604093440 5474 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 9 0 416609156 10604093440 5474 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 9 0 416609156 10604093440 5474 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 9 0 416609158 10604093440 5474 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 33 13019 0 0 0 0 5 2 20 0 9 0 416609158 10604093440 5474 33554432000 4194304 4196468 140736013596448 140363866694560 140364864378581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 9 0 416609158 10604093440 5474 33554432000 4194304 4196468 140736013596448 140363759084592 140364864378581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21896 KiB
[startup+0.210164 s]*
/proc/loadavg: 1.15 1.32 1.31 3/227 17757
/proc/meminfo: memFree=27793952/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10819664 memory=42892 CPUtime=0.25 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 7076 13019 0 0 17 1 5 2 20 0 15 0 416609147 11079335936 10211 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2704916 10723 3160 1 0 2667149 0
[pid=17691/tid=17744] ppid=17688 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 3548 13019 0 0 11 0 5 2 20 0 15 0 416609156 11079335936 10723 33554432000 4194304 4196468 140736013596448 140364836199608 140364848448862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10819664 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079335936 10723 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10819664 memory=140065516825281 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079335936 10723 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079335936 10723 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079335936 10723 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10819664 memory=140065516807808 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609158 11079335936 10723 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 33 13019 0 0 0 0 5 2 20 0 15 0 416609158 11079335936 10723 33554432000 4194304 4196468 140736013596448 140363866694560 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609158 11079335936 10723 33554432000 4194304 4196468 140736013596448 140363759084528 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11079335936 10787 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 485 13019 0 0 1 0 5 2 20 0 15 0 416609161 11079335936 10787 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 188 13019 0 0 1 0 5 2 20 0 15 0 416609161 11079335936 10787 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10819664 memory=140065516807808 CPUtime=0.1 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) R 17688 17691 17185 0 -1 4202560 622 13019 0 0 3 0 5 2 20 0 15 0 416609161 11079335936 10787 33554432000 4194304 4196468 140736013596448 140363831032560 140364843328519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11079335936 10787 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10819664 memory=140065516807808 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609162 11079335936 10787 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42892 KiB
[startup+0.310389 s]*
/proc/loadavg: 1.15 1.32 1.31 3/227 17757
/proc/meminfo: memFree=27780916/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10820148 memory=51984 CPUtime=0.4 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 10785 13019 0 0 30 3 5 2 20 0 15 0 416609147 11079831552 12996 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2705037 12996 3292 1 0 2667149 0
[pid=17691/tid=17744] ppid=17688 vsize=10820148 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 7213 13019 0 0 19 2 5 2 20 0 15 0 416609156 11079831552 12996 33554432000 4194304 4196468 140736013596448 140364836168288 140364848448862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10820148 memory=-6957061461084680038 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079831552 12996 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10820148 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079831552 12996 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10820148 memory=140065516814801 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079831552 12996 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609156 11079831552 12996 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609158 11079831552 12996 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 33 13019 0 0 0 0 5 2 20 0 15 0 416609158 11079831552 12996 33554432000 4194304 4196468 140736013596448 140363866694560 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609158 11079831552 12996 33554432000 4194304 4196468 140736013596448 140363759084528 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11079831552 12996 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 486 13019 0 0 1 0 5 2 20 0 15 0 416609161 11079831552 13061 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 194 13019 0 0 2 0 5 2 20 0 15 0 416609161 11079831552 13061 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10820148 memory=140065516807808 CPUtime=0.12 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) S 17688 17691 17185 0 -1 1077944384 644 13019 0 0 5 0 5 2 20 0 15 0 416609161 11079831552 13061 33554432000 4194304 4196468 140736013596448 140363831032560 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11079831552 13061 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10820148 memory=140065516807808 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609162 11079831552 13061 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51984 KiB
[startup+0.707797 s]
/proc/loadavg: 1.15 1.32 1.31 3/227 17757
/proc/meminfo: memFree=27765364/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10824360 memory=85792 CPUtime=1.14 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 15165 13019 0 0 102 5 5 2 20 0 15 0 416609147 11084144640 21448 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2706090 21448 3502 1 0 2668173 0
[pid=17691/tid=17744] ppid=17688 vsize=10824360 memory=140065393158752 CPUtime=0.66 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 10483 13019 0 0 56 3 5 2 20 0 15 0 416609156 11084144640 21448 33554432000 4194304 4196468 140736013596448 140364836193584 140364864380310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10824360 memory=140065393122032 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609156 11084144640 21448 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10824360 memory=140065393117360 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609156 11084144640 21448 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10824360 memory=2024 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609156 11084144640 21448 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10824360 memory=7740914130115584592 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609156 11084144640 21448 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10824360 memory=7013340932281231985 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 6 13019 0 0 0 0 5 2 20 0 15 0 416609158 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10824360 memory=7810487918915055718 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 33 13019 0 0 0 0 5 2 20 0 15 0 416609158 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363866694560 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609158 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363759084528 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10824360 memory=1316 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) R 17688 17691 17185 0 -1 4202560 937 13019 0 0 12 0 5 2 20 0 15 0 416609161 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363833118608 140364847753254 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10824360 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 634 13019 0 0 15 0 5 2 20 0 15 0 416609161 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) R 17688 17691 17185 0 -1 4202560 854 13019 0 0 17 0 5 2 20 0 15 0 416609161 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363831032560 140364843238011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1 13019 0 0 0 0 5 2 20 0 15 0 416609162 11084144640 21448 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85792 KiB
[startup+1.50077 s]
/proc/loadavg: 1.15 1.32 1.31 3/227 17757
/proc/meminfo: memFree=27723612/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10834676 memory=175360 CPUtime=2.46 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 23957 13019 0 0 229 10 5 2 20 0 15 0 416609147 11094708224 43840 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2708669 43840 3573 1 0 2670733 0
[pid=17691/tid=17744] ppid=17688 vsize=10834676 memory=100 CPUtime=1.42 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 15950 13019 0 0 129 6 5 2 20 0 15 0 416609156 11094708224 43840 33554432000 4194304 4196468 140736013596448 140364836160304 140364849735058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 348 13019 0 0 1 0 5 2 20 0 15 0 416609156 11094708224 43840 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 92 13019 0 0 1 0 5 2 20 0 15 0 416609156 11094708224 43840 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 64 13019 0 0 0 0 5 2 20 0 15 0 416609156 11094708224 43840 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10834676 memory=-7385037615208631145 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 15 13019 0 0 0 0 5 2 20 0 15 0 416609156 11094708224 43840 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10834676 memory=8401352418782109792 CPUtime=0.08 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 1631 13019 0 0 1 0 5 2 20 0 15 0 416609158 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10834676 memory=7228672579243565162 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 33 13019 0 0 0 0 5 2 20 0 15 0 416609158 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363866694624 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10834676 memory=7800344859672537426 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609158 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363759084544 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10834676 memory=1204 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10834676 memory=1536 CPUtime=0.3 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 1115 13019 0 0 23 0 5 2 20 0 15 0 416609161 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10834676 memory=9592 CPUtime=0.33 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 799 13019 0 0 26 0 5 2 20 0 15 0 416609161 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10834676 memory=2828 CPUtime=0.49 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) R 17688 17691 17185 0 -1 4202560 1697 13019 0 0 42 0 5 2 20 0 15 0 416609161 11094708224 43840 33554432000 4194304 4196468 140736013596448 140363831032560 140364864389722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
################
# More data... #
################
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 51120 13019 0 0 236410 32 5 2 20 0 15 0 416609156 11107311616 167631 33554432000 4194304 4196468 140736013596448 140364836204048 140364464434585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10846984 memory=670492 CPUtime=8.05 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 5307 13019 0 0 761 37 5 2 20 0 15 0 416609156 11107311616 167631 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10846984 memory=3624 CPUtime=8.06 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 8749 13019 0 0 760 39 5 2 20 0 15 0 416609156 11107311616 167631 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10846984 memory=670524 CPUtime=8.04 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 7212 13019 0 0 756 41 5 2 20 0 15 0 416609156 11107311616 167631 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10846984 memory=670524 CPUtime=8.01 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 4359 13019 0 0 756 38 5 2 20 0 15 0 416609156 11107311616 167631 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10846984 memory=670524 CPUtime=7.49 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 10989 13019 0 0 703 39 5 2 20 0 15 0 416609158 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10846984 memory=670524 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 38 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363866694688 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10846984 memory=670524 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363759084544 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10846984 memory=670524 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10846984 memory=14012 CPUtime=4.14 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 29671 13019 0 0 404 3 5 2 20 0 15 0 416609161 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10846984 memory=670524 CPUtime=4.16 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 26894 13019 0 0 406 3 5 2 20 0 15 0 416609161 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10846984 memory=670524 CPUtime=2.07 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) S 17688 17691 17185 0 -1 1077944384 16864 13019 0 0 196 4 5 2 20 0 15 0 416609161 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363831032560 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10846984 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10846984 memory=40436 CPUtime=1.21 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1540 13019 0 0 57 57 5 2 20 0 15 0 416609162 11107311616 167631 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 2415.2 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 670524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.21 1.39 1.41 3/227 18260
/proc/meminfo: memFree=27750476/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10846984 memory=670552 CPUtime=2475.85 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 165738 13019 0 0 247326 252 5 2 20 0 15 0 416609147 11107311616 167638 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2711746 167638 3632 1 0 2673805 0
[pid=17691/tid=17744] ppid=17688 vsize=10846984 memory=670552 CPUtime=2424.04 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 51572 13019 0 0 242365 32 5 2 20 0 15 0 416609156 11107311616 167638 33554432000 4194304 4196468 140736013596448 140364836203360 140364448076231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10846984 memory=670552 CPUtime=8.27 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 5314 13019 0 0 782 38 5 2 20 0 15 0 416609156 11107311616 167638 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10846984 memory=670552 CPUtime=8.27 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 8822 13019 0 0 781 39 5 2 20 0 15 0 416609156 11107311616 167638 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10846984 memory=670552 CPUtime=8.26 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 7238 13019 0 0 777 42 5 2 20 0 15 0 416609156 11107311616 167638 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10846984 memory=670552 CPUtime=8.22 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 4390 13019 0 0 777 38 5 2 20 0 15 0 416609156 11107311616 167638 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10846984 memory=670552 CPUtime=7.69 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 11166 13019 0 0 722 40 5 2 20 0 15 0 416609158 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10846984 memory=670552 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 38 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363866694688 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10846984 memory=670552 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363759084544 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10846984 memory=670552 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10846984 memory=670552 CPUtime=4.14 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 29671 13019 0 0 404 3 5 2 20 0 15 0 416609161 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10846984 memory=670552 CPUtime=4.16 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 26894 13019 0 0 406 3 5 2 20 0 15 0 416609161 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10846984 memory=670552 CPUtime=2.07 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) S 17688 17691 17185 0 -1 1077944384 16865 13019 0 0 196 4 5 2 20 0 15 0 416609161 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363831032560 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10846984 memory=670552 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10846984 memory=670552 CPUtime=1.25 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1555 13019 0 0 59 59 5 2 20 0 15 0 416609162 11107311616 167638 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 2475.85 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 670552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2486.11 s]
/proc/loadavg: 1.33 1.40 1.41 3/227 18262
/proc/meminfo: memFree=27748872/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10846984 memory=672664 CPUtime=2520.09 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 166778 13019 0 0 251745 257 5 2 20 0 15 0 416609147 11107311616 168166 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2711746 168166 3632 1 0 2673805 0
[pid=17691/tid=17744] ppid=17688 vsize=10846984 memory=672652 CPUtime=2467.53 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 52030 13019 0 0 246714 32 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364836203232 140364465558192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10846984 memory=672652 CPUtime=8.42 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 5334 13019 0 0 797 38 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10846984 memory=672652 CPUtime=8.42 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 8925 13019 0 0 795 40 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10846984 memory=670604 CPUtime=8.41 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 7299 13019 0 0 791 43 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10846984 memory=668408 CPUtime=8.36 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 4572 13019 0 0 790 39 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10846984 memory=670552 CPUtime=7.81 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 11360 13019 0 0 734 40 5 2 20 0 15 0 416609158 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10846984 memory=672664 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 38 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363866694688 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10846984 memory=40436 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363759084544 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10846984 memory=672652 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10846984 memory=672664 CPUtime=4.14 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 29673 13019 0 0 404 3 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10846984 memory=1536 CPUtime=4.16 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 26896 13019 0 0 406 3 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10846984 memory=3624 CPUtime=2.07 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) S 17688 17691 17185 0 -1 1077944384 16867 13019 0 0 196 4 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363831032560 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10846984 memory=40436 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10846984 memory=988 CPUtime=1.26 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1571 13019 0 0 59 60 5 2 20 0 15 0 416609162 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 672664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.14 s]
# the end of solver process 17691 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.52 s, system=2.60798 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2486.11 s]
/proc/loadavg: 1.33 1.40 1.41 3/227 18262
/proc/meminfo: memFree=27748872/32770624 swapFree=66998528/67108860
[pid=17691] ppid=17688 vsize=10846984 memory=672664 CPUtime=2520.09 cores=1,3,5,7
/proc/17691/stat : 17691 (java) S 17688 17691 17185 0 -1 1077944320 166778 13019 0 0 251745 257 5 2 20 0 15 0 416609147 11107311616 168166 33554432000 4194304 4196468 140736013596448 140736013578992 140364864368375 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
/proc/17691/statm: 2711746 168166 3632 1 0 2673805 0
[pid=17691/tid=17744] ppid=17688 vsize=10846984 memory=672652 CPUtime=2467.53 cores=1,3,5,7
/proc/17691/task/17744/stat : 17744 (java) R 17688 17691 17185 0 -1 4202560 52030 13019 0 0 246714 32 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364836203232 140364465558192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17745] ppid=17688 vsize=10846984 memory=672652 CPUtime=8.42 cores=1,3,5,7
/proc/17691/task/17745/stat : 17745 (java) S 17688 17691 17185 0 -1 1077944384 5334 13019 0 0 797 38 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364868610832 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17746] ppid=17688 vsize=10846984 memory=672652 CPUtime=8.42 cores=1,3,5,7
/proc/17691/task/17746/stat : 17746 (java) S 17688 17691 17185 0 -1 1077944384 8925 13019 0 0 795 40 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364767501200 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17747] ppid=17688 vsize=10846984 memory=670604 CPUtime=8.41 cores=1,3,5,7
/proc/17691/task/17747/stat : 17747 (java) S 17688 17691 17185 0 -1 1077944384 7299 13019 0 0 791 43 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364436335632 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17748] ppid=17688 vsize=10846984 memory=668408 CPUtime=8.36 cores=1,3,5,7
/proc/17691/task/17748/stat : 17748 (java) S 17688 17691 17185 0 -1 1077944384 4572 13019 0 0 790 39 5 2 20 0 15 0 416609156 11107311616 168166 33554432000 4194304 4196468 140736013596448 140364435283088 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17749] ppid=17688 vsize=10846984 memory=670552 CPUtime=7.81 cores=1,3,5,7
/proc/17691/task/17749/stat : 17749 (java) S 17688 17691 17185 0 -1 1077944384 11360 13019 0 0 734 40 5 2 20 0 15 0 416609158 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363867748336 140364864379522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17750] ppid=17688 vsize=10846984 memory=672664 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17750/stat : 17750 (java) S 17688 17691 17185 0 -1 1077944384 38 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363866694688 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17751] ppid=17688 vsize=10846984 memory=40436 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17751/stat : 17751 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609158 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363759084544 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17752] ppid=17688 vsize=10846984 memory=672652 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17752/stat : 17752 (java) S 17688 17691 17185 0 -1 1077944384 2 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363423541456 140364864386971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17753] ppid=17688 vsize=10846984 memory=672664 CPUtime=4.14 cores=1,3,5,7
/proc/17691/task/17753/stat : 17753 (java) S 17688 17691 17185 0 -1 1077944384 29673 13019 0 0 404 3 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363833137648 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17754] ppid=17688 vsize=10846984 memory=1536 CPUtime=4.16 cores=1,3,5,7
/proc/17691/task/17754/stat : 17754 (java) S 17688 17691 17185 0 -1 1077944384 26896 13019 0 0 406 3 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363832085104 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17755] ppid=17688 vsize=10846984 memory=3624 CPUtime=2.07 cores=1,3,5,7
/proc/17691/task/17755/stat : 17755 (java) S 17688 17691 17185 0 -1 1077944384 16867 13019 0 0 196 4 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363831032560 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17756] ppid=17688 vsize=10846984 memory=40436 CPUtime=0.07 cores=1,3,5,7
/proc/17691/task/17756/stat : 17756 (java) S 17688 17691 17185 0 -1 1077944384 3 13019 0 0 0 0 5 2 20 0 15 0 416609161 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363155106912 140364864378581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
[pid=17691/tid=17757] ppid=17688 vsize=10846984 memory=988 CPUtime=1.26 cores=1,3,5,7
/proc/17691/task/17757/stat : 17757 (java) S 17688 17691 17185 0 -1 1077944384 1571 13019 0 0 59 60 5 2 20 0 15 0 416609162 11107311616 168166 33554432000 4194304 4196468 140736013596448 140363829979440 140364864379522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21508096 140736013601519 140736013604037 140736013604037 140736013606863 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 672664 KiB
Child status: 143
Real time (s): 2486.14
CPU time (s): 2520.13
CPU user time (s): 2517.52
CPU system time (s): 2.60798
CPU usage (%): 101.367
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 672664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.52
system time used= 2.60798
maximum resident set size= 676792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221124
involuntary context switches= 9195
# summary of solver processes directly reported to runsolver:
# pid: 17691
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.52
# total CPU system time (s): 2.60798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7802 second user time and 26.0451 second system time
The end