runsolver version 3.4.2 (svn: 4680) 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: 63837 MiB (57525 MiB free)
memory of node 1: 64465 MiB (52597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507961-1751511069/watcher-4507961-1751511069 -o /tmp/evaluation-result-4507961-1751511069/solver-4507961-1751511069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751503801-80760 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507961-1751511069 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4507961-1751511069.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81692, runsolver pid=81689
[startup+0.10007 s]*
/proc/loadavg: 4.16 4.15 4.17 7/306 81713
/proc/meminfo: memFree=112751176/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=18930384 memory=48516 CPUtime=0.12 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 5792 0 0 0 9 3 0 0 20 0 18 0 66786055 19384713216 12129 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4732596 12129 5341 1 0 547003 0
[pid=81692/tid=81694] ppid=81689 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 4693 0 0 0 5 2 0 0 20 0 18 0 66786057 19384713216 12129 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=18930384 memory=215637836228 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66786061 19384713216 12129 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=18930384 memory=25961 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66786062 19384713216 12129 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48516 KiB
[startup+0.211731 s]*
/proc/loadavg: 4.16 4.15 4.17 6/306 81716
/proc/meminfo: memFree=112746136/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=18930384 memory=55400 CPUtime=0.29 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 6490 0 0 0 25 4 0 0 20 0 18 0 66786055 19384713216 13850 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4732596 13850 5341 1 0 547571 0
[pid=81692/tid=81694] ppid=81689 vsize=18930384 memory=4026784777 CPUtime=0.18 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) S 81689 81692 80750 0 -1 4194368 5002 0 0 0 15 3 0 0 20 0 18 0 66786057 19384713216 13850 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=18930384 memory=211342852430 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66786061 19384713216 13850 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=18930384 memory=62887834182043 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66786062 19384713216 13850 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55400 KiB
[startup+0.31176 s]*
/proc/loadavg: 4.16 4.15 4.17 5/304 81722
/proc/meminfo: memFree=112741544/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=18930384 memory=58556 CPUtime=0.42 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 6767 0 0 0 38 4 0 0 20 0 18 0 66786055 19384713216 14639 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4732596 14639 5341 1 0 547769 0
[pid=81692/tid=81694] ppid=81689 vsize=18930384 memory=-6000919468361149287 CPUtime=0.26 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) S 81689 81692 80750 0 -1 4194368 5183 0 0 0 23 3 0 0 20 0 18 0 66786057 19384713216 14639 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66786061 19384713216 14639 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66786062 19384713216 14639 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58556 KiB
[startup+0.700293 s]
/proc/loadavg: 4.16 4.15 4.17 5/304 81727
/proc/meminfo: memFree=113450752/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=18930384 memory=121640 CPUtime=1.09 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 8576 0 0 0 103 6 0 0 20 0 18 0 66786055 19384713216 30410 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4732596 30410 5437 1 0 548930 0
[pid=81692/tid=81694] ppid=81689 vsize=18930384 memory=14208 CPUtime=0.6 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 5323 0 0 0 56 4 0 0 20 0 18 0 66786057 19384713216 30410 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66786061 19384713216 30410 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=18930384 memory=3328 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66786062 19384713216 30410 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 121640 KiB
[startup+1.50029 s]
/proc/loadavg: 4.16 4.15 4.17 9/328 81760
/proc/meminfo: memFree=113330832/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=184072 CPUtime=2.66 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 23227 0 0 0 256 10 0 0 20 0 20 0 66786055 19521036288 46018 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 46018 5533 1 0 555596 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=0 CPUtime=1.3 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 5915 0 0 0 125 5 0 0 20 0 20 0 66786057 19521036288 46018 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 46018 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 46018 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=33 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 46018 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184072 KiB
[startup+3.10584 s]
/proc/loadavg: 4.16 4.15 4.17 7/330 81762
/proc/meminfo: memFree=113180984/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=194392 CPUtime=5.84 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 26835 0 0 0 572 12 0 0 20 0 20 0 66786055 19521036288 48598 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 48598 5533 1 0 555630 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=11264 CPUtime=2.82 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 6955 0 0 0 275 7 0 0 20 0 20 0 66786057 19521036288 48598 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 48598 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 48598 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=171892 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 48598 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194392 KiB
[startup+6.30038 s]
/proc/loadavg: 4.31 4.18 4.18 5/330 81762
/proc/meminfo: memFree=112922576/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=387864 CPUtime=10.42 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 27356 0 0 0 1023 19 0 0 20 0 20 0 66786055 19521036288 96966 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 96966 5565 1 0 555657 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 7173 0 0 0 586 13 0 0 20 0 20 0 66786057 19521036288 96966 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 96966 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=2867565960586600 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 96966 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=184072 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 96966 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 10.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 387864 KiB
[startup+12.7004 s]
/proc/loadavg: 4.29 4.18 4.18 6/306 81791
/proc/meminfo: memFree=114599188/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1119104 CPUtime=16.94 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 32135 0 0 0 1656 38 0 0 20 0 20 0 66786055 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 279776 5565 1 0 555673 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=184072 CPUtime=12.31 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 8581 0 0 0 1201 30 0 0 20 0 20 0 66786057 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=1119104 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 16.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1119104 KiB
[startup+25.5004 s]
/proc/loadavg: 4.43 4.22 4.19 5/330 81897
/proc/meminfo: memFree=126011028/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1119104 CPUtime=29.72 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 33477 0 0 0 2929 43 0 0 20 0 20 0 66786055 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 279776 5565 1 0 555673 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1119104 CPUtime=25.05 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 9707 0 0 0 2470 35 0 0 20 0 20 0 66786057 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=1075992 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=1119104 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 279776 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 29.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1119104 KiB
[startup+51.1134 s]
/proc/loadavg: 4.40 4.23 4.19 5/331 81898
/proc/meminfo: memFree=124020876/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1344424 CPUtime=55.18 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 36824 0 0 0 5464 54 0 0 20 0 20 0 66786055 19521036288 336106 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 336106 5565 1 0 555673 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1344424 CPUtime=50.36 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 10865 0 0 0 4992 44 0 0 20 0 20 0 66786057 19521036288 336106 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=1260424 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 336106 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 336106 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
################
# More data... #
################
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3205.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1733992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/331 82074
/proc/meminfo: memFree=107897320/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1733992 CPUtime=3265.73 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 75820 0 0 0 326047 526 0 0 20 0 20 0 66786055 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 433498 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1676592 CPUtime=3253.38 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 33576 0 0 0 324996 342 0 0 20 0 20 0 66786057 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=14208 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1772 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3265.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1733992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/331 82076
/proc/meminfo: memFree=107763068/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1733992 CPUtime=3325.61 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 76354 0 0 0 332027 534 0 0 20 0 20 0 66786055 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 433498 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1676592 CPUtime=3313.21 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 34072 0 0 0 330974 347 0 0 20 0 20 0 66786057 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 433498 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3325.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1733992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/331 82079
/proc/meminfo: memFree=107628992/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1766760 CPUtime=3385.51 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 77085 0 0 0 338009 542 0 0 20 0 20 0 66786055 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 441690 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1676592 CPUtime=3372.94 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 34162 0 0 0 336942 352 0 0 20 0 20 0 66786057 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=1766760 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3385.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1766760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.78 4.32 4.16 4/331 82086
/proc/meminfo: memFree=107519944/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1766760 CPUtime=3445.4 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 77327 0 0 0 343991 549 0 0 20 0 20 0 66786055 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 441690 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1676592 CPUtime=3432.78 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 34399 0 0 0 342923 355 0 0 20 0 20 0 66786057 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=1733992 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=-6000919468361149287 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3445.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1766760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.68 4.37 4.19 5/331 82088
/proc/meminfo: memFree=107413704/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1766760 CPUtime=3505.29 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 78698 0 0 0 349972 557 0 0 20 0 20 0 66786055 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 441690 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1676592 CPUtime=3492.54 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 34970 0 0 0 348894 360 0 0 20 0 20 0 66786057 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=-6000919468361149287 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=-4421386496164325727 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1804 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=1766760 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3505.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1766760 KiB
[startup+3582.3 s]
/proc/loadavg: 4.72 4.45 4.23 5/331 82091
/proc/meminfo: memFree=107297696/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1766760 CPUtime=3564.42 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 79353 0 0 0 355878 564 0 0 20 0 20 0 66786055 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 441690 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=1676592 CPUtime=3551.64 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 35559 0 0 0 354800 364 0 0 20 0 20 0 66786057 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=1766760 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=1766760 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1863 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=14468 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3564.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1766760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3618 s]*
/proc/loadavg: 4.48 4.42 4.22 5/331 82091
/proc/meminfo: memFree=107235568/131382112 swapFree=33005784/33010684
[pid=81692] ppid=81689 vsize=19063512 memory=1766760 CPUtime=3600.07 cores=0,2
/proc/81692/stat : 81692 (java) S 81689 81692 80750 0 -1 4194304 79769 0 0 0 359435 572 0 0 20 0 20 0 66786055 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
/proc/81692/statm: 4765878 441690 5565 1 0 555689 0
[pid=81692/tid=81694] ppid=81689 vsize=19063512 memory=-6000919489852631911 CPUtime=3587.24 cores=0,2
/proc/81692/task/81694/stat : 81694 (java) R 81689 81692 80750 0 -1 4194368 35857 0 0 0 358356 368 0 0 20 0 20 0 66786057 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81703] ppid=81689 vsize=19063512 memory=6452091047626039873 CPUtime=0 cores=0,2
/proc/81692/task/81703/stat : 81703 (Finalizer) S 81689 81692 80750 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66786061 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81711] ppid=81689 vsize=19063512 memory=7112 CPUtime=0 cores=0,2
/proc/81692/task/81711/stat : 81711 (Common-Cleaner) S 81689 81692 80750 0 -1 4194368 1960 0 0 0 0 0 0 0 20 0 20 0 66786062 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
[pid=81692/tid=81760] ppid=81689 vsize=19063512 memory=7872 CPUtime=0 cores=0,2
/proc/81692/task/81760/stat : 81760 (Timer-0) S 81689 81692 80750 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66786152 19521036288 441690 18446744073709551615 93967402901504 93967402905200 140724963592336 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93967402913016 93967402913808 93967425118208 140724963600688 140724963600870 140724963600870 140724963606472 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1766760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3618.23 s]
# the end of solver process 81692 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.56 s, system=5.74041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3618.2 s]*
/proc/loadavg: 4.48 4.42 4.22 5/313 82094
/proc/meminfo: memFree=108964052/131382112 swapFree=33005784/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3618.23
CPU time (s): 3600.3
CPU user time (s): 3594.56
CPU system time (s): 5.74041
CPU usage (%): 99.5044
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1767656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.56
system time used= 5.74041
maximum resident set size= 1767656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107007
involuntary context switches= 9941
# summary of solver processes directly reported to runsolver:
# pid: 81692
# total CPU time (s): 3600.3
# total CPU user time (s): 3594.56
# total CPU system time (s): 5.74041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9787 second user time and 37.5075 second system time
The end