runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (59369 MiB free)
memory of node 1: 64465 MiB (49280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489466-1751342802/watcher-4489466-1751342802 -o /tmp/evaluation-result-4489466-1751342802/solver-4489466-1751342802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751336095-58588 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4489466-1751342802.opb
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=59504, runsolver pid=59501
[startup+0.10007 s]*
/proc/loadavg: 4.51 4.67 4.71 6/325 59523
/proc/meminfo: memFree=111241892/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=18930384 memory=48856 CPUtime=0.11 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 5896 0 0 0 8 3 0 0 20 0 18 0 49959424 19384713216 12214 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4732596 12214 5337 1 0 547103 0
[pid=59504/tid=59506] ppid=59501 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 4722 0 0 0 5 2 0 0 20 0 18 0 49959427 19384713216 12214 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 12214 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=18930384 memory=58494082638250 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 12214 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48856 KiB
[startup+0.2136 s]*
/proc/loadavg: 4.51 4.67 4.71 6/325 59523
/proc/meminfo: memFree=111236044/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=18930384 memory=58504 CPUtime=0.34 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 6738 0 0 0 30 4 0 0 20 0 18 0 49959424 19384713216 14626 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4732596 14626 5369 1 0 547782 0
[pid=59504/tid=59506] ppid=59501 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 5211 0 0 0 17 2 0 0 20 0 18 0 49959427 19384713216 14626 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=18930384 memory=17127 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 14626 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 14626 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58504 KiB
[startup+0.329549 s]*
/proc/loadavg: 4.51 4.67 4.71 7/325 59523
/proc/meminfo: memFree=111226844/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=18930384 memory=65716 CPUtime=0.51 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 6942 0 0 0 46 5 0 0 20 0 18 0 49959424 19384713216 16429 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4732596 16429 5433 1 0 547896 0
[pid=59504/tid=59506] ppid=59501 vsize=18930384 memory=-6000919502855168874 CPUtime=0.27 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 5340 0 0 0 24 3 0 0 20 0 18 0 49959427 19384713216 16429 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 16429 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 16429 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65716 KiB
[startup+0.700386 s]
/proc/loadavg: 4.51 4.67 4.71 7/325 59523
/proc/meminfo: memFree=111210460/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=18930384 memory=120804 CPUtime=1.19 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 9141 0 0 0 112 7 0 0 20 0 18 0 49959424 19384713216 30201 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4732596 30201 5433 1 0 549322 0
[pid=59504/tid=59506] ppid=59501 vsize=18930384 memory=17664 CPUtime=0.61 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 5396 0 0 0 57 4 0 0 20 0 18 0 49959427 19384713216 30201 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=18930384 memory=11264 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 30201 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=18930384 memory=3328 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49959431 19384713216 30201 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 120804 KiB
[startup+1.50026 s]
/proc/loadavg: 4.63 4.69 4.72 6/326 59524
/proc/meminfo: memFree=111136808/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=18996948 memory=219012 CPUtime=2.71 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 16608 0 0 0 259 12 0 0 20 0 19 0 49959424 19452874752 54753 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4749237 54753 5465 1 0 1077977 0
[pid=59504/tid=59506] ppid=59501 vsize=18996948 memory=3328 CPUtime=1.29 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 5649 0 0 0 123 6 0 0 20 0 19 0 49959427 19452874752 54753 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49959431 19452874752 54753 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49959431 19452874752 54753 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 219012 KiB
[startup+3.1055 s]
/proc/loadavg: 4.63 4.69 4.72 5/327 59525
/proc/meminfo: memFree=110879080/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=431932 CPUtime=5.17 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 19408 0 0 0 499 18 0 0 20 0 20 0 49959424 19521036288 107983 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 107983 5529 1 0 1078416 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=11264 CPUtime=2.78 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 7520 0 0 0 268 10 0 0 20 0 20 0 49959427 19521036288 107983 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 107983 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 107983 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 107983 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 431932 KiB
[startup+6.30025 s]
/proc/loadavg: 4.66 4.70 4.72 5/327 59525
/proc/meminfo: memFree=110497808/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=808952 CPUtime=9.47 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 21408 0 0 0 920 27 0 0 20 0 20 0 49959424 19521036288 202238 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 202238 5529 1 0 1680026 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=0 CPUtime=5.71 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 7737 0 0 0 555 16 0 0 20 0 20 0 49959427 19521036288 202238 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=431932 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 202238 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 202238 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=-6000919502855168874 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 202238 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 9.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 808952 KiB
[startup+12.7005 s]
/proc/loadavg: 4.69 4.70 4.72 7/327 59525
/proc/meminfo: memFree=109708608/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=1837524 CPUtime=16.37 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 23018 0 0 0 1589 48 0 0 20 0 20 0 49959424 19521036288 459381 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 459381 5529 1 0 1939074 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=1477076 CPUtime=11.74 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 8422 0 0 0 1140 34 0 0 20 0 20 0 49959427 19521036288 459381 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 459381 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 459381 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 459381 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 16.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1837524 KiB
[startup+25.5005 s]
/proc/loadavg: 4.74 4.71 4.72 5/327 59525
/proc/meminfo: memFree=108343068/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=2735608 CPUtime=29.89 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 26224 0 0 0 2922 67 0 0 20 0 20 0 49959424 19521036288 683902 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 683902 5529 1 0 2024770 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=1477076 CPUtime=23.67 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 9997 0 0 0 2324 43 0 0 20 0 20 0 49959427 19521036288 683902 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 683902 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 683902 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=2682332 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 683902 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 29.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2735608 KiB
[startup+51.1131 s]
/proc/loadavg: 4.52 4.66 4.71 5/327 59525
/proc/meminfo: memFree=107030332/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=3872492 CPUtime=56.46 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 32686 0 0 0 5552 94 0 0 20 0 20 0 49959424 19521036288 968123 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 968123 5561 1 0 2024776 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=3739372 CPUtime=47.86 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 13023 0 0 0 4733 53 0 0 20 0 20 0 49959427 19521036288 968123 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=3264220 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 968123 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 968123 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 968123 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 56.46 s
################
# More data... #
################
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 340712 0 0 0 296606 285 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3336 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3231.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.70 4.75 4.66 5/326 59874
/proc/meminfo: memFree=88497076/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3302.48 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 546852 0 0 0 329590 658 0 0 20 0 20 0 49959424 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 4069998 5561 1 0 4083229 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=0 CPUtime=3026.9 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 346339 0 0 0 302404 286 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3386 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3302.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.67 4.63 5/326 59876
/proc/meminfo: memFree=88384704/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3364.63 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 557240 0 0 0 335799 664 0 0 20 0 20 0 49959424 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 4069998 5561 1 0 4083229 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3083.65 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 354389 0 0 0 308077 288 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3421 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3364.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.59 4.61 5/326 59893
/proc/meminfo: memFree=88088960/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3425.78 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 565759 0 0 0 341909 669 0 0 20 0 20 0 49959424 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 4069998 5561 1 0 4083229 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=17664 CPUtime=3141.44 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 361034 0 0 0 313855 289 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3494 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3425.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.45 4.59 4.61 5/326 59895
/proc/meminfo: memFree=88088464/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3497.73 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 578906 0 0 0 349095 678 0 0 20 0 20 0 49959424 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 4069998 5561 1 0 4083229 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3199.1 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 369405 0 0 0 319620 290 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=-6000919502855168874 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3567 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3497.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.54 4.59 6/326 59897
/proc/meminfo: memFree=88043972/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3560 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 588696 0 0 0 355316 684 0 0 20 0 20 0 49959424 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 4069998 5561 1 0 4083229 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3255.98 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) S 59501 59504 58577 0 -1 4194368 376556 0 0 0 325306 292 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3659 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3560 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3441.5 s]
/proc/loadavg: 4.21 4.48 4.57 5/326 59899
/proc/meminfo: memFree=87999544/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3600.04 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 596297 0 0 0 359317 687 0 0 20 0 20 0 49959424 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4765878 4069998 5561 1 0 4083229 0
[pid=59504/tid=59506] ppid=59501 vsize=19063512 memory=16279992 CPUtime=3293.89 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) R 59501 59504 58577 0 -1 4194368 381112 0 0 0 329096 293 0 0 20 0 20 0 49959427 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3746 0 0 0 0 0 0 0 20 0 20 0 49959431 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59525] ppid=59501 vsize=19063512 memory=16279992 CPUtime=0 cores=4,6
/proc/59504/task/59525/stat : 59525 (Timer-0) S 59501 59504 58577 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49959649 19521036288 4069998 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3441.74 s]
# the end of solver process 59504 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.4 s, system=6.94349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3441.61 s]
/proc/loadavg: 4.21 4.48 4.57 5/326 59899
/proc/meminfo: memFree=87999544/131382112 swapFree=33010684/33010684
[pid=59504] ppid=59501 vsize=19263204 memory=16280760 CPUtime=3600.21 cores=4,6
/proc/59504/stat : 59504 (java) S 59501 59504 58577 0 -1 4194304 598759 0 0 0 359332 689 0 0 20 0 21 0 49959424 19725520896 4070190 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
/proc/59504/statm: 4815801 4070190 5561 1 0 4084182 0
[pid=59504/tid=59506] ppid=59501 vsize=19263204 memory=0 CPUtime=3293.91 cores=4,6
/proc/59504/task/59506/stat : 59506 (java) S 59501 59504 58577 0 -1 4194368 381421 0 0 0 329098 293 0 0 20 0 21 0 49959427 19725520896 4070190 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59516] ppid=59501 vsize=19263204 memory=140213502345913 CPUtime=0 cores=4,6
/proc/59504/task/59516/stat : 59516 (Finalizer) S 59501 59504 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49959431 19725520896 4070190 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
[pid=59504/tid=59523] ppid=59501 vsize=19263204 memory=-6000919502855168874 CPUtime=0 cores=4,6
/proc/59504/task/59523/stat : 59523 (Common-Cleaner) S 59501 59504 58577 0 -1 4194368 3746 0 0 0 0 0 0 0 20 0 21 0 49959431 19725520896 4070190 18446744073709551615 94920742092800 94920742096496 140732140448096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94920742104312 94920742105104 94920760410112 140732140456318 140732140456422 140732140456422 140732140462024 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16280760 KiB
[startup+3441.7 s]*
/proc/loadavg: 4.28 4.49 4.57 5/308 59902
/proc/meminfo: memFree=91163584/131382112 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3441.74
CPU time (s): 3600.35
CPU user time (s): 3593.4
CPU system time (s): 6.94349
CPU usage (%): 104.608
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16280760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.4
system time used= 6.94349
maximum resident set size= 16281016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132913
involuntary context switches= 21810
# summary of solver processes directly reported to runsolver:
# pid: 59504
# total CPU time (s): 3600.35
# total CPU user time (s): 3593.4
# total CPU system time (s): 6.94349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9223 second user time and 32.7449 second system time
The end