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: 63665 MiB (52629 MiB free)
memory of node 1: 64507 MiB (41931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526613-1751634728/watcher-4526613-1751634728 -o /tmp/evaluation-result-4526613-1751634728/solver-4526613-1751634728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751627986-88342 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526613-1751634728.wbo
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 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
solver pid=89933, runsolver pid=89930
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 5.04 4.98 4.84 8/339 89951
/proc/meminfo: memFree=96804064/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=18930384 memory=59428 CPUtime=0.13 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 6476 0 0 0 11 2 0 0 20 0 18 0 79151675 19384713216 14857 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4732596 14857 5328 1 0 547603 0
[pid=89933/tid=89935] ppid=89930 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 5066 0 0 0 6 1 0 0 20 0 18 0 79151676 19384713216 14857 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79151678 19384713216 14857 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=18930384 memory=55186957820777 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79151679 19384713216 14857 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59428 KiB
[startup+0.205807 s]*
/proc/loadavg: 5.04 4.98 4.84 9/339 89951
/proc/meminfo: memFree=96794172/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=18930384 memory=65664 CPUtime=0.32 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 6898 0 0 0 30 2 0 0 20 0 18 0 79151675 19384713216 16416 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4732596 16416 5456 1 0 547957 0
[pid=89933/tid=89935] ppid=89930 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 5385 0 0 0 16 2 0 0 20 0 18 0 79151676 19384713216 16416 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=18930384 memory=2697 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79151678 19384713216 16416 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79151679 19384713216 16416 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65664 KiB
[startup+0.305828 s]*
/proc/loadavg: 5.04 4.98 4.84 8/340 89952
/proc/meminfo: memFree=96771364/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=18996948 memory=72912 CPUtime=0.5 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 7168 0 0 0 47 3 0 0 20 0 19 0 79151675 19452874752 18228 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4749237 18228 5488 1 0 548445 0
[pid=89933/tid=89935] ppid=89930 vsize=18996948 memory=-6000919507099542375 CPUtime=0.25 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 5527 0 0 0 23 2 0 0 20 0 19 0 79151676 19452874752 18228 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79151678 19452874752 18228 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79151679 19452874752 18228 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 79151700 19452874752 18228 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72912 KiB
[startup+0.700236 s]
/proc/loadavg: 5.04 4.98 4.84 8/340 89952
/proc/meminfo: memFree=96718748/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=163096 CPUtime=1.26 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 11104 0 0 0 121 5 0 0 20 0 20 0 79151675 19521036288 40774 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 40774 5520 1 0 550493 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=18816 CPUtime=0.61 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 5575 0 0 0 58 3 0 0 20 0 20 0 79151676 19521036288 40774 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 40774 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 40774 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 40774 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163096 KiB
[startup+1.50021 s]
/proc/loadavg: 5.04 4.98 4.84 8/341 89953
/proc/meminfo: memFree=96666700/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=183244 CPUtime=2.85 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 19760 0 0 0 278 7 0 0 20 0 20 0 79151675 19521036288 45811 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 45811 5520 1 0 552471 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=10624 CPUtime=1.34 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 6127 0 0 0 130 4 0 0 20 0 20 0 79151676 19521036288 45811 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 45811 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 45811 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 45811 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183244 KiB
[startup+3.10575 s]
/proc/loadavg: 5.12 5.00 4.85 7/341 89953
/proc/meminfo: memFree=96143088/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=689456 CPUtime=5.24 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 22271 0 0 0 506 18 0 0 20 0 20 0 79151675 19521036288 172364 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 172364 5520 1 0 752994 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=10624 CPUtime=2.87 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 6848 0 0 0 274 13 0 0 20 0 20 0 79151676 19521036288 172364 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=-6000919507099542375 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 172364 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 172364 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 172364 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 689456 KiB
[startup+6.30022 s]
/proc/loadavg: 5.12 5.00 4.85 8/341 89953
/proc/meminfo: memFree=95692316/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=1137680 CPUtime=8.58 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 22874 0 0 0 832 26 0 0 20 0 20 0 79151675 19521036288 284420 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 284420 5520 1 0 752998 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 7353 0 0 0 580 19 0 0 20 0 20 0 79151676 19521036288 284420 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 284420 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 284420 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=187424 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 284420 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1137680 KiB
[startup+12.7002 s]
/proc/loadavg: 5.18 5.01 4.85 6/340 90019
/proc/meminfo: memFree=99571236/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=1813564 CPUtime=15.06 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 24555 0 0 0 1466 40 0 0 20 0 20 0 79151675 19521036288 453391 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 453391 5520 1 0 753003 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=187424 CPUtime=12.3 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 8481 0 0 0 1198 32 0 0 20 0 20 0 79151676 19521036288 453391 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 453391 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 453391 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=-6000919507099542375 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 453391 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 15.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1813564 KiB
[startup+25.5003 s]
/proc/loadavg: 5.00 4.98 4.84 5/341 90020
/proc/meminfo: memFree=97345232/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=1852276 CPUtime=28.16 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 31038 0 0 0 2775 41 0 0 20 0 20 0 79151675 19521036288 463069 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 463069 5520 1 0 753099 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=-6000919507099542375 CPUtime=24.83 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 10982 0 0 0 2451 32 0 0 20 0 20 0 79151676 19521036288 463069 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=1827928 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 463069 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=1827928 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 463069 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=-6000919507099542375 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 463069 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 28.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1852276 KiB
[startup+51.1058 s]
/proc/loadavg: 4.94 4.96 4.84 5/340 90021
/proc/meminfo: memFree=97169992/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=1899628 CPUtime=54.33 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 37350 0 0 0 5389 44 0 0 20 0 20 0 79151675 19521036288 474907 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 474907 5552 1 0 753099 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=1885268 CPUtime=49.88 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 13978 0 0 0 4955 33 0 0 20 0 20 0 79151676 19521036288 474907 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=1827928 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=93647776/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2915748 CPUtime=3181.07 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 122620 0 0 0 317947 160 0 0 20 0 20 0 79151675 19521036288 728937 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 728937 5552 1 0 754065 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=2915748 CPUtime=3130.95 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 68750 0 0 0 313049 46 0 0 20 0 20 0 79151676 19521036288 728937 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 728937 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=2915748 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1706 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 728937 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=2915748 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 728937 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3181.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2915748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.30 4.27 5/341 90247
/proc/meminfo: memFree=93645104/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2917844 CPUtime=3241.31 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 124022 0 0 0 323970 161 0 0 20 0 20 0 79151675 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 729461 5552 1 0 754065 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=2915748 CPUtime=3190.39 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 69295 0 0 0 318993 46 0 0 20 0 20 0 79151676 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=2915748 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=2915748 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1747 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=14444 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3241.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2917844 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.29 4.27 5/342 90252
/proc/meminfo: memFree=93644824/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2917844 CPUtime=3301.61 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 124111 0 0 0 329998 163 0 0 20 0 20 0 79151675 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 729461 5552 1 0 754065 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=2917844 CPUtime=3249.77 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 69324 0 0 0 324931 46 0 0 20 0 20 0 79151676 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=2917844 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=6452091030395969602 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1748 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3301.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2917844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.38 4.31 4.28 5/343 90259
/proc/meminfo: memFree=93453592/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2917844 CPUtime=3361.86 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 124998 0 0 0 336022 164 0 0 20 0 20 0 79151675 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 729461 5552 1 0 754065 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=4764 CPUtime=3309.14 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 70182 0 0 0 330867 47 0 0 20 0 20 0 79151676 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=2917844 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1748 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=2917844 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 729461 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3361.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2917844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.30 4.27 5/343 90261
/proc/meminfo: memFree=93354896/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2973388 CPUtime=3424.4 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 137094 0 0 0 342270 170 0 0 20 0 20 0 79151675 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 743347 5552 1 0 755092 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=4764 CPUtime=3368.41 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 72577 0 0 0 336794 47 0 0 20 0 20 0 79151676 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=2917844 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1772 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=2973388 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3424.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973388 KiB
[startup+3462.3 s]
/proc/loadavg: 3.67 4.13 4.22 4/318 90297
/proc/meminfo: memFree=97170012/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2973388 CPUtime=3484.65 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 139464 0 0 0 348294 171 0 0 20 0 20 0 79151675 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 743347 5552 1 0 755092 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=4764 CPUtime=3427.88 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 73967 0 0 0 342741 47 0 0 20 0 20 0 79151676 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=2917844 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=2973388 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1847 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=2973388 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 743347 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3484.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2973388 KiB
[startup+3522.3 s]
/proc/loadavg: 3.28 3.94 4.14 4/317 90299
/proc/meminfo: memFree=97153928/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2975180 CPUtime=3544.92 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 139943 0 0 0 354320 172 0 0 20 0 20 0 79151675 19521036288 743795 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 743795 5552 1 0 755092 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=2973388 CPUtime=3487.32 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 74431 0 0 0 348685 47 0 0 20 0 20 0 79151676 19521036288 743795 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=2973388 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 743795 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=14444 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1847 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 743795 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=2975180 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 743795 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3544.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2975180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3575.2 s]
/proc/loadavg: 3.22 3.81 4.08 4/316 90301
/proc/meminfo: memFree=97141972/131249988 swapFree=33010160/33010684
[pid=89933] ppid=89930 vsize=19063512 memory=2979404 CPUtime=3600.06 cores=0,2
/proc/89933/stat : 89933 (java) S 89930 89933 88332 0 -1 4194304 144367 0 0 0 359830 176 0 0 20 0 20 0 79151675 19521036288 744851 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
/proc/89933/statm: 4765878 744851 5552 1 0 755092 0
[pid=89933/tid=89935] ppid=89930 vsize=19063512 memory=10624 CPUtime=3539.75 cores=0,2
/proc/89933/task/89935/stat : 89935 (java) R 89930 89933 88332 0 -1 4194368 76513 0 0 0 353928 47 0 0 20 0 20 0 79151676 19521036288 744851 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89944] ppid=89930 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/89933/task/89944/stat : 89944 (Finalizer) S 89930 89933 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79151678 19521036288 744851 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89951] ppid=89930 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/89933/task/89951/stat : 89951 (Common-Cleaner) S 89930 89933 88332 0 -1 4194368 1965 0 0 0 0 0 0 0 20 0 20 0 79151679 19521036288 744851 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
[pid=89933/tid=89952] ppid=89930 vsize=19063512 memory=2979404 CPUtime=0 cores=0,2
/proc/89933/task/89952/stat : 89952 (Timer-0) S 89930 89933 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79151700 19521036288 744851 18446744073709551615 94769180196864 94769180200560 140722006976624 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94769180208376 94769180209168 94769211928576 140722006985084 140722006985188 140722006985188 140722006990792 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2979404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3575.28 s]
# the end of solver process 89933 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.44 s, system=1.7785 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3575.28
CPU time (s): 3600.22
CPU user time (s): 3598.44
CPU system time (s): 1.7785
CPU usage (%): 100.697
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2979404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.44
system time used= 1.7785
maximum resident set size= 2980044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138048
involuntary context switches= 12972
# summary of solver processes directly reported to runsolver:
# pid: 89933
# total CPU time (s): 3600.22
# total CPU user time (s): 3598.44
# total CPU system time (s): 1.7785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9292 second user time and 17.6191 second system time
The end