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 (53836 MiB free)
memory of node 1: 64510 MiB (54545 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449850-1721489389/watcher-4449850-1721489389 -o /tmp/evaluation-result-4449850-1721489389/solver-4449850-1721489389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721481341-1084281 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4449850-1721489389.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=1090645, runsolver pid=1090642
[startup+0.100406 s]*
/proc/loadavg: 4.12 4.17 4.17 7/333 1090663
/proc/meminfo: memFree=110941904/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=18975048 memory=63268 CPUtime=0.13 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 7206 0 0 0 12 1 0 0 20 0 18 0 201107140 19430449152 15817 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4743762 15817 5718 1 0 549321 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 1077936192 5739 0 0 0 7 1 0 0 20 0 18 0 201107141 19430449152 15817 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201107143 19430449152 15817 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=18975048 memory=15252645166212516 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 201107144 19430449152 15817 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63268 KiB
[startup+0.206549 s]*
/proc/loadavg: 4.12 4.17 4.17 7/333 1090663
/proc/meminfo: memFree=110933156/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=18975048 memory=72180 CPUtime=0.33 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 7785 0 0 0 31 2 0 0 20 0 18 0 201107140 19430449152 18045 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4743762 18045 5836 1 0 549699 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 6043 0 0 0 17 1 0 0 20 0 18 0 201107141 19430449152 18045 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=18975048 memory=15948 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201107143 19430449152 18045 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=18975048 memory=14408220236056116 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 201107144 19430449152 18045 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72180 KiB
[startup+0.306549 s]*
/proc/loadavg: 4.12 4.17 4.17 7/333 1090663
/proc/meminfo: memFree=110858820/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=18975048 memory=146032 CPUtime=0.52 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 9401 0 0 0 49 3 0 0 20 0 18 0 201107140 19430449152 36508 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4743762 36508 5836 1 0 550746 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=18975048 memory=-7810751911280469857 CPUtime=0.27 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 6077 0 0 0 25 2 0 0 20 0 18 0 201107141 19430449152 36508 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201107143 19430449152 36508 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 201107144 19430449152 36508 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 146032 KiB
[startup+0.702906 s]
/proc/loadavg: 4.12 4.17 4.17 8/334 1090664
/proc/meminfo: memFree=110837796/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19109188 memory=204904 CPUtime=1.26 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 13160 0 0 0 121 5 0 0 20 0 20 0 201107140 19567808512 51226 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777297 51226 5888 1 0 554085 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19109188 memory=5428 CPUtime=0.6 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 6245 0 0 0 57 3 0 0 20 0 20 0 201107141 19567808512 51226 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19109188 memory=13120 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19567808512 51226 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19109188 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201107144 19567808512 51226 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19109188 KiB
Current children cumulated memory: 204904 KiB
[startup+1.50056 s]
/proc/loadavg: 4.35 4.22 4.19 8/335 1090665
/proc/meminfo: memFree=110785412/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19108176 memory=338016 CPUtime=2.85 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 25902 0 0 0 275 10 0 0 20 0 20 0 201107140 19566772224 84504 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777044 84504 5888 1 0 557299 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19108176 memory=13120 CPUtime=1.38 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 6599 0 0 0 133 5 0 0 20 0 20 0 201107141 19566772224 84504 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19566772224 84504 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 201107144 19566772224 84504 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201107201 19566772224 84504 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 338016 KiB
[startup+3.10614 s]
/proc/loadavg: 4.35 4.22 4.19 6/335 1090665
/proc/meminfo: memFree=110337552/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19108176 memory=720000 CPUtime=6.03 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 33148 0 0 0 585 18 0 0 20 0 20 0 201107140 19566772224 180000 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777044 180000 5904 1 0 1084561 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19108176 memory=0 CPUtime=2.91 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 8225 0 0 0 280 11 0 0 20 0 20 0 201107141 19566772224 180000 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19566772224 180000 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 201107144 19566772224 180000 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201107201 19566772224 180000 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 720000 KiB
[startup+6.30028 s]
/proc/loadavg: 4.33 4.22 4.19 5/335 1090665
/proc/meminfo: memFree=108871536/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19108176 memory=2129700 CPUtime=10.35 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 34080 0 0 0 988 47 0 0 20 0 20 0 201107140 19566772224 532425 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777044 532425 5904 1 0 1084579 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19108176 memory=0 CPUtime=6.07 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 8903 0 0 0 568 39 0 0 20 0 20 0 201107141 19566772224 532425 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19108176 memory=13120 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19566772224 532425 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 201107144 19566772224 532425 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19108176 memory=48544 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201107201 19566772224 532425 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2129700 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.21 4.18 5/338 1090725
/proc/meminfo: memFree=108870432/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19108176 memory=2185292 CPUtime=17.09 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 34277 0 0 0 1660 49 0 0 20 0 20 0 201107140 19566772224 546323 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777044 546323 5904 1 0 1084624 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19108176 memory=208808 CPUtime=12.24 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 8987 0 0 0 1184 40 0 0 20 0 20 0 201107141 19566772224 546323 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19108176 memory=2129916 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19566772224 546323 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19108176 memory=773428 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 201107144 19566772224 546323 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201107201 19566772224 546323 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 17.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2185292 KiB
[startup+25.5003 s]
/proc/loadavg: 4.25 4.21 4.18 5/338 1090727
/proc/meminfo: memFree=107886044/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19108176 memory=3112364 CPUtime=30.22 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 37534 0 0 0 2955 67 0 0 20 0 20 0 201107140 19566772224 778091 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777044 778091 5904 1 0 1205786 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19108176 memory=2129916 CPUtime=24.73 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 11464 0 0 0 2419 54 0 0 20 0 20 0 201107141 19566772224 778091 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19108176 memory=2864548 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19566772224 778091 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 201107144 19566772224 778091 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201107201 19566772224 778091 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 30.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3112364 KiB
[startup+51.106 s]
/proc/loadavg: 4.23 4.20 4.18 5/338 1090733
/proc/meminfo: memFree=107850764/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19108176 memory=3147908 CPUtime=56.31 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 45689 0 0 0 5561 70 0 0 20 0 20 0 201107140 19566772224 786977 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4777044 786977 5929 1 0 1205787 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19108176 memory=3112736 CPUtime=49.66 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 14873 0 0 0 4911 55 0 0 20 0 20 0 201107141 19566772224 786977 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19108176 memory=3113028 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201107143 19566772224 786977 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19108176 memory=11400 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 201107144 19566772224 786977 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
################
# More data... #
################
[startup+2862.3 s]
/proc/loadavg: 1.56 2.80 3.73 2/254 1091940
/proc/meminfo: memFree=115431516/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=7256416 CPUtime=3180.67 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 674100 0 0 0 317513 554 0 0 20 0 21 0 201107140 19634933760 1814104 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 1814104 5960 1 0 1826967 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=48544 CPUtime=2773.9 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 321608 0 0 0 277240 150 0 0 20 0 21 0 201107141 19634933760 1814104 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=7256412 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 1814104 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=-7810751911280469857 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 2955 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 1814104 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=7256412 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 1814104 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3180.67 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 7256416 KiB
[startup+2922.3 s]
/proc/loadavg: 1.48 2.55 3.58 2/254 1091950
/proc/meminfo: memFree=113583488/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=9099700 CPUtime=3253.36 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 680928 0 0 0 324733 603 0 0 20 0 21 0 201107140 19634933760 2274925 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 2274925 5960 1 0 2288810 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=48544 CPUtime=2832.39 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 326057 0 0 0 283055 184 0 0 20 0 21 0 201107141 19634933760 2274925 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=11400 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 2274925 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=9070972 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3009 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 2274925 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=9070972 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 2274925 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3253.36 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 9099700 KiB
[startup+2982.3 s]
/proc/loadavg: 1.53 2.37 3.45 2/254 1091961
/proc/meminfo: memFree=113582732/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=3325.84 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 704383 0 0 0 331970 614 0 0 20 0 21 0 201107140 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 2275060 5960 1 0 2288811 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=9099700 CPUtime=2891.2 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 339402 0 0 0 288934 186 0 0 20 0 21 0 201107141 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=5428 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3030 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3325.84 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 9100240 KiB
[startup+3042.3 s]
/proc/loadavg: 1.34 2.16 3.31 2/257 1091977
/proc/meminfo: memFree=113581920/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=3398.59 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 728011 0 0 0 339231 628 0 0 20 0 21 0 201107140 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 2275060 5960 1 0 2288811 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=9100228 CPUtime=2949.73 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 347553 0 0 0 294786 187 0 0 20 0 21 0 201107141 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=13120 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=1848 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3120 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 2275060 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3398.59 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 9100240 KiB
[startup+3102.3 s]
/proc/loadavg: 1.56 2.06 3.20 3/257 1091988
/proc/meminfo: memFree=113580952/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=9100304 CPUtime=3473.96 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 751569 0 0 0 346752 644 0 0 20 0 21 0 201107140 19634933760 2275076 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 2275076 5960 1 0 2288825 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=3008.08 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 358852 0 0 0 300620 188 0 0 20 0 21 0 201107141 19634933760 2275076 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=9100240 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 2275076 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=21604 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3227 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 2275076 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=9100304 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 2275076 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3473.96 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 9100304 KiB
[startup+3162.3 s]
/proc/loadavg: 1.40 1.92 3.08 2/258 1092000
/proc/meminfo: memFree=113580472/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=9100308 CPUtime=3544.72 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 775389 0 0 0 353818 654 0 0 20 0 21 0 201107140 19634933760 2275077 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 2275077 5960 1 0 2288827 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=21604 CPUtime=3066.5 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 369865 0 0 0 306461 189 0 0 20 0 21 0 201107141 19634933760 2275077 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=9100304 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 2275077 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=9100308 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3325 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 2275077 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=9100308 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 2275077 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3544.72 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 9100308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3205.2 s]
/proc/loadavg: 1.52 1.89 3.02 2/258 1092007
/proc/meminfo: memFree=113580036/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19174740 memory=9100348 CPUtime=3600.06 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 798946 0 0 0 359337 669 0 0 20 0 21 0 201107140 19634933760 2275087 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4793685 2275087 5960 1 0 2288861 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19174740 memory=48544 CPUtime=3108.28 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 381263 0 0 0 310638 190 0 0 20 0 21 0 201107141 19634933760 2275087 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19174740 memory=13120 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201107143 19634933760 2275087 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19174740 memory=5428 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 21 0 201107144 19634933760 2275087 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090665] ppid=1090642 vsize=19174740 memory=16216 CPUtime=0 cores=5,7
/proc/1090645/task/1090665/stat : 1090665 (Timer-0) S 1090642 1090645 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 201107201 19634933760 2275087 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 9100348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3205.4 s]
# the end of solver process 1090645 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.71 s, system=6.72831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3205.3 s]
/proc/loadavg: 1.52 1.89 3.02 2/258 1092007
/proc/meminfo: memFree=113580036/131524600 swapFree=131071996/131071996
[pid=1090645] ppid=1090642 vsize=19374432 memory=9100984 CPUtime=3600.28 cores=5,7
/proc/1090645/stat : 1090645 (java) S 1090642 1090645 1084268 0 -1 1077936128 801342 0 0 0 359358 670 0 0 20 0 22 0 201107140 19839418368 2275246 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
/proc/1090645/statm: 4843608 2275246 5959 1 0 2289812 0
[pid=1090645/tid=1090647] ppid=1090642 vsize=19374432 memory=21604 CPUtime=3108.37 cores=5,7
/proc/1090645/task/1090647/stat : 1090647 (java) R 1090642 1090645 1084268 0 -1 4194368 381426 0 0 0 310647 190 0 0 20 0 22 0 201107141 19839418368 2275246 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090656] ppid=1090642 vsize=19374432 memory=9100308 CPUtime=0 cores=5,7
/proc/1090645/task/1090656/stat : 1090656 (Finalizer) S 1090642 1090645 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 201107143 19839418368 2275246 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
[pid=1090645/tid=1090663] ppid=1090642 vsize=19374432 memory=9100312 CPUtime=0 cores=5,7
/proc/1090645/task/1090663/stat : 1090663 (Common-Cleaner) S 1090642 1090645 1084268 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 22 0 201107144 19839418368 2275246 134679101440 94587407704064 94587407707760 140726475213936 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94587407715576 94587407716368 94587435012096 140726475219950 140726475220063 140726475220063 140726475227080 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 9100984 KiB
Child status: 143
Real time (s): 3205.4
CPU time (s): 3600.44
CPU user time (s): 3593.71
CPU system time (s): 6.72831
CPU usage (%): 112.324
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 9100984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.71
system time used= 6.72831
maximum resident set size= 9101992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 801698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121639
involuntary context switches= 26563
# summary of solver processes directly reported to runsolver:
# pid: 1090645
# total CPU time (s): 3600.44
# total CPU user time (s): 3593.71
# total CPU system time (s): 6.72831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85807 second user time and 16.9366 second system time
The end