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: 63794 MiB (57514 MiB free)
memory of node 1: 64507 MiB (53227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484958-1751296162/watcher-4484958-1751296162 -o /tmp/evaluation-result-4484958-1751296162/solver-4484958-1751296162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751292833-39482 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4484958-1751296162.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=40036, runsolver pid=40033
[startup+0.100082 s]*
/proc/loadavg: 4.72 4.83 4.73 7/325 40054
/proc/meminfo: memFree=113371128/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=18930384 memory=50172 CPUtime=0.12 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 5746 0 0 0 9 3 0 0 20 0 18 0 45295086 19384713216 12543 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4732596 12543 5303 1 0 546957 0
[pid=40036/tid=40038] ppid=40033 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 4650 0 0 0 5 2 0 0 20 0 18 0 45295088 19384713216 12543 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45295092 19384713216 12543 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45295093 19384713216 12543 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50172 KiB
[startup+0.214156 s]*
/proc/loadavg: 4.72 4.83 4.73 6/325 40054
/proc/meminfo: memFree=113365016/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=18930384 memory=55392 CPUtime=0.29 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 6463 0 0 0 25 4 0 0 20 0 18 0 45295086 19384713216 13848 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4732596 13848 5367 1 0 547550 0
[pid=40036/tid=40038] ppid=40033 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 4990 0 0 0 15 3 0 0 20 0 18 0 45295088 19384713216 13848 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45295092 19384713216 13848 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45295093 19384713216 13848 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55392 KiB
[startup+0.316097 s]*
/proc/loadavg: 4.72 4.83 4.73 6/325 40054
/proc/meminfo: memFree=113360744/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=18930384 memory=60688 CPUtime=0.45 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 6770 0 0 0 40 5 0 0 20 0 18 0 45295086 19384713216 15172 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4732596 15172 5367 1 0 547774 0
[pid=40036/tid=40038] ppid=40033 vsize=18930384 memory=-6000919494215232619 CPUtime=0.26 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 5190 0 0 0 23 3 0 0 20 0 18 0 45295088 19384713216 15172 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45295092 19384713216 15172 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45295093 19384713216 15172 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60688 KiB
[startup+0.700327 s]
/proc/loadavg: 4.72 4.83 4.73 7/325 40054
/proc/meminfo: memFree=113360240/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=18930384 memory=101300 CPUtime=1.13 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 8611 0 0 0 106 7 0 0 20 0 18 0 45295086 19384713216 25325 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4732596 25325 5431 1 0 548991 0
[pid=40036/tid=40038] ppid=40033 vsize=18930384 memory=17664 CPUtime=0.59 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 5373 0 0 0 55 4 0 0 20 0 18 0 45295088 19384713216 25325 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45295092 19384713216 25325 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45295093 19384713216 25325 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 101300 KiB
[startup+1.50024 s]
/proc/loadavg: 4.72 4.83 4.73 6/326 40055
/proc/meminfo: memFree=113272512/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19063512 memory=170864 CPUtime=2.7 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 16978 0 0 0 260 10 0 0 20 0 20 0 45295086 19521036288 42716 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4765878 42716 5495 1 0 552174 0
[pid=40036/tid=40038] ppid=40033 vsize=19063512 memory=3200 CPUtime=1.34 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 6794 0 0 0 128 6 0 0 20 0 20 0 45295088 19521036288 42716 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295092 19521036288 42716 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 45295093 19521036288 42716 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170864 KiB
[startup+3.10568 s]
/proc/loadavg: 4.72 4.83 4.73 8/327 40056
/proc/meminfo: memFree=112848332/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19063512 memory=426644 CPUtime=5.83 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 22728 0 0 0 565 18 0 0 20 0 20 0 45295086 19521036288 106661 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4765878 106661 5527 1 0 877794 0
[pid=40036/tid=40038] ppid=40033 vsize=19063512 memory=11264 CPUtime=2.71 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 7308 0 0 0 262 9 0 0 20 0 20 0 45295088 19521036288 106661 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295092 19521036288 106661 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45295093 19521036288 106661 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295201 19521036288 106661 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 426644 KiB
[startup+6.30039 s]
/proc/loadavg: 4.75 4.83 4.73 5/327 40056
/proc/meminfo: memFree=112127800/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19063512 memory=1269260 CPUtime=10.41 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 24423 0 0 0 1004 37 0 0 20 0 20 0 45295086 19521036288 317315 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4765878 317315 5527 1 0 1262171 0
[pid=40036/tid=40038] ppid=40033 vsize=19063512 memory=0 CPUtime=5.76 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 7813 0 0 0 551 25 0 0 20 0 20 0 45295088 19521036288 317315 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295092 19521036288 317315 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19063512 memory=-6000919494215232619 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45295093 19521036288 317315 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295201 19521036288 317315 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 10.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1269260 KiB
[startup+12.7002 s]
/proc/loadavg: 4.85 4.85 4.74 5/327 40057
/proc/meminfo: memFree=110069364/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19063512 memory=3207484 CPUtime=19.41 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 29442 0 0 0 1866 75 0 0 20 0 20 0 45295086 19521036288 801871 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4765878 801871 5559 1 0 1262834 0
[pid=40036/tid=40038] ppid=40033 vsize=19063512 memory=0 CPUtime=11.97 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 8940 0 0 0 1138 59 0 0 20 0 20 0 45295088 19521036288 801871 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19063512 memory=3205436 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295092 19521036288 801871 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45295093 19521036288 801871 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295201 19521036288 801871 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 19.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3207484 KiB
[startup+25.5004 s]
/proc/loadavg: 4.80 4.84 4.73 6/327 40057
/proc/meminfo: memFree=108276036/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19063512 memory=4467224 CPUtime=33.44 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 34021 0 0 0 3242 102 0 0 20 0 20 0 45295086 19521036288 1116806 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4765878 1116806 5559 1 0 1528506 0
[pid=40036/tid=40038] ppid=40033 vsize=19063512 memory=-6000919494215232619 CPUtime=24.1 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 11034 0 0 0 2331 79 0 0 20 0 20 0 45295088 19521036288 1116806 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19063512 memory=3199 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295092 19521036288 1116806 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19063512 memory=4172468 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45295093 19521036288 1116806 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19063512 memory=4172468 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295201 19521036288 1116806 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 33.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4467224 KiB
[startup+51.114 s]
/proc/loadavg: 4.86 4.86 4.74 7/329 40059
/proc/meminfo: memFree=107460760/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19063512 memory=4682124 CPUtime=61.28 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 44219 0 0 0 6018 110 0 0 20 0 20 0 45295086 19521036288 1170531 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4765878 1170531 5559 1 0 2040688 0
[pid=40036/tid=40038] ppid=40033 vsize=19063512 memory=4656832 CPUtime=48.78 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 14175 0 0 0 4799 79 0 0 20 0 20 0 45295088 19521036288 1170531 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19063512 memory=-6000919494215232619 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295092 19521036288 1170531 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19063512 memory=4522316 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45295093 19521036288 1170531 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19063512 memory=4227596 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45295201 19521036288 1170531 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
################
# More data... #
################
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 225712 0 0 0 305296 159 0 0 20 0 21 0 45295088 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=8121320 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=8121320 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2599 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3232.83 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8121320 KiB
[startup+3162.3 s]
/proc/loadavg: 4.54 4.69 4.61 5/330 40213
/proc/meminfo: memFree=98882248/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19130076 memory=8121320 CPUtime=3301.12 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 374452 0 0 0 329613 499 0 0 20 0 21 0 45295086 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4782519 2030330 5559 1 0 2045588 0
[pid=40036/tid=40038] ppid=40033 vsize=19130076 memory=8121320 CPUtime=3113.69 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 230430 0 0 0 311210 159 0 0 20 0 21 0 45295088 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=8121320 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=4252 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2700 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=-6000919494215232619 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2030330 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3301.12 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8121320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.88 4.75 4.64 5/328 40349
/proc/meminfo: memFree=113378852/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19130076 memory=8121448 CPUtime=3368.95 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 376560 0 0 0 336388 507 0 0 20 0 21 0 45295086 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4782519 2030362 5559 1 0 2045605 0
[pid=40036/tid=40038] ppid=40033 vsize=19130076 memory=8121320 CPUtime=3172.9 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 232395 0 0 0 317130 160 0 0 20 0 21 0 45295088 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=8121448 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2704 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3368.95 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8121448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.68 4.72 4.64 5/328 40418
/proc/meminfo: memFree=119294296/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19130076 memory=8121448 CPUtime=3437.29 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 383908 0 0 0 343212 517 0 0 20 0 21 0 45295086 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4782519 2030362 5559 1 0 2045605 0
[pid=40036/tid=40038] ppid=40033 vsize=19130076 memory=-6000919494215232619 CPUtime=3232.06 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 238177 0 0 0 323045 161 0 0 20 0 21 0 45295088 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=8121448 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2780 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=8121448 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3437.29 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8121448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.44 4.66 4.62 5/327 40420
/proc/meminfo: memFree=118999520/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19130076 memory=8121448 CPUtime=3505.68 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 391450 0 0 0 350040 528 0 0 20 0 21 0 45295086 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4782519 2030362 5559 1 0 2045605 0
[pid=40036/tid=40038] ppid=40033 vsize=19130076 memory=8121448 CPUtime=3291.11 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 243080 0 0 0 328950 161 0 0 20 0 21 0 45295088 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=4210466105171013281 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2908 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=14720 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2030362 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3505.68 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8121448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.43 4.61 4.61 5/327 40422
/proc/meminfo: memFree=118786040/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19130076 memory=8128612 CPUtime=3574.14 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 395546 0 0 0 356876 538 0 0 20 0 21 0 45295086 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4782519 2032153 5559 1 0 2045605 0
[pid=40036/tid=40038] ppid=40033 vsize=19130076 memory=14720 CPUtime=3350.14 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 245758 0 0 0 334853 161 0 0 20 0 21 0 45295088 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=8128612 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=8128612 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2908 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=8128612 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3574.14 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8128612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3427.7 s]
/proc/loadavg: 4.28 4.56 4.59 5/327 40422
/proc/meminfo: memFree=118716408/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19130076 memory=8128612 CPUtime=3600.01 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 401450 0 0 0 359461 540 0 0 20 0 21 0 45295086 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4782519 2032153 5559 1 0 2045645 0
[pid=40036/tid=40038] ppid=40033 vsize=19130076 memory=14720 CPUtime=3375.08 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 250432 0 0 0 337346 162 0 0 20 0 21 0 45295088 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19130076 memory=8128612 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295092 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19130076 memory=0 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2908 0 0 0 0 0 0 0 20 0 21 0 45295093 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40056] ppid=40033 vsize=19130076 memory=8128612 CPUtime=0 cores=0,2
/proc/40036/task/40056/stat : 40056 (Timer-0) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45295201 19589197824 2032153 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 8128612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3427.91 s]
# the end of solver process 40036 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.96 s, system=5.44829 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3427.81 s]
/proc/loadavg: 4.28 4.56 4.59 5/327 40422
/proc/meminfo: memFree=118716408/131382112 swapFree=33010160/33010684
[pid=40036] ppid=40033 vsize=19329768 memory=8129252 CPUtime=3600.21 cores=0,2
/proc/40036/stat : 40036 (java) S 40033 40036 39472 0 -1 4194304 403407 0 0 0 359480 541 0 0 20 0 22 0 45295086 19793682432 2032313 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
/proc/40036/statm: 4832442 2032313 5559 1 0 2046564 0
[pid=40036/tid=40038] ppid=40033 vsize=19329768 memory=4892 CPUtime=3375.19 cores=0,2
/proc/40036/task/40038/stat : 40038 (java) R 40033 40036 39472 0 -1 4194368 250442 0 0 0 337357 162 0 0 20 0 22 0 45295088 19793682432 2032313 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40047] ppid=40033 vsize=19329768 memory=2764 CPUtime=0 cores=0,2
/proc/40036/task/40047/stat : 40047 (Finalizer) S 40033 40036 39472 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 45295092 19793682432 2032313 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
[pid=40036/tid=40054] ppid=40033 vsize=19329768 memory=23532 CPUtime=0 cores=0,2
/proc/40036/task/40054/stat : 40054 (Common-Cleaner) S 40033 40036 39472 0 -1 4194368 2908 0 0 0 0 0 0 0 20 0 22 0 45295093 19793682432 2032313 18446744073709551615 94314771673088 94314771676784 140723206284432 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94314771684600 94314771685392 94314778386432 140723206289790 140723206289894 140723206289894 140723206295496 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 8129252 KiB
[startup+3427.9 s]*
/proc/loadavg: 4.28 4.56 4.59 5/308 40425
/proc/meminfo: memFree=123680760/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3427.92
CPU time (s): 3600.41
CPU user time (s): 3594.96
CPU system time (s): 5.44829
CPU usage (%): 105.032
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 8129252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.96
system time used= 5.44829
maximum resident set size= 8129636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114817
involuntary context switches= 19133
# summary of solver processes directly reported to runsolver:
# pid: 40036
# total CPU time (s): 3600.41
# total CPU user time (s): 3594.96
# total CPU system time (s): 5.44829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3742 second user time and 35.5552 second system time
The end