runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (58666 MiB free)
memory of node 1: 64465 MiB (57178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525326-1751620762/watcher-4525326-1751620762 -o /tmp/evaluation-result-4525326-1751620762/solver-4525326-1751620762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96859 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525326-1751620762.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=97913, runsolver pid=97910
[startup+0.100069 s]*
/proc/loadavg: 4.18 4.22 4.35 7/325 97931
/proc/meminfo: memFree=118601828/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=18930384 memory=48320 CPUtime=0.12 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 5740 0 0 0 8 4 0 0 20 0 18 0 77755358 19384713216 12080 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4732596 12080 5337 1 0 546954 0
[pid=97913/tid=97915] ppid=97910 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 4636 0 0 0 4 2 0 0 20 0 18 0 77755360 19384713216 12080 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77755364 19384713216 12080 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=18930384 memory=58494082638250 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77755365 19384713216 12080 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48320 KiB
[startup+0.213619 s]*
/proc/loadavg: 4.18 4.22 4.35 6/325 97931
/proc/meminfo: memFree=118597732/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=18930384 memory=53276 CPUtime=0.27 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 6454 0 0 0 23 4 0 0 20 0 18 0 77755358 19384713216 13319 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4732596 13319 5369 1 0 547532 0
[pid=97913/tid=97915] ppid=97910 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 4981 0 0 0 14 3 0 0 20 0 18 0 77755360 19384713216 13319 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=18930384 memory=17127 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77755364 19384713216 13319 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77755365 19384713216 13319 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53276 KiB
[startup+0.314599 s]*
/proc/loadavg: 4.18 4.22 4.35 7/325 97931
/proc/meminfo: memFree=118589628/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=18930384 memory=58792 CPUtime=0.43 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 6738 0 0 0 38 5 0 0 20 0 18 0 77755358 19384713216 14698 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4732596 14698 5433 1 0 547732 0
[pid=97913/tid=97915] ppid=97910 vsize=18930384 memory=-6000919507133097318 CPUtime=0.25 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 5156 0 0 0 22 3 0 0 20 0 18 0 77755360 19384713216 14698 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77755364 19384713216 14698 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77755365 19384713216 14698 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58792 KiB
[startup+0.700284 s]
/proc/loadavg: 4.18 4.22 4.35 7/325 97931
/proc/meminfo: memFree=118585572/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=18996948 memory=72048 CPUtime=1.11 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 7668 0 0 0 105 6 0 0 20 0 19 0 77755358 19452874752 18012 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4749237 18012 5465 1 0 548556 0
[pid=97913/tid=97915] ppid=97910 vsize=18996948 memory=13952 CPUtime=0.56 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 5497 0 0 0 52 4 0 0 20 0 19 0 77755360 19452874752 18012 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=18996948 memory=11008 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77755364 19452874752 18012 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77755365 19452874752 18012 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72048 KiB
[startup+1.50025 s]
/proc/loadavg: 4.18 4.22 4.35 6/326 97932
/proc/meminfo: memFree=118556900/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19063512 memory=171880 CPUtime=2.7 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 17253 0 0 0 260 10 0 0 20 0 20 0 77755358 19521036288 42970 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4765878 42970 5529 1 0 552348 0
[pid=97913/tid=97915] ppid=97910 vsize=19063512 memory=3328 CPUtime=1.26 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 6212 0 0 0 120 6 0 0 20 0 20 0 77755360 19521036288 42970 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77755364 19521036288 42970 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77755365 19521036288 42970 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77755423 19521036288 42970 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171880 KiB
[startup+3.10548 s]
/proc/loadavg: 4.24 4.23 4.35 6/327 97933
/proc/meminfo: memFree=118230484/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19063512 memory=427860 CPUtime=5.78 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 21453 0 0 0 561 17 0 0 20 0 20 0 77755358 19521036288 106965 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4765878 106965 5529 1 0 903728 0
[pid=97913/tid=97915] ppid=97910 vsize=19063512 memory=14468 CPUtime=2.71 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 6830 0 0 0 261 10 0 0 20 0 20 0 77755360 19521036288 106965 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77755364 19521036288 106965 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77755365 19521036288 106965 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77755423 19521036288 106965 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 427860 KiB
[startup+6.30044 s]
/proc/loadavg: 4.24 4.23 4.35 5/327 97933
/proc/meminfo: memFree=117840924/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19063512 memory=807944 CPUtime=9.57 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 21774 0 0 0 932 25 0 0 20 0 20 0 77755358 19521036288 201986 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4765878 201986 5529 1 0 903732 0
[pid=97913/tid=97915] ppid=97910 vsize=19063512 memory=0 CPUtime=5.67 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 7011 0 0 0 550 17 0 0 20 0 20 0 77755360 19521036288 201986 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77755364 19521036288 201986 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77755365 19521036288 201986 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19063512 memory=172008 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77755423 19521036288 201986 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 807944 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.24 4.36 6/327 97933
/proc/meminfo: memFree=116767936/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19063512 memory=1877656 CPUtime=16.24 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 23189 0 0 0 1580 44 0 0 20 0 20 0 77755358 19521036288 469414 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4765878 469414 5529 1 0 1173204 0
[pid=97913/tid=97915] ppid=97910 vsize=19063512 memory=172008 CPUtime=11.81 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 7619 0 0 0 1147 34 0 0 20 0 20 0 77755360 19521036288 469414 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19063512 memory=1787544 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77755364 19521036288 469414 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77755365 19521036288 469414 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77755423 19521036288 469414 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 16.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1877656 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.23 4.35 5/327 97933
/proc/meminfo: memFree=116005880/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19063512 memory=2727744 CPUtime=29.27 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 28515 0 0 0 2866 61 0 0 20 0 20 0 77755358 19521036288 681936 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4765878 681936 5529 1 0 1173208 0
[pid=97913/tid=97915] ppid=97910 vsize=19063512 memory=0 CPUtime=24.17 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 10479 0 0 0 2368 49 0 0 20 0 20 0 77755360 19521036288 681936 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19063512 memory=14468 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77755364 19521036288 681936 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19063512 memory=2404156 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 77755365 19521036288 681936 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19063512 memory=1945384 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77755423 19521036288 681936 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 29.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2727744 KiB
[startup+51.1133 s]
/proc/loadavg: 4.36 4.26 4.36 5/326 97933
/proc/meminfo: memFree=114232748/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19063512 memory=4269564 CPUtime=55.62 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 38113 0 0 0 5467 95 0 0 20 0 20 0 77755358 19521036288 1067391 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4765878 1067391 5529 1 0 1524180 0
[pid=97913/tid=97915] ppid=97910 vsize=19063512 memory=3867644 CPUtime=49.33 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 15781 0 0 0 4854 79 0 0 20 0 20 0 77755360 19521036288 1067391 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19063512 memory=12160 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77755364 19521036288 1067391 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 69 0 0 0 0 0 0 0 20 0 20 0 77755365 19521036288 1067391 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.20 4.29 4.29 5/326 98373
/proc/meminfo: memFree=105319060/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091148 CPUtime=3268.5 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 232334 0 0 0 326443 407 0 0 20 0 21 0 77755358 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022787 5529 1 0 2072213 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=8091148 CPUtime=3157.58 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 153643 0 0 0 315583 175 0 0 20 0 21 0 77755360 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=8091148 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2590 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=8091148 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3268.5 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.27 4.27 5/326 98375
/proc/meminfo: memFree=105231260/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091148 CPUtime=3329.12 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 236963 0 0 0 332500 412 0 0 20 0 21 0 77755358 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022787 5529 1 0 2072213 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=8091148 CPUtime=3217.06 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 157425 0 0 0 321530 176 0 0 20 0 21 0 77755360 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=14468 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=-6000919507133097318 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2645 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=8091148 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022787 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3329.12 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.25 4.27 5/326 98377
/proc/meminfo: memFree=105177788/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3389.95 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 241145 0 0 0 338579 416 0 0 20 0 21 0 77755358 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022819 5529 1 0 2072229 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=8091148 CPUtime=3276.47 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 160378 0 0 0 327470 177 0 0 20 0 21 0 77755360 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2742 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=14468 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3389.95 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091276 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.25 4.27 5/326 98379
/proc/meminfo: memFree=105083568/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3450.78 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 244216 0 0 0 344658 420 0 0 20 0 21 0 77755358 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022819 5529 1 0 2072245 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3335.72 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 163002 0 0 0 333394 178 0 0 20 0 21 0 77755360 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2743 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3450.78 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.23 4.26 5/327 98386
/proc/meminfo: memFree=104898824/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3511.75 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 248940 0 0 0 350750 425 0 0 20 0 21 0 77755358 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022819 5529 1 0 2072245 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3394.44 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 166591 0 0 0 339264 180 0 0 20 0 21 0 77755360 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=11008 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2814 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.23 4.26 5/327 98390
/proc/meminfo: memFree=104743132/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3572.28 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 252813 0 0 0 356799 429 0 0 20 0 21 0 77755358 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022819 5529 1 0 2072245 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=13952 CPUtime=3453.57 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 169459 0 0 0 345177 180 0 0 20 0 21 0 77755360 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=14468 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2906 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=14468 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3549.6 s]
/proc/loadavg: 4.19 4.22 4.26 5/327 98391
/proc/meminfo: memFree=104710372/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19130076 memory=8091276 CPUtime=3600.07 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 253901 0 0 0 359576 431 0 0 20 0 21 0 77755358 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4782519 2022819 5529 1 0 2072245 0
[pid=97913/tid=97915] ppid=97910 vsize=19130076 memory=2764 CPUtime=3480.28 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 170507 0 0 0 347847 181 0 0 20 0 21 0 77755360 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19130076 memory=2764 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77755364 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19130076 memory=20972 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2906 0 0 0 0 0 0 0 20 0 21 0 77755365 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97932] ppid=97910 vsize=19130076 memory=4096 CPUtime=0 cores=5,7
/proc/97913/task/97932/stat : 97932 (Timer-0) S 97910 97913 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77755423 19589197824 2022819 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8091276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3549.79 s]
# the end of solver process 97913 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.04 s, system=4.36916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3549.71 s]
/proc/loadavg: 4.19 4.22 4.26 5/327 98391
/proc/meminfo: memFree=104710372/131382112 swapFree=33000116/33010684
[pid=97913] ppid=97910 vsize=19329768 memory=8092172 CPUtime=3600.27 cores=5,7
/proc/97913/stat : 97913 (java) S 97910 97913 96846 0 -1 4194304 256249 0 0 0 359595 432 0 0 20 0 22 0 77755358 19793682432 2023043 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
/proc/97913/statm: 4832442 2023043 5529 1 0 2073196 0
[pid=97913/tid=97915] ppid=97910 vsize=19329768 memory=164 CPUtime=3480.38 cores=5,7
/proc/97913/task/97915/stat : 97915 (java) R 97910 97913 96846 0 -1 4194368 170567 0 0 0 347857 181 0 0 20 0 22 0 77755360 19793682432 2023043 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97924] ppid=97910 vsize=19329768 memory=5632 CPUtime=0 cores=5,7
/proc/97913/task/97924/stat : 97924 (Finalizer) S 97910 97913 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 77755364 19793682432 2023043 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
[pid=97913/tid=97931] ppid=97910 vsize=19329768 memory=8091276 CPUtime=0 cores=5,7
/proc/97913/task/97931/stat : 97931 (Common-Cleaner) S 97910 97913 96846 0 -1 4194368 2906 0 0 0 0 0 0 0 20 0 22 0 77755365 19793682432 2023043 18446744073709551615 94865598652416 94865598656112 140732825878960 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94865598663928 94865598664720 94865602465792 140732825885052 140732825885156 140732825885156 140732825890760 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 8092172 KiB
Child status: 143
Real time (s): 3549.79
CPU time (s): 3600.41
CPU user time (s): 3596.04
CPU system time (s): 4.36916
CPU usage (%): 101.426
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 8093744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.04
system time used= 4.36916
maximum resident set size= 8093744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121241
involuntary context switches= 16605
# summary of solver processes directly reported to runsolver:
# pid: 97913
# total CPU time (s): 3600.41
# total CPU user time (s): 3596.04
# total CPU system time (s): 4.36916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9411 second user time and 34.4233 second system time
The end