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 (62884 MiB free)
memory of node 1: 64507 MiB (62494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490294-1751360763/watcher-4490294-1751360763 -o /tmp/evaluation-result-4490294-1751360763/solver-4490294-1751360763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751360763-55279 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4490294-1751360763.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
solver pid=55327, runsolver pid=55318
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.64 1.06 1.96 13/334 55406
/proc/meminfo: memFree=128326732/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=18930384 memory=54784 CPUtime=0.1 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 6448 0 13 0 8 2 0 0 20 0 18 0 51754240 19384713216 13696 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4732596 13696 5310 1 0 547531 0
[pid=55327/tid=55332] ppid=55318 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 5028 0 4 0 5 1 0 0 20 0 18 0 51754242 19384713216 13696 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=18930384 memory=18949 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 51754244 19384713216 13696 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 51754245 19384713216 13696 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54784 KiB
[startup+0.205006 s]*
/proc/loadavg: 0.64 1.06 1.96 9/336 55408
/proc/meminfo: memFree=128301820/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=18996948 memory=63896 CPUtime=0.28 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 7067 0 13 0 25 3 0 0 20 0 19 0 51754240 19452874752 15974 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4749237 15974 5438 1 0 548291 0
[pid=55327/tid=55332] ppid=55318 vsize=18996948 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 5507 0 4 0 13 2 0 0 20 0 19 0 51754242 19452874752 15974 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=18996948 memory=18949 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754244 19452874752 15974 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51754245 19452874752 15974 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51754260 19452874752 15974 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63896 KiB
[startup+0.304787 s]*
/proc/loadavg: 0.64 1.06 1.96 12/338 55410
/proc/meminfo: memFree=128258176/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=18996948 memory=82496 CPUtime=0.47 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 8620 0 13 0 43 4 0 0 20 0 19 0 51754240 19452874752 20624 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4749237 20624 5438 1 0 548838 0
[pid=55327/tid=55332] ppid=55318 vsize=18996948 memory=-6000919507099936618 CPUtime=0.23 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 5531 0 4 0 20 3 0 0 20 0 19 0 51754242 19452874752 20624 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 51754244 19452874752 20624 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 51754245 19452874752 20624 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 51754260 19452874752 20624 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82496 KiB
[startup+0.700213 s]
/proc/loadavg: 0.64 1.06 1.96 11/338 55410
/proc/meminfo: memFree=128036324/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=162316 CPUtime=1.23 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 10984 0 13 0 117 6 0 0 20 0 20 0 51754240 19521036288 40579 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 40579 5470 1 0 550459 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=18304 CPUtime=0.56 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 5587 0 4 0 52 4 0 0 20 0 20 0 51754242 19521036288 40579 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 40579 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 40579 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=4756 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 40579 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162316 KiB
[startup+1.50022 s]
/proc/loadavg: 0.64 1.06 1.96 10/342 55414
/proc/meminfo: memFree=127795560/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=345000 CPUtime=2.82 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 18790 0 13 0 272 10 0 0 20 0 20 0 51754240 19521036288 86250 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 86250 5470 1 0 552516 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=0 CPUtime=1.33 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 6287 0 4 0 125 8 0 0 20 0 20 0 51754242 19521036288 86250 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 86250 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 86250 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=4756 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 86250 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 345000 KiB
[startup+3.10528 s]
/proc/loadavg: 1.23 1.17 2.00 8/342 55414
/proc/meminfo: memFree=125265496/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=980156 CPUtime=5.12 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 21152 0 13 0 488 24 0 0 20 0 20 0 51754240 19521036288 245039 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 245039 5470 1 0 552520 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=10752 CPUtime=2.9 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 7179 0 4 0 270 20 0 0 20 0 20 0 51754242 19521036288 245039 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=-6000919472773752682 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 245039 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 245039 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 245039 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 980156 KiB
[startup+6.30019 s]
/proc/loadavg: 1.23 1.17 2.00 6/342 55414
/proc/meminfo: memFree=122039744/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=1185372 CPUtime=8.46 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 21460 0 13 0 818 28 0 0 20 0 20 0 51754240 19521036288 296343 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 296343 5470 1 0 552523 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=0 CPUtime=6.06 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 7380 0 4 0 582 24 0 0 20 0 20 0 51754242 19521036288 296343 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 296343 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 296343 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=406440 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 296343 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1185372 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.27 2.02 6/342 55414
/proc/meminfo: memFree=121834992/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=1322592 CPUtime=15.14 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 29225 0 13 0 1482 32 0 0 20 0 20 0 51754240 19521036288 330648 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 330648 5470 1 0 553882 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=406440 CPUtime=12.36 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 8884 0 4 0 1210 26 0 0 20 0 20 0 51754242 19521036288 330648 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=1322592 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 330648 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 330648 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 330648 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1322592 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.36 2.04 6/342 55414
/proc/meminfo: memFree=121741740/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=1342620 CPUtime=28.35 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 39070 0 13 0 2801 34 0 0 20 0 20 0 51754240 19521036288 335655 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 335655 5470 1 0 555521 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=1322592 CPUtime=24.96 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 11090 0 4 0 2469 27 0 0 20 0 20 0 51754242 19521036288 335655 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=1342620 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 335655 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=1342620 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 335655 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=281256873423648 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 335655 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 28.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1342620 KiB
[startup+51.1052 s]
/proc/loadavg: 2.98 1.64 2.11 6/344 55417
/proc/meminfo: memFree=121480208/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=1367340 CPUtime=54.06 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 42073 0 13 0 5370 36 0 0 20 0 20 0 51754240 19521036288 341835 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 341835 5470 1 0 555521 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=0 CPUtime=50.13 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=115730992/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2524196 CPUtime=3187.12 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 119351 0 13 0 318531 181 0 0 20 0 20 0 51754240 19521036288 631049 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 631049 5470 1 0 667621 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2509824 CPUtime=3116.46 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 45726 0 4 0 311596 50 0 0 20 0 20 0 51754242 19521036288 631049 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=2509824 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 631049 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=16912 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 631049 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=2524196 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 631049 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3187.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2524196 KiB
[startup+3222.3 s]
/proc/loadavg: 4.62 4.50 4.34 7/343 55606
/proc/meminfo: memFree=115720564/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2534436 CPUtime=3248.1 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 120674 0 13 0 324626 184 0 0 20 0 20 0 51754240 19521036288 633609 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 633609 5470 1 0 667621 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2509824 CPUtime=3175.51 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 46900 0 4 0 317500 51 0 0 20 0 20 0 51754242 19521036288 633609 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=2509824 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 633609 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=16912 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1535 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 633609 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=2534436 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 633609 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3248.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2534436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.51 4.35 5/341 55675
/proc/meminfo: memFree=116172764/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2546760 CPUtime=3309.07 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 121637 0 13 0 330721 186 0 0 20 0 20 0 51754240 19521036288 636690 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 636690 5470 1 0 667635 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2546760 CPUtime=3234.51 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 47173 0 4 0 323400 51 0 0 20 0 20 0 51754242 19521036288 636690 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 636690 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=16912 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 636690 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=16912 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 636690 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3309.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2546760 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.45 4.34 5/341 55688
/proc/meminfo: memFree=116139152/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2554956 CPUtime=3369.92 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 121842 0 13 0 336804 188 0 0 20 0 20 0 51754240 19521036288 638739 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 638739 5470 1 0 667635 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2552904 CPUtime=3293.6 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 47335 0 4 0 329309 51 0 0 20 0 20 0 51754242 19521036288 638739 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=2552904 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 638739 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=2554956 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 638739 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=2552904 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 638739 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3369.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2554956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.38 4.32 5/339 55690
/proc/meminfo: memFree=116110656/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2565200 CPUtime=3431.04 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 123739 0 13 0 342913 191 0 0 20 0 20 0 51754240 19521036288 641300 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 641300 5470 1 0 667636 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2552904 CPUtime=3352.69 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 48674 0 4 0 335218 51 0 0 20 0 20 0 51754242 19521036288 641300 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=18304 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 641300 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=2563152 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1579 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 641300 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=2565200 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 641300 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3431.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2565200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.35 4.32 5/340 55693
/proc/meminfo: memFree=116093816/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2571344 CPUtime=3492 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 124866 0 13 0 349006 194 0 0 20 0 20 0 51754240 19521036288 642836 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 642836 5470 1 0 667636 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2552904 CPUtime=3411.81 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 49698 0 4 0 341129 52 0 0 20 0 20 0 51754242 19521036288 642836 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=16912 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 642836 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=2571344 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1619 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 642836 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=2571344 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 642836 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3492 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2571344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.36 4.32 6/341 55763
/proc/meminfo: memFree=119944240/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2575452 CPUtime=3553.37 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 126226 0 13 0 355139 198 0 0 20 0 20 0 51754240 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 643863 5470 1 0 667636 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=2546760 CPUtime=3470.8 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 50335 0 4 0 347025 55 0 0 20 0 20 0 51754242 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=2575452 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=2575452 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1684 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=16912 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3553.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2575452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3568 s]*
/proc/loadavg: 4.39 4.37 4.33 5/341 55832
/proc/meminfo: memFree=120350096/131249996 swapFree=33010684/33010684
[pid=55327] ppid=55318 vsize=19063512 memory=2575452 CPUtime=3600.01 cores=4,6
/proc/55327/stat : 55327 (java) S 55318 55327 55268 0 -1 4194304 126335 0 13 0 359800 201 0 0 20 0 20 0 51754240 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
/proc/55327/statm: 4765878 643863 5470 1 0 667636 0
[pid=55327/tid=55332] ppid=55318 vsize=19063512 memory=-6000919472790202218 CPUtime=3515.73 cores=4,6
/proc/55327/task/55332/stat : 55332 (java) R 55318 55327 55268 0 -1 4194368 50381 0 4 0 351516 57 0 0 20 0 20 0 51754242 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55358] ppid=55318 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/55327/task/55358/stat : 55358 (Finalizer) S 55318 55327 55268 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 51754244 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55372] ppid=55318 vsize=19063512 memory=3072 CPUtime=0 cores=4,6
/proc/55327/task/55372/stat : 55372 (Common-Cleaner) S 55318 55327 55268 0 -1 4194368 1688 0 0 0 0 0 0 0 20 0 20 0 51754245 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
[pid=55327/tid=55407] ppid=55318 vsize=19063512 memory=6784 CPUtime=0 cores=4,6
/proc/55327/task/55407/stat : 55407 (Timer-0) S 55318 55327 55268 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 51754260 19521036288 643863 18446744073709551615 94205548781568 94205548785264 140733667358704 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94205548793080 94205548793872 94205582147584 140733667363198 140733667363302 140733667363302 140733667368904 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2575452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3568.12 s]
# the end of solver process 55327 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.16 s, system=2.03267 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3568.12
CPU time (s): 3600.19
CPU user time (s): 3598.16
CPU system time (s): 2.03267
CPU usage (%): 100.899
Max. virtual memory (cumulated for all children) (KiB): 19069292
Max. memory (cumulated for all children) (KiB): 2575452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.15
system time used= 2.03267
maximum resident set size= 2576604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128990
page faults= 13
swaps= 0
block input operations= 0
block output operations= 20768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161792
involuntary context switches= 20792
# summary of solver processes directly reported to runsolver:
# pid: 55327
# total CPU time (s): 3600.19
# total CPU user time (s): 3598.16
# total CPU system time (s): 2.03267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06978 second user time and 16.0594 second system time
The end