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 (58373 MiB free)
memory of node 1: 64507 MiB (52576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525425-1751623915/watcher-4525425-1751623915 -o /tmp/evaluation-result-4525425-1751623915/solver-4525425-1751623915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751620354-87135 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525425-1751623915.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89011, runsolver pid=89008
[startup+0.100072 s]*
/proc/loadavg: 4.24 4.37 4.34 8/324 89029
/proc/meminfo: memFree=113591372/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=18930384 memory=48504 CPUtime=0.13 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 5842 0 0 0 9 4 0 0 20 0 18 0 78070429 19384713216 12126 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4732596 12126 5300 1 0 547061 0
[pid=89011/tid=89013] ppid=89008 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 4695 0 0 0 6 2 0 0 20 0 18 0 78070431 19384713216 12126 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78070435 19384713216 12126 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=18930384 memory=61792617516369 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78070436 19384713216 12126 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48504 KiB
[startup+0.216573 s]*
/proc/loadavg: 4.24 4.37 4.34 6/324 89029
/proc/meminfo: memFree=113589356/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=18930384 memory=55496 CPUtime=0.31 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 6525 0 0 0 27 4 0 0 20 0 18 0 78070429 19384713216 13874 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4732596 13874 5332 1 0 547603 0
[pid=89011/tid=89013] ppid=89008 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 5050 0 0 0 16 2 0 0 20 0 18 0 78070431 19384713216 13874 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78070435 19384713216 13874 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78070436 19384713216 14407 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55496 KiB
[startup+0.317412 s]*
/proc/loadavg: 4.24 4.37 4.34 7/324 89029
/proc/meminfo: memFree=113585260/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=18930384 memory=58652 CPUtime=0.48 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 6819 0 0 0 44 4 0 0 20 0 18 0 78070429 19384713216 14663 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4732596 14663 5332 1 0 547827 0
[pid=89011/tid=89013] ppid=89008 vsize=18930384 memory=-6000919472790725479 CPUtime=0.29 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 5245 0 0 0 26 3 0 0 20 0 18 0 78070431 19384713216 14663 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78070435 19384713216 14663 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78070436 19384713216 14663 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58652 KiB
[startup+0.70034 s]
/proc/loadavg: 4.24 4.37 4.34 7/325 89030
/proc/meminfo: memFree=113579400/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=18996948 memory=72728 CPUtime=1.16 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 7958 0 0 0 110 6 0 0 20 0 19 0 78070429 19452874752 18182 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4749237 18182 5460 1 0 548670 0
[pid=89011/tid=89013] ppid=89008 vsize=18996948 memory=18688 CPUtime=0.6 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 5521 0 0 0 57 3 0 0 20 0 19 0 78070431 19452874752 18182 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78070435 19452874752 18182 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78070436 19452874752 18182 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=18996948 memory=4892 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78070479 19452874752 18182 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72728 KiB
[startup+1.50027 s]
/proc/loadavg: 4.24 4.37 4.34 6/325 89030
/proc/meminfo: memFree=113552184/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=172624 CPUtime=2.72 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 16894 0 0 0 263 9 0 0 20 0 20 0 78070429 19521036288 43156 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 43156 5492 1 0 552066 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=0 CPUtime=1.27 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 6184 0 0 0 122 5 0 0 20 0 20 0 78070431 19521036288 43156 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 43156 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 43156 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=4892 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 43156 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172624 KiB
[startup+3.10534 s]
/proc/loadavg: 4.30 4.38 4.35 5/326 89031
/proc/meminfo: memFree=113158848/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=500308 CPUtime=5.65 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 19973 0 0 0 547 18 0 0 20 0 20 0 78070429 19521036288 125077 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 125077 5492 1 0 709199 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=11264 CPUtime=2.78 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 6801 0 0 0 266 12 0 0 20 0 20 0 78070431 19521036288 125077 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=-6000919472790725479 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 125077 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 125077 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 125077 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 500308 KiB
[startup+6.30044 s]
/proc/loadavg: 4.30 4.38 4.35 5/305 89038
/proc/meminfo: memFree=117137256/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=897168 CPUtime=9.79 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 20308 0 0 0 954 25 0 0 20 0 20 0 78070429 19521036288 224292 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 224292 5492 1 0 709206 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=0 CPUtime=5.89 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 7014 0 0 0 571 18 0 0 20 0 20 0 78070431 19521036288 224292 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 224292 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 224292 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=173128 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 224292 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 9.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 897168 KiB
[startup+12.7004 s]
/proc/loadavg: 4.25 4.37 4.34 5/326 89098
/proc/meminfo: memFree=114272480/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=2007776 CPUtime=17.97 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 30795 0 0 0 1748 49 0 0 20 0 20 0 78070429 19521036288 501944 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 501944 5492 1 0 859534 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=173128 CPUtime=11.88 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) S 89008 89011 87124 0 -1 4194368 8712 0 0 0 1153 35 0 0 20 0 20 0 78070431 19521036288 501944 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=1490568 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 501944 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 501944 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 501944 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 17.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2007776 KiB
[startup+25.5005 s]
/proc/loadavg: 4.45 4.40 4.35 6/325 89165
/proc/meminfo: memFree=119329448/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=3311896 CPUtime=31.31 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 37963 0 0 0 3053 78 0 0 20 0 20 0 78070429 19521036288 827974 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 827974 5492 1 0 1162427 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=11264 CPUtime=24.31 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 11342 0 0 0 2371 60 0 0 20 0 20 0 78070431 19521036288 827974 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 827974 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 827974 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=2851096 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 827974 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 31.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3311896 KiB
[startup+51.1054 s]
/proc/loadavg: 4.50 4.42 4.36 5/325 89166
/proc/meminfo: memFree=118493872/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=3312024 CPUtime=57.07 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 43295 0 0 0 5626 81 0 0 20 0 20 0 78070429 19521036288 828006 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 828006 5492 1 0 1162429 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=3311896 CPUtime=49.14 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 13319 0 0 0 4854 60 0 0 20 0 20 0 78070431 19521036288 828006 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 828006 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.26 4.21 4.19 5/326 89322
/proc/meminfo: memFree=112573284/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=5068296 CPUtime=3245.3 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 182171 0 0 0 324052 478 0 0 20 0 20 0 78070429 19521036288 1267074 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1267074 5524 1 0 1279641 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=5068296 CPUtime=3127.68 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 81228 0 0 0 312684 84 0 0 20 0 20 0 78070431 19521036288 1267074 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=5068296 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1267074 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=-6000919472790725479 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 1959 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1267074 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=-6000919472790725479 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1267074 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3245.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5068296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.23 4.19 5/326 89324
/proc/meminfo: memFree=109886732/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3310.81 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 186873 0 0 0 330535 546 0 0 20 0 20 0 78070429 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1938455 5524 1 0 1952273 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=5276 CPUtime=3186.91 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 83362 0 0 0 318556 135 0 0 20 0 20 0 78070431 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 1959 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3310.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7753820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/326 89326
/proc/meminfo: memFree=109887144/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3370.83 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 189997 0 0 0 336533 550 0 0 20 0 20 0 78070429 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1938455 5524 1 0 1952273 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3246.47 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 85637 0 0 0 324511 136 0 0 20 0 20 0 78070431 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 2033 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3370.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7753820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/326 89328
/proc/meminfo: memFree=109886696/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3430.83 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 190282 0 0 0 342529 554 0 0 20 0 20 0 78070429 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1938455 5524 1 0 1952273 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3305.82 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 85785 0 0 0 330446 136 0 0 20 0 20 0 78070431 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 2033 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3430.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7753820 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.22 4.19 5/327 89397
/proc/meminfo: memFree=109578164/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3490.83 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 190488 0 0 0 348526 557 0 0 20 0 20 0 78070429 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1938455 5524 1 0 1952273 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3365.56 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 85920 0 0 0 336420 136 0 0 20 0 20 0 78070431 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3490.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7753820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/326 89399
/proc/meminfo: memFree=109578180/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3550.83 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 194370 0 0 0 354522 561 0 0 20 0 20 0 78070429 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1938455 5524 1 0 1952273 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3425.12 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 88649 0 0 0 342375 137 0 0 20 0 20 0 78070431 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 2156 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=-6000919472790725479 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3550.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7753820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3511.5 s]
/proc/loadavg: 4.29 4.22 4.19 5/326 89401
/proc/meminfo: memFree=109578472/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3600.09 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 198383 0 0 0 359445 564 0 0 20 0 20 0 78070429 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4765878 1938455 5524 1 0 1952273 0
[pid=89011/tid=89013] ppid=89008 vsize=19063512 memory=7753820 CPUtime=3474.01 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 92516 0 0 0 347264 137 0 0 20 0 20 0 78070431 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78070435 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 2156 0 0 0 0 0 0 0 20 0 20 0 78070436 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89030] ppid=89008 vsize=19063512 memory=7753820 CPUtime=0 cores=4,6
/proc/89011/task/89030/stat : 89030 (Timer-0) S 89008 89011 87124 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78070479 19521036288 1938455 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7753820 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3511.72 s]
# the end of solver process 89011 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.67 s, system=5.69832 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3511.61 s]
/proc/loadavg: 4.29 4.22 4.19 5/326 89401
/proc/meminfo: memFree=109578472/131382112 swapFree=33009904/33010684
[pid=89011] ppid=89008 vsize=19263204 memory=7754588 CPUtime=3600.26 cores=4,6
/proc/89011/stat : 89011 (java) S 89008 89011 87124 0 -1 4194304 200479 0 0 0 359461 565 0 0 20 0 21 0 78070429 19725520896 1938647 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
/proc/89011/statm: 4815801 1938647 5556 1 0 1953192 0
[pid=89011/tid=89013] ppid=89008 vsize=19263204 memory=4892 CPUtime=3474.05 cores=4,6
/proc/89011/task/89013/stat : 89013 (java) R 89008 89011 87124 0 -1 4194368 92516 0 0 0 347268 137 0 0 20 0 21 0 78070431 19725520896 1938647 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89022] ppid=89008 vsize=19263204 memory=11264 CPUtime=0 cores=4,6
/proc/89011/task/89022/stat : 89022 (Finalizer) S 89008 89011 87124 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78070435 19725520896 1938647 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
[pid=89011/tid=89029] ppid=89008 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/89011/task/89029/stat : 89029 (Common-Cleaner) S 89008 89011 87124 0 -1 4194368 2159 0 0 0 0 0 0 0 20 0 21 0 78070436 19725520896 1938647 18446744073709551615 93978135281664 93978135285360 140732931116064 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93978135293176 93978135293968 93978159771648 140732931119484 140732931119588 140732931119588 140732931125192 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 7754588 KiB
Child status: 143
Real time (s): 3511.72
CPU time (s): 3600.37
CPU user time (s): 3594.67
CPU system time (s): 5.69832
CPU usage (%): 102.524
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 7754588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.67
system time used= 5.69832
maximum resident set size= 7754844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160933
involuntary context switches= 13858
# summary of solver processes directly reported to runsolver:
# pid: 89011
# total CPU time (s): 3600.37
# total CPU user time (s): 3594.67
# total CPU system time (s): 5.69832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9687 second user time and 32.6608 second system time
The end