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: 63968 MiB (62244 MiB free)
memory of node 1: 64473 MiB (63179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457623-1721865098/watcher-4457623-1721865098 -o /tmp/evaluation-result-4457623-1721865098/solver-4457623-1721865098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721865097-264549 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4457623-1721865098.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=264773, runsolver pid=264770
[startup+0.101009 s]*
/proc/loadavg: 0.70 0.23 0.13 7/332 264819
/proc/meminfo: memFree=128346144/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=18975048 memory=63340 CPUtime=0.13 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 7230 0 0 0 12 1 0 0 20 0 18 0 23032627 19430449152 15835 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4743762 15835 5687 1 0 549357 0
[pid=264773/tid=264775] ppid=264770 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 1078198336 5760 0 0 0 8 1 0 0 20 0 18 0 23032628 19430449152 15835 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=18975048 memory=1991471 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23032630 19430449152 15835 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23032631 19430449152 15835 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63340 KiB
[startup+0.210613 s]*
/proc/loadavg: 0.70 0.23 0.13 11/333 264820
/proc/meminfo: memFree=128308316/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19041612 memory=70436 CPUtime=0.34 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 7883 0 0 0 32 2 0 0 20 0 19 0 23032627 19498610688 17609 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4760403 17609 5877 1 0 550008 0
[pid=264773/tid=264775] ppid=264770 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 6136 0 0 0 17 1 0 0 20 0 19 0 23032628 19498610688 17609 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19041612 memory=1991471 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23032630 19498610688 17609 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19041612 memory=15823295995971300 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23032631 19498610688 17609 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23032647 19498610688 17609 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70436 KiB
[startup+0.306613 s]*
/proc/loadavg: 0.70 0.23 0.13 11/334 264821
/proc/meminfo: memFree=128274592/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19041612 memory=87336 CPUtime=0.52 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 9264 0 0 0 50 2 0 0 20 0 19 0 23032627 19498610688 21834 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4760403 21834 5877 1 0 550617 0
[pid=264773/tid=264775] ppid=264770 vsize=19041612 memory=-8670664482673631932 CPUtime=0.28 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 6164 0 0 0 26 2 0 0 20 0 19 0 23032628 19498610688 21834 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23032630 19498610688 21834 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23032631 19498610688 21834 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23032647 19498610688 21834 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87336 KiB
[startup+0.700615 s]
/proc/loadavg: 0.70 0.23 0.13 11/334 264821
/proc/meminfo: memFree=128152888/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=172912 CPUtime=1.27 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 13029 0 0 0 123 4 0 0 20 0 20 0 23032627 19566772224 43228 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 43228 5893 1 0 553123 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=76112 CPUtime=0.64 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 6209 0 0 0 61 3 0 0 20 0 20 0 23032628 19566772224 43228 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 43228 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 43228 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=25588 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 43228 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172912 KiB
[startup+1.50061 s]
/proc/loadavg: 0.70 0.23 0.13 11/337 264824
/proc/meminfo: memFree=127943152/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=183696 CPUtime=2.85 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 19350 0 0 0 279 6 0 0 20 0 20 0 23032627 19566772224 45924 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 45924 5909 1 0 554073 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=12936 CPUtime=1.39 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 6496 0 0 0 136 3 0 0 20 0 20 0 23032628 19566772224 45924 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 45924 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 45924 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=25588 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 45924 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183696 KiB
[startup+3.10601 s]
/proc/loadavg: 0.70 0.23 0.13 5/337 264824
/proc/meminfo: memFree=127206368/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=425024 CPUtime=5.56 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 23884 0 0 0 544 12 0 0 20 0 20 0 23032627 19566772224 106256 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 106256 5941 1 0 661661 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=0 CPUtime=2.94 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 6990 0 0 0 286 8 0 0 20 0 20 0 23032628 19566772224 106256 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=-9175630590892548796 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 106256 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 106256 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 106256 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 425024 KiB
[startup+6.30028 s]
/proc/loadavg: 0.97 0.29 0.15 5/337 264824
/proc/meminfo: memFree=125819744/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=790432 CPUtime=8.78 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 24151 0 0 0 858 20 0 0 20 0 20 0 23032627 19566772224 197608 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 197608 5941 1 0 661674 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=2284 CPUtime=6.07 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 7176 0 0 0 592 15 0 0 20 0 20 0 23032628 19566772224 197608 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 197608 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 197608 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 197608 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 790432 KiB
[startup+12.7003 s]
/proc/loadavg: 1.21 0.35 0.17 5/337 264826
/proc/meminfo: memFree=124125160/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=805168 CPUtime=15.2 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 26759 0 0 0 1499 21 0 0 20 0 20 0 23032627 19566772224 201292 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 201292 5941 1 0 661674 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=792484 CPUtime=12.35 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 8041 0 0 0 1220 15 0 0 20 0 20 0 23032628 19566772224 201292 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 201292 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=76112 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 201292 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 201292 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 805168 KiB
[startup+25.5003 s]
/proc/loadavg: 1.90 0.55 0.24 5/337 264827
/proc/meminfo: memFree=123352600/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=950652 CPUtime=28.08 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 31134 0 0 0 2783 25 0 0 20 0 20 0 23032627 19566772224 237663 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 237663 5941 1 0 661676 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=0 CPUtime=24.91 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 9456 0 0 0 2475 16 0 0 20 0 20 0 23032628 19566772224 237663 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 237663 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 237663 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 237663 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 28.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 950652 KiB
[startup+51.1061 s]
/proc/loadavg: 2.74 0.86 0.35 5/337 264832
/proc/meminfo: memFree=122087000/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=1712536 CPUtime=53.8 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 36517 0 0 0 5339 41 0 0 20 0 20 0 23032627 19566772224 428134 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 428134 5941 1 0 661680 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.19 4.24 4.16 5/334 266576
/proc/meminfo: memFree=111810796/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4097536 CPUtime=3239.92 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 520646 0 0 0 323722 270 0 0 20 0 20 0 23032627 19566772224 1024384 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1024384 5969 1 0 1038103 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=3955996 CPUtime=3131.55 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 155103 0 0 0 313081 74 0 0 20 0 20 0 23032628 19566772224 1024384 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=4030876 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1024384 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=4030876 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3173 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1024384 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1024384 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3239.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4097536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.26 4.17 5/334 266586
/proc/meminfo: memFree=111584656/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4155984 CPUtime=3302.38 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 538977 0 0 0 329961 277 0 0 20 0 20 0 23032627 19566772224 1038996 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1038996 5969 1 0 1052740 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=20256 CPUtime=3190.98 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 158827 0 0 0 319022 76 0 0 20 0 20 0 23032628 19566772224 1038996 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=-9175630590892548796 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1038996 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=4097728 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3219 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1038996 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=4155984 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1038996 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3302.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4155984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.16 5/331 266596
/proc/meminfo: memFree=111581960/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4156136 CPUtime=3362.39 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 543631 0 0 0 335960 279 0 0 20 0 20 0 23032627 19566772224 1039034 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1039034 5969 1 0 1052740 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=12936 CPUtime=3250.68 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 161258 0 0 0 324991 77 0 0 20 0 20 0 23032628 19566772224 1039034 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=4155984 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1039034 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3315 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1039034 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=76112 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1039034 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3362.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4156136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.22 4.17 5/331 266606
/proc/meminfo: memFree=111371792/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4206120 CPUtime=3424.86 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 557655 0 0 0 342202 284 0 0 20 0 20 0 23032627 19566772224 1051530 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1051530 5969 1 0 1065272 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=4156136 CPUtime=3310.11 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 162124 0 0 0 330933 78 0 0 20 0 20 0 23032628 19566772224 1051530 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=4156200 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1051530 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=4206120 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3315 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1051530 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=4206120 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1051530 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3424.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4206120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.23 4.17 6/331 266617
/proc/meminfo: memFree=111045664/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4281216 CPUtime=3487.4 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 574924 0 0 0 348451 289 0 0 20 0 20 0 23032627 19566772224 1070304 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1070304 5969 1 0 1084071 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=76112 CPUtime=3369.8 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 166304 0 0 0 336900 80 0 0 20 0 20 0 23032628 19566772224 1070304 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=4206120 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1070304 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=16120 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3360 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1070304 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1070304 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3487.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4281216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.26 4.19 5/331 266627
/proc/meminfo: memFree=111003440/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4322824 CPUtime=3549.98 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 576841 0 0 0 354707 291 0 0 20 0 20 0 23032627 19566772224 1080706 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1080706 5969 1 0 1094517 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=4322824 CPUtime=3429.38 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 166849 0 0 0 342857 81 0 0 20 0 20 0 23032628 19566772224 1080706 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=4322824 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1080706 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=4322824 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3360 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1080706 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=4322824 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1080706 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3549.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4322824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3511.01 s]*
/proc/loadavg: 4.37 4.28 4.20 6/331 266636
/proc/meminfo: memFree=110735388/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19108176 memory=4322996 CPUtime=3600.12 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 586747 0 0 0 359718 294 0 0 20 0 20 0 23032627 19566772224 1080749 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4777044 1080749 5969 1 0 1094517 0
[pid=264773/tid=264775] ppid=264770 vsize=19108176 memory=-8670664482673631932 CPUtime=3477.82 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) R 264770 264773 264537 0 -1 4194368 170589 0 0 0 347701 81 0 0 20 0 20 0 23032628 19566772224 1080749 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19108176 memory=2688 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23032630 19566772224 1080749 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19108176 memory=76112 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3479 0 0 0 0 0 0 0 20 0 20 0 23032631 19566772224 1080749 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264820] ppid=264770 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/264773/task/264820/stat : 264820 (Timer-0) S 264770 264773 264537 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23032647 19566772224 1080749 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4322996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3511.13 s]
# the end of solver process 264773 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.38 s, system=2.96618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3511.11 s]
/proc/loadavg: 4.37 4.28 4.20 6/331 266636
/proc/meminfo: memFree=110735388/131524600 swapFree=131056028/131071996
[pid=264773] ppid=264770 vsize=19307868 memory=4323536 CPUtime=3600.32 cores=1,3
/proc/264773/stat : 264773 (java) S 264770 264773 264537 0 -1 1077936128 589323 0 0 0 359738 294 0 0 20 0 17 0 23032627 19771256832 1080884 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
/proc/264773/statm: 4826967 1080884 5968 1 0 1095436 0
[pid=264773/tid=264775] ppid=264770 vsize=19307868 memory=4322824 CPUtime=3477.89 cores=1,3
/proc/264773/task/264775/stat : 264775 (java) S 264770 264773 264537 0 -1 1077936192 170591 0 0 0 347708 81 0 0 20 0 17 0 23032628 19771256832 1080884 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264789] ppid=264770 vsize=19307868 memory=12936 CPUtime=0 cores=1,3
/proc/264773/task/264789/stat : 264789 (Finalizer) S 264770 264773 264537 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 17 0 23032630 19771256832 1080884 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
[pid=264773/tid=264798] ppid=264770 vsize=19307868 memory=4322824 CPUtime=0 cores=1,3
/proc/264773/task/264798/stat : 264798 (Common-Cleaner) S 264770 264773 264537 0 -1 1077936192 3479 0 0 0 0 0 0 0 20 0 17 0 23032631 19771256832 1080884 134679101440 93944607150080 93944607153776 140723554486736 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93944607161592 93944607162384 93944611418112 140723554489328 140723554489441 140723554489441 140723554496456 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4323536 KiB
Child status: 143
Real time (s): 3511.13
CPU time (s): 3600.35
CPU user time (s): 3597.38
CPU system time (s): 2.96618
CPU usage (%): 102.541
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4323536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.38
system time used= 2.96617
maximum resident set size= 4324412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115947
involuntary context switches= 20101
# summary of solver processes directly reported to runsolver:
# pid: 264773
# total CPU time (s): 3600.35
# total CPU user time (s): 3597.38
# total CPU system time (s): 2.96618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18436 second user time and 18.8403 second system time
The end