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: 63931 MiB (56834 MiB free)
memory of node 1: 64510 MiB (60668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444091-1721313755/watcher-4444091-1721313755 -o /tmp/evaluation-result-4444091-1721313755/solver-4444091-1721313755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721306301-984932 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4444091-1721313755.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=989913, runsolver pid=989910
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.40 4.27 4.21 7/330 989931
/proc/meminfo: memFree=120279048/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=18975048 memory=66600 CPUtime=0.13 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 7216 0 0 0 11 2 0 0 20 0 18 0 183537314 19430449152 16650 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4743762 16650 5543 1 0 549331 0
[pid=989913/tid=989915] ppid=989910 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 5749 0 0 0 7 2 0 0 20 0 18 0 183537315 19430449152 16650 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183537317 19430449152 16650 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=18975048 memory=15824395507619580 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183537318 19430449152 16650 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66600 KiB
[startup+0.210383 s]*
/proc/loadavg: 4.40 4.27 4.21 7/330 989931
/proc/meminfo: memFree=120268896/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=18975048 memory=77332 CPUtime=0.34 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 7641 0 0 0 31 3 0 0 20 0 18 0 183537314 19430449152 19333 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4743762 19333 5745 1 0 549680 0
[pid=989913/tid=989915] ppid=989910 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 6039 0 0 0 17 2 0 0 20 0 18 0 183537315 19430449152 19333 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=18975048 memory=15975 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183537317 19430449152 19333 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=18975048 memory=14698495600756458 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183537318 19430449152 19333 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77332 KiB
[startup+0.31138 s]*
/proc/loadavg: 4.40 4.27 4.21 7/331 989932
/proc/meminfo: memFree=120254008/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19041612 memory=92396 CPUtime=0.52 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 9242 0 0 0 49 3 0 0 20 0 19 0 183537314 19498610688 23099 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4760403 23099 5868 1 0 551073 0
[pid=989913/tid=989915] ppid=989910 vsize=19041612 memory=-9177317220220707516 CPUtime=0.27 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 6127 0 0 0 25 2 0 0 20 0 19 0 183537315 19498610688 23099 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183537317 19498610688 23099 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183537318 19498610688 23099 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183537341 19498610688 23099 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92396 KiB
[startup+0.70038 s]
/proc/loadavg: 4.40 4.27 4.21 5/331 989932
/proc/meminfo: memFree=120209656/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=183884 CPUtime=1.26 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 15786 0 0 0 120 6 0 0 20 0 20 0 183537314 19566772224 45971 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 45971 5868 1 0 555261 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=13196 CPUtime=0.63 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 6175 0 0 0 59 4 0 0 20 0 20 0 183537315 19566772224 45971 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=13196 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 45971 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 45971 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=2028 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 45971 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183884 KiB
[startup+1.50026 s]
/proc/loadavg: 4.40 4.27 4.21 7/332 989933
/proc/meminfo: memFree=120159392/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=191388 CPUtime=2.84 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 21722 0 0 0 277 7 0 0 20 0 20 0 183537314 19566772224 47847 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 47847 5884 1 0 555303 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=13196 CPUtime=1.36 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 6488 0 0 0 132 4 0 0 20 0 20 0 183537315 19566772224 47847 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 47847 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 47847 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 47847 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191388 KiB
[startup+3.10639 s]
/proc/loadavg: 4.40 4.27 4.21 5/332 989933
/proc/meminfo: memFree=119627416/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=769052 CPUtime=5.64 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 23867 0 0 0 545 19 0 0 20 0 20 0 183537314 19566772224 192263 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 192263 5900 1 0 701519 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=0 CPUtime=2.91 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 7137 0 0 0 276 15 0 0 20 0 20 0 183537315 19566772224 192263 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 192263 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=257120 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 192263 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=13196 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 192263 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 769052 KiB
[startup+6.30038 s]
/proc/loadavg: 4.37 4.27 4.21 5/332 989934
/proc/meminfo: memFree=119355788/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=1113584 CPUtime=8.93 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 24322 0 0 0 868 25 0 0 20 0 20 0 183537314 19566772224 278396 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 278396 5900 1 0 701533 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=13196 CPUtime=6.05 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 7470 0 0 0 584 21 0 0 20 0 20 0 183537315 19566772224 278396 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 278396 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=6008201517078763856 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 278396 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 278396 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1113584 KiB
[startup+12.7003 s]
/proc/loadavg: 4.34 4.26 4.21 5/333 989935
/proc/meminfo: memFree=118846712/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=1560364 CPUtime=15.51 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 26682 0 0 0 1518 33 0 0 20 0 20 0 183537314 19566772224 390091 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 390091 5900 1 0 701537 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=0 CPUtime=12.33 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 8814 0 0 0 1206 27 0 0 20 0 20 0 183537315 19566772224 390091 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=1341052 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 390091 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 390091 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 390091 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 15.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1560364 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.25 4.20 5/333 989937
/proc/meminfo: memFree=118625516/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=1713536 CPUtime=28.54 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 31949 0 0 0 2815 39 0 0 20 0 20 0 183537314 19566772224 428384 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 428384 5900 1 0 701921 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=1341052 CPUtime=24.97 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 10794 0 0 0 2467 30 0 0 20 0 20 0 183537315 19566772224 428384 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 428384 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=1693008 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 428384 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 428384 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 28.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1713536 KiB
[startup+51.1059 s]
/proc/loadavg: 4.23 4.24 4.20 5/333 989941
/proc/meminfo: memFree=118583736/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=1748452 CPUtime=54.38 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 38693 0 0 0 5396 42 0 0 20 0 20 0 183537314 19566772224 437113 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 437113 5900 1 0 701921 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=1746380 CPUtime=50.19 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 13774 0 0 0 4989 30 0 0 20 0 20 0 183537315 19566772224 437113 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
################
# More data... #
################
/proc/meminfo: memFree=118921064/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3296.04 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 266913 0 0 0 329364 240 0 0 20 0 20 0 183537314 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690291 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3234.76 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 124262 0 0 0 323424 52 0 0 20 0 20 0 183537315 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=32196 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=2320 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3419 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=45336 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3296.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761164 KiB
[startup+3342.3 s]
/proc/loadavg: 3.29 3.45 3.84 4/304 992210
/proc/meminfo: memFree=118918728/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3356.32 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 270042 0 0 0 335388 244 0 0 20 0 20 0 183537314 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690291 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3294.12 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 126154 0 0 0 329360 52 0 0 20 0 20 0 183537315 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=2761164 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=-9177317220220707516 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3492 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=7540 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3356.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761164 KiB
[startup+3402.3 s]
/proc/loadavg: 3.05 3.36 3.79 3/278 992253
/proc/meminfo: memFree=121504444/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3416.65 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 273181 0 0 0 341418 247 0 0 20 0 20 0 183537314 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690291 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3353.49 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 127648 0 0 0 335297 52 0 0 20 0 20 0 183537315 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=2761164 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3571 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=-9177317220220707516 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690291 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3416.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761164 KiB
[startup+3462.3 s]
/proc/loadavg: 2.44 3.13 3.68 3/281 992268
/proc/meminfo: memFree=121504124/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761168 CPUtime=3476.89 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 276640 0 0 0 347439 250 0 0 20 0 20 0 183537314 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690292 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=2761164 CPUtime=3412.97 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 129684 0 0 0 341244 53 0 0 20 0 20 0 183537315 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=2761168 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3644 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=2761168 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3476.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761168 KiB
[startup+3522.3 s]
/proc/loadavg: 1.67 2.78 3.52 2/255 992312
/proc/meminfo: memFree=125127852/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761168 CPUtime=3537.25 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 279782 0 0 0 353472 253 0 0 20 0 20 0 183537314 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690292 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=5472 CPUtime=3472.32 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 131325 0 0 0 347179 53 0 0 20 0 20 0 183537315 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=16192 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3723 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=2761168 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690292 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3537.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761168 KiB
[startup+3582.3 s]
/proc/loadavg: 1.38 2.49 3.37 2/257 992326
/proc/meminfo: memFree=125127440/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761196 CPUtime=3597.6 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 283030 0 0 0 359504 256 0 0 20 0 20 0 183537314 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690299 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=45336 CPUtime=3531.69 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 133255 0 0 0 353116 53 0 0 20 0 20 0 183537315 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=2028 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=11544 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3802 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=45336 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3597.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3584.7 s]
/proc/loadavg: 1.38 2.49 3.37 2/257 992326
/proc/meminfo: memFree=125127432/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761196 CPUtime=3600.02 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 283096 0 0 0 359746 256 0 0 20 0 20 0 183537314 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690299 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=2761196 CPUtime=3534.05 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 133301 0 0 0 353352 53 0 0 20 0 20 0 183537315 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=-7592355005297287294 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=2761196 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3802 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3584.77 s]
# the end of solver process 989913 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.56 s, system=2.57654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584.7 s]
/proc/loadavg: 1.38 2.49 3.37 2/257 992326
/proc/meminfo: memFree=125127432/131524600 swapFree=131071996/131071996
[pid=989913] ppid=989910 vsize=19108176 memory=2761196 CPUtime=3600.02 cores=1,3
/proc/989913/stat : 989913 (java) S 989910 989913 984920 0 -1 1077936128 283096 0 0 0 359746 256 0 0 20 0 20 0 183537314 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
/proc/989913/statm: 4777044 690299 5931 1 0 703217 0
[pid=989913/tid=989915] ppid=989910 vsize=19108176 memory=2761196 CPUtime=3534.05 cores=1,3
/proc/989913/task/989915/stat : 989915 (java) R 989910 989913 984920 0 -1 4194368 133301 0 0 0 353352 53 0 0 20 0 20 0 183537315 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989924] ppid=989910 vsize=19108176 memory=-7592355005297287294 CPUtime=0 cores=1,3
/proc/989913/task/989924/stat : 989924 (Finalizer) S 989910 989913 984920 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183537317 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989931] ppid=989910 vsize=19108176 memory=2761196 CPUtime=0 cores=1,3
/proc/989913/task/989931/stat : 989931 (Common-Cleaner) S 989910 989913 984920 0 -1 1077936192 3802 0 0 0 0 0 0 0 20 0 20 0 183537318 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
[pid=989913/tid=989932] ppid=989910 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/989913/task/989932/stat : 989932 (Timer-0) S 989910 989913 984920 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183537341 19566772224 690299 134679101440 94562932097024 94562932100720 140722074894992 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94562932108536 94562932109328 94562954215424 140722074903540 140722074903648 140722074903648 140722074910664 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761196 KiB
Child status: 143
Real time (s): 3584.77
CPU time (s): 3600.14
CPU user time (s): 3597.56
CPU system time (s): 2.57654
CPU usage (%): 100.429
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2761196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.57654
maximum resident set size= 2762696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142857
involuntary context switches= 12499
# summary of solver processes directly reported to runsolver:
# pid: 989913
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.56
# total CPU system time (s): 2.57654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.89403 second user time and 16.7307 second system time
The end