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 (7876 MiB free)
memory of node 1: 16384 MiB (15863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293830-1532363289/watcher-4293830-1532363289 -o /tmp/evaluation-result-4293830-1532363289/solver-4293830-1532363289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532363289-20660 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2133831396 -superng HOME/instance-4293830-1532363289.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
Current StackSize limit: 8192 KiB
solver pid=20693, runsolver pid=20686
[startup+0.104271 s]*
/proc/loadavg: 3.80 4.38 3.78 4/212 20766
/proc/meminfo: memFree=24282204/32770624 swapFree=67070816/67108860
[pid=20693] ppid=20686 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/20693/stat : 20693 (bash) S 20686 20693 8919 0 -1 4202496 876 5667 0 3 0 0 0 1 20 0 1 0 53892166 115974144 403 33554432000 4194304 5098028 140731848817792 140731848811800 139777882889216 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140731848823957 140731848824104 140731848824104 140731848826862 0
/proc/20693/statm: 28314 403 319 221 0 119 0
[pid=20745] ppid=20693 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/20745/stat : 20745 (bash) S 20693 20693 8919 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 53892172 115974144 178 33554432000 4194304 5098028 140731848817792 140731848810472 139777882714748 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29224960 140731848823957 140731848824104 140731848824104 140731848826862 0
/proc/20745/statm: 28314 178 94 221 0 119 0
[pid=20747] ppid=20745 vsize=10260324 memory=21356 CPUtime=0.04 cores=0,2,4,6
/proc/20747/stat : 20747 (java) S 20745 20693 8919 0 -1 1077944320 4154 0 0 0 3 1 0 0 20 0 9 0 53892172 10506571776 5339 33554432000 4194304 4196468 140736817768144 140736817750688 140424222232311 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
/proc/20747/statm: 2565081 5339 2160 1 0 2527622 0
[pid=20747/tid=20752] ppid=20745 vsize=10260324 memory=7751702667093440019 CPUtime=0.03 cores=0,2,4,6
/proc/20747/task/20752/stat : 20752 (java) R 20745 20693 8919 0 -1 4202560 2833 0 0 0 3 0 0 0 20 0 9 0 53892173 10506571776 5404 33554432000 4194304 4196468 140736817768144 140424226467704 140424202508060 0 4 0 16800971 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20755] ppid=20745 vsize=10260324 memory=4210146916469654281 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20755/stat : 20755 (java) S 20745 20693 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 53892173 10506571776 5404 33554432000 4194304 4196468 140736817768144 140424158923536 140424222242517 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20756] ppid=20745 vsize=10260324 memory=139753527678592 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20756/stat : 20756 (java) S 20745 20693 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 53892173 10506571776 5404 33554432000 4194304 4196468 140736817768144 140423827680144 140424222242517 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20758] ppid=20745 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20758/stat : 20758 (java) S 20745 20693 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 53892173 10506571776 5404 33554432000 4194304 4196468 140736817768144 140423826627600 140424222242517 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20759] ppid=20745 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20759/stat : 20759 (java) S 20745 20693 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 53892173 10506571776 5404 33554432000 4194304 4196468 140736817768144 140423825575056 140424222242517 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20762] ppid=20745 vsize=10260324 memory=139753527678592 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20762/stat : 20762 (java) S 20745 20693 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 53892175 10506571776 5404 33554432000 4194304 4196468 140736817768144 140423714170864 140424222243458 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20764] ppid=20745 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20764/stat : 20764 (java) S 20745 20693 8919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 53892175 10506571776 5404 33554432000 4194304 4196468 140736817768144 140423713117088 140424222242517 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20747/tid=20766] ppid=20745 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20747/task/20766/stat : 20766 (java) S 20745 20693 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 53892175 10506571776 5404 33554432000 4194304 4196468 140736817768144 140423712064496 140424222242517 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140736817771811 140736817771825 140736817771825 140736817774543 0
[pid=20748] ppid=20745 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/20748/stat : 20748 (awk) S 20745 20693 8919 0 -1 4202496 425 0 1 0 0 0 0 0 20 0 1 0 53892172 116211712 243 33554432000 4194304 4609284 140730217046800 140730217045976 140565048794112 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 3 0 0 6708720 6711756 8626176 140730217055571 140730217055601 140730217055601 140730217058287 0
/proc/20748/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24652 KiB
[startup+0.21064 s]*
/proc/loadavg: 3.80 4.38 3.78 6/218 20824
/proc/meminfo: memFree=24273948/32770624 swapFree=67070816/67108860
[pid=20693] ppid=20686 vsize=10818508 memory=30168 CPUtime=0.16 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 6185 13174 0 4 7 1 5 3 20 0 15 0 53892166 11078152192 7542 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2704627 7542 2783 1 0 2667149 0
[pid=20693/tid=20797] ppid=20686 vsize=10818508 memory=7022364594140610616 CPUtime=0.13 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 2973 13174 0 4 5 0 5 3 20 0 15 0 53892181 11078152192 7542 33554432000 4194304 4196468 140735618252736 140266088239040 140266116424861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10818508 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11078152192 7542 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10818508 memory=139753528001808 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11078152192 7542 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10818508 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11078152192 7542 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10818508 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 2 13174 0 4 0 0 5 3 20 0 15 0 53892182 11078152192 7542 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10818508 memory=139753527678592 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 2 13174 0 4 0 0 5 3 20 0 15 0 53892183 11078152192 7542 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10818508 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 13 13174 0 4 0 0 5 3 20 0 15 0 53892184 11078152192 7542 33554432000 4194304 4196468 140735618252736 140265109055136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10818508 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892184 11078152192 7542 33554432000 4194304 4196468 140735618252736 140264907728112 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10818508 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11078152192 7542 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10818508 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 463 13174 0 4 0 0 5 3 20 0 15 0 53892187 11078152192 7542 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10818508 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892187 11078152192 7562 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10818508 memory=139753527678592 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) R 20686 20693 8919 0 -1 4202560 535 13174 0 4 0 0 5 3 20 0 15 0 53892187 11078152192 7562 33554432000 4194304 4196468 140735618252736 140265183479792 140266116414082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10818508 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11078152192 7562 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10818508 memory=139753527678592 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892187 11078152192 7562 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10818508 KiB
Current children cumulated memory: 30168 KiB
[startup+0.31054 s]*
/proc/loadavg: 3.80 4.38 3.78 4/218 20824
/proc/meminfo: memFree=24238500/32770624 swapFree=67070816/67108860
[pid=20693] ppid=20686 vsize=10819352 memory=47428 CPUtime=0.32 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 9810 13174 0 4 21 3 5 3 20 0 15 0 53892166 11079016448 11857 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2704838 11857 3082 1 0 2667149 0
[pid=20693/tid=20797] ppid=20686 vsize=10819352 memory=8390339637985935414 CPUtime=0.23 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 6373 13174 0 4 14 1 5 3 20 0 15 0 53892181 11079016448 11857 33554432000 4194304 4196468 140735618252736 140266088223488 140266100483422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 11857 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10819352 memory=344847 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 11857 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10819352 memory=5864637145672934504 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10819352 memory=3833186913019306039 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 2 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10819352 memory=4121550454269135537 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 2 13174 0 4 0 0 5 3 20 0 15 0 53892183 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10819352 memory=2560 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 13 13174 0 4 0 0 5 3 20 0 15 0 53892184 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265109055136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892184 11079016448 11857 33554432000 4194304 4196468 140735618252736 140264907728112 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11079016448 11857 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 517 13174 0 4 1 0 5 3 20 0 15 0 53892187 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 93 13174 0 4 1 0 5 3 20 0 15 0 53892187 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10819352 memory=139753527678592 CPUtime=0.12 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) R 20686 20693 8919 0 -1 4202560 615 13174 0 4 4 0 5 3 20 0 15 0 53892187 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265183479792 140266116424282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11079016448 11857 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10819352 memory=139753527678592 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892187 11079016448 11857 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 47428 KiB
[startup+0.700701 s]
/proc/loadavg: 3.80 4.38 3.78 5/218 20824
/proc/meminfo: memFree=24213692/32770624 swapFree=67070816/67108860
[pid=20693] ppid=20686 vsize=10819352 memory=74976 CPUtime=0.87 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 14899 13174 0 4 74 5 5 3 20 0 15 0 53892166 11079016448 18744 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2704838 18744 3235 1 0 2667149 0
[pid=20693/tid=20797] ppid=20686 vsize=10819352 memory=9177 CPUtime=0.59 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 10434 13174 0 4 48 3 5 3 20 0 15 0 53892181 11079016448 18744 33554432000 4194304 4196468 140735618252736 140266088223224 140266097966510 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10819352 memory=21522 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 18744 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 18744 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10819352 memory=279506807947504 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10819352 memory=662363397872623672 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 2 13174 0 4 0 0 5 3 20 0 15 0 53892182 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 5 13174 0 4 0 0 5 3 20 0 15 0 53892183 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 13 13174 0 4 0 0 5 3 20 0 15 0 53892184 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265109055136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892184 11079016448 18744 33554432000 4194304 4196468 140735618252736 140264907728112 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11079016448 18744 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10819352 memory=-6151450152353093507 CPUtime=0.14 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 913 13174 0 4 6 0 5 3 20 0 15 0 53892187 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10819352 memory=8330969454845486047 CPUtime=0.14 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 507 13174 0 4 6 0 5 3 20 0 15 0 53892187 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) S 20686 20693 8919 0 -1 1077944384 826 13174 0 4 12 0 5 3 20 0 15 0 53892187 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265183479792 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11079016448 18744 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10819352 memory=7680 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892187 11079016448 18744 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 74976 KiB
[startup+1.50075 s]
/proc/loadavg: 3.80 4.38 3.78 4/218 20824
/proc/meminfo: memFree=24135124/32770624 swapFree=67070816/67108860
[pid=20693] ppid=20686 vsize=10830156 memory=144572 CPUtime=2.58 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 22960 13174 0 4 241 9 5 3 20 0 15 0 53892166 11090079744 36143 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2707539 36143 3449 1 0 2669197 0
[pid=20693/tid=20797] ppid=20686 vsize=10830156 memory=8 CPUtime=1.32 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 15737 13174 0 4 118 6 5 3 20 0 15 0 53892181 11090079744 36143 33554432000 4194304 4196468 140735618252736 140266088227536 140266116424861 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10830156 memory=2964 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11090079744 36143 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10830156 memory=13496 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11090079744 36143 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10830156 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 1 13174 0 4 0 0 5 3 20 0 15 0 53892182 11090079744 36143 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10830156 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 2 13174 0 4 0 0 5 3 20 0 15 0 53892182 11090079744 36143 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 6 13174 0 4 0 0 5 3 20 0 15 0 53892183 11090079744 36143 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 13 13174 0 4 0 0 5 3 20 0 15 0 53892184 11090079744 36143 33554432000 4194304 4196468 140735618252736 140265109055136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 178439 13174 0 4 237183 61 5 3 20 0 15 0 53892181 11178180608 960709 33554432000 4194304 4196468 140735618252736 140266088238416 140265739385664 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10916192 memory=1460 CPUtime=9.16 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 21058 13174 0 4 838 70 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.17 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 13165 13174 0 4 840 69 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.16 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 21619 13174 0 4 836 72 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.13 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 21378 13174 0 4 836 69 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10916192 memory=2257 CPUtime=0.45 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 34751 13174 0 4 31 6 5 3 20 0 15 0 53892183 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 18 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265109055264 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 33 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960709 33554432000 4194304 4196468 140735618252736 140264907728128 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10916192 memory=3842836 CPUtime=7.05 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 70062 13174 0 4 690 7 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10916192 memory=3842836 CPUtime=7.29 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 59341 13174 0 4 717 4 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10916192 memory=279506808845424 CPUtime=2.92 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) S 20686 20693 8919 0 -1 1077944384 54297 13174 0 4 277 7 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265183479792 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10916192 memory=3842836 CPUtime=1.46 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 2440 13174 0 4 69 69 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 2427.7 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3842836 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.57 1.73 4/215 20921
/proc/meminfo: memFree=19635068/32770624 swapFree=67071992/67108860
[pid=20693] ppid=20686 vsize=10916192 memory=3842836 CPUtime=2487.91 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 481836 13174 0 4 248361 422 5 3 20 0 15 0 53892166 11178180608 960709 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2729048 960709 3532 1 0 2690701 0
[pid=20693/tid=20797] ppid=20686 vsize=10916192 memory=3842836 CPUtime=2432.47 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 180854 13174 0 4 243178 61 5 3 20 0 15 0 53892181 11178180608 960709 33554432000 4194304 4196468 140735618252736 140266088237288 140265729834564 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.2 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 21068 13174 0 4 842 70 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.2 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 13185 13174 0 4 843 69 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.2 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 21628 13174 0 4 840 72 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10916192 memory=3842836 CPUtime=9.17 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 21405 13174 0 4 840 69 5 3 20 0 15 0 53892182 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.45 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 34764 13174 0 4 31 6 5 3 20 0 15 0 53892183 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 18 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265109055264 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 33 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960709 33554432000 4194304 4196468 140735618252736 140264907728128 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10916192 memory=3842836 CPUtime=7.08 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 70387 13174 0 4 693 7 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10916192 memory=3842836 CPUtime=7.31 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 59357 13174 0 4 718 5 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10916192 memory=3842836 CPUtime=2.93 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) S 20686 20693 8919 0 -1 1077944384 54485 13174 0 4 277 8 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265183479792 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10916192 memory=3842836 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10916192 memory=6791534058613427641 CPUtime=1.49 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 2458 13174 0 4 71 70 5 3 20 0 15 0 53892187 11178180608 960709 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 2487.91 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3842836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.3 s]
/proc/loadavg: 1.50 1.55 1.72 4/215 20922
/proc/meminfo: memFree=19635320/32770624 swapFree=67071992/67108860
[pid=20693] ppid=20686 vsize=10916192 memory=3842856 CPUtime=2520.07 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 485245 13174 0 4 251576 423 5 3 20 0 15 0 53892166 11178180608 960714 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2729048 960714 3532 1 0 2690701 0
[pid=20693/tid=20797] ppid=20686 vsize=10916192 memory=6791534058613427641 CPUtime=2464.44 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 182333 13174 0 4 246374 62 5 3 20 0 15 0 53892181 11178180608 960714 33554432000 4194304 4196468 140735618252736 140266088237288 140265740674783 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10916192 memory=3842856 CPUtime=9.24 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 21133 13174 0 4 846 70 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10916192 memory=3468 CPUtime=9.24 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 13697 13174 0 4 847 69 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10916192 memory=3842856 CPUtime=9.24 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 21773 13174 0 4 844 72 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10916192 memory=3842856 CPUtime=9.21 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 21482 13174 0 4 844 69 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.45 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 34933 13174 0 4 31 6 5 3 20 0 15 0 53892183 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 18 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265109055264 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 33 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960714 33554432000 4194304 4196468 140735618252736 140264907728128 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10916192 memory=3842856 CPUtime=7.09 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 70873 13174 0 4 694 7 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10916192 memory=3842856 CPUtime=7.32 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 59456 13174 0 4 719 5 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10916192 memory=3842856 CPUtime=2.94 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) S 20686 20693 8919 0 -1 1077944384 54859 13174 0 4 278 8 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265183479792 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10916192 memory=1548 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10916192 memory=3842856 CPUtime=1.51 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 2461 13174 0 4 72 71 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3842856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.34 s]
# the end of solver process 20693 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.83 s, system=4.30009 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.3 s]
/proc/loadavg: 1.50 1.55 1.72 4/215 20922
/proc/meminfo: memFree=19635320/32770624 swapFree=67071992/67108860
[pid=20693] ppid=20686 vsize=10916192 memory=3842856 CPUtime=2520.07 cores=0,2,4,6
/proc/20693/stat : 20693 (java) S 20686 20693 8919 0 -1 1077944320 485245 13174 0 4 251576 423 5 3 20 0 15 0 53892166 11178180608 960714 33554432000 4194304 4196468 140735618252736 140735618235280 140266116402935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
/proc/20693/statm: 2729048 960714 3532 1 0 2690701 0
[pid=20693/tid=20797] ppid=20686 vsize=10916192 memory=6791534058613427641 CPUtime=2464.44 cores=0,2,4,6
/proc/20693/task/20797/stat : 20797 (java) R 20686 20693 8919 0 -1 4202560 182333 13174 0 4 246374 62 5 3 20 0 15 0 53892181 11178180608 960714 33554432000 4194304 4196468 140735618252736 140266088237288 140265740674783 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20801] ppid=20686 vsize=10916192 memory=3842856 CPUtime=9.24 cores=0,2,4,6
/proc/20693/task/20801/stat : 20801 (java) S 20686 20693 8919 0 -1 1077944384 21133 13174 0 4 846 70 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140266120645136 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20803] ppid=20686 vsize=10916192 memory=3468 CPUtime=9.24 cores=0,2,4,6
/proc/20693/task/20803/stat : 20803 (java) S 20686 20693 8919 0 -1 1077944384 13697 13174 0 4 847 69 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140266050402960 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20804] ppid=20686 vsize=10916192 memory=3842856 CPUtime=9.24 cores=0,2,4,6
/proc/20693/task/20804/stat : 20804 (java) S 20686 20693 8919 0 -1 1077944384 21773 13174 0 4 844 72 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265688328464 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20806] ppid=20686 vsize=10916192 memory=3842856 CPUtime=9.21 cores=0,2,4,6
/proc/20693/task/20806/stat : 20806 (java) S 20686 20693 8919 0 -1 1077944384 21482 13174 0 4 844 69 5 3 20 0 15 0 53892182 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265687275920 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20808] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.45 cores=0,2,4,6
/proc/20693/task/20808/stat : 20808 (java) S 20686 20693 8919 0 -1 1077944384 34933 13174 0 4 31 6 5 3 20 0 15 0 53892183 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265186638576 140266116414082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20810] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20810/stat : 20810 (java) S 20686 20693 8919 0 -1 1077944384 18 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265109055264 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20812] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20812/stat : 20812 (java) S 20686 20693 8919 0 -1 1077944384 33 13174 0 4 0 0 5 3 20 0 15 0 53892184 11178180608 960714 33554432000 4194304 4196468 140735618252736 140264907728128 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20816] ppid=20686 vsize=10916192 memory=3842856 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20816/stat : 20816 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140264667437520 140266116421531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20818] ppid=20686 vsize=10916192 memory=3842856 CPUtime=7.09 cores=0,2,4,6
/proc/20693/task/20818/stat : 20818 (java) S 20686 20693 8919 0 -1 1077944384 70873 13174 0 4 694 7 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265185585392 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20819] ppid=20686 vsize=10916192 memory=3842856 CPUtime=7.32 cores=0,2,4,6
/proc/20693/task/20819/stat : 20819 (java) S 20686 20693 8919 0 -1 1077944384 59456 13174 0 4 719 5 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265184532848 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20820] ppid=20686 vsize=10916192 memory=3842856 CPUtime=2.94 cores=0,2,4,6
/proc/20693/task/20820/stat : 20820 (java) S 20686 20693 8919 0 -1 1077944384 54859 13174 0 4 278 8 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265183479792 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20822] ppid=20686 vsize=10916192 memory=1548 CPUtime=0.08 cores=0,2,4,6
/proc/20693/task/20822/stat : 20822 (java) S 20686 20693 8919 0 -1 1077944384 3 13174 0 4 0 0 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140264633878880 140266116413141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
[pid=20693/tid=20824] ppid=20686 vsize=10916192 memory=3842856 CPUtime=1.51 cores=0,2,4,6
/proc/20693/task/20824/stat : 20824 (java) S 20686 20693 8919 0 -1 1077944384 2461 13174 0 4 72 71 5 3 20 0 15 0 53892187 11178180608 960714 33554432000 4194304 4196468 140735618252736 140265182428208 140266116414082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17924096 140735618259115 140735618262364 140735618262364 140735618265039 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3842856 KiB
Child status: 143
Real time (s): 2474.34
CPU time (s): 2520.13
CPU user time (s): 2515.83
CPU system time (s): 4.30009
CPU usage (%): 101.851
Max. virtual memory (cumulated for all children) (KiB): 10918904
Max. memory (cumulated for all children) (KiB): 3842856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.83
system time used= 4.30009
maximum resident set size= 3847088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499316
page faults= 4
swaps= 0
block input operations= 1576
block output operations= 3536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67548
involuntary context switches= 2839
# summary of solver processes directly reported to runsolver:
# pid: 20693
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.83
# total CPU system time (s): 4.30009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3762 second user time and 22.1194 second system time
The end