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 (57223 MiB free)
memory of node 1: 64507 MiB (45420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526289-1751631595/watcher-4526289-1751631595 -o /tmp/evaluation-result-4526289-1751631595/solver-4526289-1751631595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751627986-88343 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526289-1751631595.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=89335, runsolver pid=89332
[startup+0.100058 s]*
/proc/loadavg: 4.64 4.21 4.09 4/271 89353
/proc/meminfo: memFree=105074072/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=18930384 memory=55408 CPUtime=0.1 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 6486 0 0 0 9 1 0 0 20 0 18 0 78838385 19384713216 13852 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4732596 13852 5342 1 0 547558 0
[pid=89335/tid=89337] ppid=89332 vsize=18930384 memory=4026532379 CPUtime=0.07 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 5016 0 0 0 6 1 0 0 20 0 18 0 78838388 19384713216 13852 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=18930384 memory=211342852430 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78838390 19384713216 13852 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=18930384 memory=61779732620133 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78838390 19384713216 13852 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55408 KiB
[startup+0.206089 s]*
/proc/loadavg: 4.64 4.21 4.09 5/271 89353
/proc/meminfo: memFree=105062856/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=18930384 memory=66252 CPUtime=0.3 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 7078 0 0 0 28 2 0 0 20 0 18 0 78838385 19384713216 16563 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4732596 16563 5438 1 0 547955 0
[pid=89335/tid=89337] ppid=89332 vsize=18930384 memory=4026824420 CPUtime=0.17 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 5384 0 0 0 16 1 0 0 20 0 18 0 78838388 19384713216 16563 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=18930384 memory=2683 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78838390 19384713216 16563 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=18930384 memory=60680220967902 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78838390 19384713216 16563 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66252 KiB
[startup+0.306 s]*
/proc/loadavg: 4.64 4.21 4.09 4/273 89357
/proc/meminfo: memFree=105028324/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=18930384 memory=103368 CPUtime=0.49 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 8601 0 0 0 46 3 0 0 20 0 18 0 78838385 19384713216 25842 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4732596 25842 5438 1 0 548998 0
[pid=89335/tid=89337] ppid=89332 vsize=18930384 memory=-7387154158014069949 CPUtime=0.27 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 5403 0 0 0 25 2 0 0 20 0 18 0 78838388 19384713216 25842 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78838390 19384713216 25842 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78838390 19384713216 25842 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103368 KiB
[startup+0.700237 s]
/proc/loadavg: 4.64 4.21 4.09 3/275 89368
/proc/meminfo: memFree=105008728/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=18996948 memory=131976 CPUtime=1.22 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 10328 0 0 0 115 7 0 0 20 0 19 0 78838385 19452874752 33113 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4749237 33113 5470 1 0 550080 0
[pid=89335/tid=89337] ppid=89332 vsize=18996948 memory=18816 CPUtime=0.59 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 5546 0 0 0 55 4 0 0 20 0 19 0 78838388 19452874752 32774 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78838390 19452874752 32774 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78838390 19452874752 32774 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78838427 19452874752 32774 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131976 KiB
[startup+1.50023 s]
/proc/loadavg: 4.64 4.21 4.09 9/314 89485
/proc/meminfo: memFree=104981032/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=177332 CPUtime=2.78 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 17961 0 0 0 266 12 0 0 20 0 20 0 78838385 19521036288 44333 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 44333 5502 1 0 552100 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=0 CPUtime=1.31 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 5863 0 0 0 124 7 0 0 20 0 20 0 78838388 19521036288 44333 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 44333 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 44333 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 44333 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177332 KiB
[startup+3.1061 s]
/proc/loadavg: 4.64 4.21 4.09 6/342 89523
/proc/meminfo: memFree=103844804/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=353188 CPUtime=5.28 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 20444 0 0 0 512 16 0 0 20 0 20 0 78838385 19521036288 88297 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 88297 5502 1 0 658620 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=10624 CPUtime=2.83 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 6280 0 0 0 273 10 0 0 20 0 20 0 78838388 19521036288 88297 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=-6000919498510000999 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 88297 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 88297 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 88297 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 353188 KiB
[startup+6.30025 s]
/proc/loadavg: 5.07 4.31 4.12 4/319 89533
/proc/meminfo: memFree=102176248/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=1197040 CPUtime=8.81 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 21423 0 0 0 849 32 0 0 20 0 20 0 78838385 19521036288 299260 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 299260 5502 1 0 658632 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=3200 CPUtime=6.01 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 7071 0 0 0 575 26 0 0 20 0 20 0 78838388 19521036288 299260 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=1008624 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 299260 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 299260 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 299260 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 8.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1197040 KiB
[startup+12.7002 s]
/proc/loadavg: 5.07 4.32 4.13 5/342 89589
/proc/meminfo: memFree=99592172/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=1587988 CPUtime=15.31 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 24851 0 0 0 1491 40 0 0 20 0 20 0 78838385 19521036288 396997 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 396997 5502 1 0 658639 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=14444 CPUtime=12.28 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 8303 0 0 0 1195 33 0 0 20 0 20 0 78838388 19521036288 396997 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=1587988 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 396997 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 396997 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 396997 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 15.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1587988 KiB
[startup+25.5002 s]
/proc/loadavg: 4.91 4.32 4.13 5/342 89589
/proc/meminfo: memFree=97346316/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=1645920 CPUtime=29.15 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 39778 0 0 0 2870 45 0 0 20 0 20 0 78838385 19521036288 411480 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 411480 5502 1 0 665136 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=133232 CPUtime=24.86 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 10021 0 0 0 2452 34 0 0 20 0 20 0 78838388 19521036288 411480 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 411480 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=1671632 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 411480 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=-6000919498510000999 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 411480 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1645920 KiB
[startup+51.1061 s]
/proc/loadavg: 4.60 4.29 4.13 5/342 89590
/proc/meminfo: memFree=97068504/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=1738676 CPUtime=56 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 51491 0 0 0 5550 50 0 0 20 0 20 0 78838385 19521036288 434669 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 434669 5502 1 0 665154 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=1612292 CPUtime=49.8 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 12409 0 0 0 4946 34 0 0 20 0 20 0 78838388 19521036288 434669 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=1726360 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 434669 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+2802.3 s]
/proc/loadavg: 4.91 4.93 4.78 5/340 89739
/proc/meminfo: memFree=88169784/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4157116 CPUtime=3157.45 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 166595 0 0 0 315251 494 0 0 20 0 20 0 78838385 19521036288 1039279 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1039279 5566 1 0 1054439 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=4157116 CPUtime=2766.64 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 69475 0 0 0 276579 85 0 0 20 0 20 0 78838388 19521036288 1039279 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=4157116 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1039279 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=4157116 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1194 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1039279 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=-6000919498510000999 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1039279 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3157.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4157116 KiB
[startup+2862.3 s]
/proc/loadavg: 4.63 4.85 4.76 6/340 89740
/proc/meminfo: memFree=87517624/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4665864 CPUtime=3232.27 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 168315 0 0 0 322707 520 0 0 20 0 20 0 78838385 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1166466 5566 1 0 1181855 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=10624 CPUtime=2825.73 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 69799 0 0 0 282477 96 0 0 20 0 20 0 78838388 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=4157116 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=4157116 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1195 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3232.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4665864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.83 4.88 4.78 6/340 89743
/proc/meminfo: memFree=87471744/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4665864 CPUtime=3309.06 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 169290 0 0 0 330370 536 0 0 20 0 20 0 78838385 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1166466 5566 1 0 1181855 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=4157116 CPUtime=2884.98 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 70696 0 0 0 288402 96 0 0 20 0 20 0 78838388 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=4157116 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1195 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3309.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4665864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.82 4.88 4.79 6/341 89746
/proc/meminfo: memFree=87430088/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4665864 CPUtime=3388.47 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 173623 0 0 0 338293 554 0 0 20 0 20 0 78838385 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1166466 5566 1 0 1181855 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=14444 CPUtime=2943.94 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 72865 0 0 0 294297 97 0 0 20 0 20 0 78838388 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1246 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3388.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4665864 KiB
[startup+3042.3 s]
/proc/loadavg: 5.10 4.95 4.82 6/340 89749
/proc/meminfo: memFree=87370496/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4665864 CPUtime=3471.94 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 176654 0 0 0 346619 575 0 0 20 0 20 0 78838385 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1166466 5566 1 0 1181855 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=14444 CPUtime=3002.9 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 74805 0 0 0 300192 98 0 0 20 0 20 0 78838388 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=14444 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1268 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=4665864 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1166466 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3471.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4665864 KiB
[startup+3102.3 s]
/proc/loadavg: 5.12 4.99 4.84 5/340 89752
/proc/meminfo: memFree=87271268/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4707580 CPUtime=3549.43 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 177094 0 0 0 354349 594 0 0 20 0 20 0 78838385 19521036288 1176895 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1176895 5566 1 0 1192299 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=14444 CPUtime=3062.08 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 74883 0 0 0 306109 99 0 0 20 0 20 0 78838388 19521036288 1176895 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=4699240 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1176895 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=4707580 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1176895 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=18816 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1176895 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3549.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4707580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3142.6 s]
/proc/loadavg: 5.19 5.01 4.85 5/341 89953
/proc/meminfo: memFree=94975844/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19063512 memory=4749316 CPUtime=3600.07 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 178230 0 0 0 359398 609 0 0 20 0 20 0 78838385 19521036288 1187329 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4765878 1187329 5566 1 0 1202742 0
[pid=89335/tid=89337] ppid=89332 vsize=19063512 memory=4748676 CPUtime=3102.06 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 75196 0 0 0 310103 103 0 0 20 0 20 0 78838388 19521036288 1187329 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19063512 memory=4749316 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1187329 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19063512 memory=10240 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 20 0 78838390 19521036288 1187329 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89366] ppid=89332 vsize=19063512 memory=-6000919498510000999 CPUtime=0 cores=4,6
/proc/89335/task/89366/stat : 89366 (Timer-0) S 89332 89335 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78838427 19521036288 1187329 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4749316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3142.73 s]
# the end of solver process 89335 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.2 s, system=6.11891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3142.7 s]
/proc/loadavg: 5.19 5.01 4.85 5/341 89953
/proc/meminfo: memFree=94975844/131249988 swapFree=33010160/33010684
[pid=89335] ppid=89332 vsize=19263204 memory=4750084 CPUtime=3600.28 cores=4,6
/proc/89335/stat : 89335 (java) S 89332 89335 88332 0 -1 4194304 179589 0 0 0 359418 610 0 0 20 0 21 0 78838385 19725520896 1187521 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
/proc/89335/statm: 4815801 1187521 5598 1 0 1203661 0
[pid=89335/tid=89337] ppid=89332 vsize=19263204 memory=5632 CPUtime=3102.12 cores=4,6
/proc/89335/task/89337/stat : 89337 (java) R 89332 89335 88332 0 -1 4194368 75196 0 0 0 310109 103 0 0 20 0 21 0 78838388 19725520896 1187521 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89346] ppid=89332 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/89335/task/89346/stat : 89346 (Finalizer) S 89332 89335 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78838390 19725520896 1187521 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
[pid=89335/tid=89353] ppid=89332 vsize=19263204 memory=1133584 CPUtime=0 cores=4,6
/proc/89335/task/89353/stat : 89353 (Common-Cleaner) S 89332 89335 88332 0 -1 4194368 1273 0 0 0 0 0 0 0 20 0 21 0 78838390 19725520896 1187521 18446744073709551615 93916671528960 93916671532656 140731104261008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93916671540472 93916671541264 93916675940352 140731104266620 140731104266724 140731104266724 140731104272328 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4750084 KiB
Child status: 143
Real time (s): 3142.73
CPU time (s): 3600.32
CPU user time (s): 3594.2
CPU system time (s): 6.11891
CPU usage (%): 114.56
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4750084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.2
system time used= 6.11891
maximum resident set size= 4750084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163325
involuntary context switches= 43830
# summary of solver processes directly reported to runsolver:
# pid: 89335
# total CPU time (s): 3600.32
# total CPU user time (s): 3594.2
# total CPU system time (s): 6.11891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96893 second user time and 14.5307 second system time
The end