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: 63665 MiB (52108 MiB free)
memory of node 1: 64507 MiB (43898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526649-1751635082/watcher-4526649-1751635082 -o /tmp/evaluation-result-4526649-1751635082/solver-4526649-1751635082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751627986-88345 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4526649-1751635082.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
Starting watchdog thread
solver pid=90085, runsolver pid=90082
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.36 4.58 4.71 5/338 90103
/proc/meminfo: memFree=98284360/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=18930384 memory=57804 CPUtime=0.12 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 6572 0 0 0 11 1 0 0 20 0 18 0 79187089 19384713216 14451 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4732596 14451 5357 1 0 547619 0
[pid=90085/tid=90087] ppid=90082 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 5075 0 0 0 7 0 0 0 20 0 18 0 79187090 19384713216 14451 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79187092 19384713216 14451 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=18930384 memory=55186957820777 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79187093 19384713216 14451 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57804 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.36 4.58 4.71 7/338 90103
/proc/meminfo: memFree=98277000/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=18930384 memory=72640 CPUtime=0.31 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 7141 0 0 0 30 1 0 0 20 0 18 0 79187089 19384713216 18160 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4732596 18160 5421 1 0 548010 0
[pid=90085/tid=90087] ppid=90082 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 5363 0 0 0 16 1 0 0 20 0 18 0 79187090 19384713216 18160 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=18930384 memory=2697 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79187092 19384713216 18160 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79187093 19384713216 18160 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72640 KiB
[startup+0.305462 s]*
/proc/loadavg: 4.36 4.58 4.71 7/338 90103
/proc/meminfo: memFree=98235096/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=18930384 memory=113088 CPUtime=0.51 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 8475 0 0 0 48 3 0 0 20 0 18 0 79187089 19384713216 28272 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4732596 28272 5421 1 0 548810 0
[pid=90085/tid=90087] ppid=90082 vsize=18930384 memory=-6000919498426313830 CPUtime=0.26 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 5397 0 0 0 24 2 0 0 20 0 18 0 79187090 19384713216 28272 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79187092 19384713216 28272 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79187093 19384713216 28272 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 113088 KiB
[startup+0.700233 s]
/proc/loadavg: 4.36 4.58 4.71 6/339 90104
/proc/meminfo: memFree=98173656/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=18996948 memory=207004 CPUtime=1.27 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 11395 0 0 0 121 6 0 0 20 0 19 0 79187089 19452874752 51751 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4749237 51751 5453 1 0 550980 0
[pid=90085/tid=90087] ppid=90082 vsize=18996948 memory=18816 CPUtime=0.57 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) S 90082 90085 88332 0 -1 4194368 5420 0 0 0 54 3 0 0 20 0 19 0 79187090 19452874752 51751 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79187092 19452874752 51751 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79187093 19452874752 51751 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 207004 KiB
[startup+1.50025 s]
/proc/loadavg: 4.36 4.58 4.71 6/339 90104
/proc/meminfo: memFree=98023812/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=18996948 memory=592260 CPUtime=2.69 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 14454 0 0 0 254 15 0 0 20 0 19 0 79187089 19452874752 148065 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4749237 148065 5453 1 0 1160195 0
[pid=90085/tid=90087] ppid=90082 vsize=18996948 memory=3200 CPUtime=1.15 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 5560 0 0 0 107 8 0 0 20 0 19 0 79187090 19452874752 148065 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79187092 19452874752 148065 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79187093 19452874752 148065 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 592260 KiB
[startup+3.11097 s]
/proc/loadavg: 4.41 4.59 4.71 6/341 90106
/proc/meminfo: memFree=97238012/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1206040 CPUtime=5.48 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 16663 0 0 0 519 29 0 0 20 0 21 0 79187089 19589197824 301510 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 301510 5517 1 0 2199457 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=10624 CPUtime=2.48 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 6181 0 0 0 232 16 0 0 20 0 21 0 79187090 19589197824 301510 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 301510 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) R 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 301510 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=5276 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 301510 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1206040 KiB
[startup+6.30023 s]
/proc/loadavg: 4.41 4.59 4.71 5/341 90106
/proc/meminfo: memFree=97056340/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1272840 CPUtime=9.48 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 16969 0 0 0 917 31 0 0 20 0 21 0 79187089 19589197824 318210 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 318210 5517 1 0 2199581 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=0 CPUtime=5.55 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 6190 0 0 0 539 16 0 0 20 0 21 0 79187090 19589197824 318210 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=939176 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 318210 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 318210 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=-6000919498426313830 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 318210 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1272840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.58 4.71 5/341 90106
/proc/meminfo: memFree=97044560/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1272968 CPUtime=16.01 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 20259 0 0 0 1570 31 0 0 20 0 21 0 79187089 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 318242 5517 1 0 2199581 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1272968 CPUtime=11.93 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 7105 0 0 0 1177 16 0 0 20 0 21 0 79187090 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 16.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1272968 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.57 4.70 5/341 90106
/proc/meminfo: memFree=97028428/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1272968 CPUtime=28.78 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 20464 0 0 0 2847 31 0 0 20 0 21 0 79187089 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 318242 5517 1 0 2199581 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1272968 CPUtime=24.69 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 7191 0 0 0 2453 16 0 0 20 0 21 0 79187090 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=14444 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1272968 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 28.78 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1272968 KiB
[startup+51.1059 s]
/proc/loadavg: 4.25 4.52 4.68 5/341 90107
/proc/meminfo: memFree=96983404/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1272968 CPUtime=54.46 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 23857 0 0 0 5413 33 0 0 20 0 21 0 79187089 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 318242 5517 1 0 2199581 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1272968 CPUtime=50.2 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 7465 0 0 0 5004 16 0 0 20 0 21 0 79187090 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1272968 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=14444 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 318242 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 54.46 s
################
# More data... #
################
/proc/meminfo: memFree=103633600/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3279.41 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 46673 0 0 0 327757 184 0 0 20 0 21 0 79187089 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 379230 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3270.2 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 11702 0 0 0 327003 17 0 0 20 0 21 0 79187090 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1250 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=18816 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3279.41 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1516920 KiB
[startup+3342.3 s]
/proc/loadavg: 1.45 2.93 3.72 2/265 90372
/proc/meminfo: memFree=103636576/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3339.26 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 46823 0 0 0 333741 185 0 0 20 0 21 0 79187089 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 379230 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=18816 CPUtime=3330 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 11733 0 0 0 332983 17 0 0 20 0 21 0 79187090 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=10624 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1270 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3339.26 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1516920 KiB
[startup+3402.3 s]
/proc/loadavg: 1.22 2.59 3.56 2/266 90375
/proc/meminfo: memFree=103639128/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3399.14 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 46852 0 0 0 339725 189 0 0 20 0 21 0 79187089 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 379230 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3389.82 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 11748 0 0 0 338965 17 0 0 20 0 21 0 79187090 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=14444 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1277 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3399.14 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1516920 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 2.31 3.40 2/266 90377
/proc/meminfo: memFree=103641508/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3459.02 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 46863 0 0 0 345712 190 0 0 20 0 21 0 79187089 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 379230 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3449.67 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 11754 0 0 0 344950 17 0 0 20 0 21 0 79187090 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1277 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3459.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1516920 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 2.10 3.26 2/266 90379
/proc/meminfo: memFree=103646012/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3518.93 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 46900 0 0 0 351702 191 0 0 20 0 21 0 79187089 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 379230 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=14444 CPUtime=3509.55 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 11785 0 0 0 350938 17 0 0 20 0 21 0 79187090 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=6452091039019524162 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1277 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 379230 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3518.93 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1516920 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.92 3.12 2/266 90384
/proc/meminfo: memFree=103580112/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1582804 CPUtime=3579.11 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 50560 0 0 0 357717 194 0 0 20 0 21 0 79187089 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 395701 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=1516920 CPUtime=3569.26 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 12272 0 0 0 356909 17 0 0 20 0 21 0 79187090 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1516920 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=14444 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1278 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=14444 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3579.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1582804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.3 s]
/proc/loadavg: 1.16 1.87 3.08 2/267 90390
/proc/meminfo: memFree=103580272/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1582804 CPUtime=3600.04 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 50853 0 0 0 359809 195 0 0 20 0 21 0 79187089 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 395701 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=9088 CPUtime=3590.17 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 12329 0 0 0 359000 17 0 0 20 0 21 0 79187090 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1582804 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1423 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1582804 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1582804 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.36 s]
# the end of solver process 90085 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.19 s, system=1.96227 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3603.3 s]
/proc/loadavg: 1.16 1.87 3.08 2/267 90390
/proc/meminfo: memFree=103580272/131249988 swapFree=33010160/33010684
[pid=90085] ppid=90082 vsize=19130076 memory=1582804 CPUtime=3600.04 cores=5,7
/proc/90085/stat : 90085 (java) S 90082 90085 88332 0 -1 4194304 50853 0 0 0 359809 195 0 0 20 0 21 0 79187089 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
/proc/90085/statm: 4782519 395701 5517 1 0 2199903 0
[pid=90085/tid=90087] ppid=90082 vsize=19130076 memory=9088 CPUtime=3590.17 cores=5,7
/proc/90085/task/90087/stat : 90087 (java) R 90082 90085 88332 0 -1 4194368 12329 0 0 0 359000 17 0 0 20 0 21 0 79187090 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90096] ppid=90082 vsize=19130076 memory=1582804 CPUtime=0 cores=5,7
/proc/90085/task/90096/stat : 90096 (Finalizer) S 90082 90085 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79187092 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90103] ppid=90082 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/90085/task/90103/stat : 90103 (Common-Cleaner) S 90082 90085 88332 0 -1 4194368 1423 0 0 0 0 0 0 0 20 0 21 0 79187093 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
[pid=90085/tid=90106] ppid=90082 vsize=19130076 memory=1582804 CPUtime=0 cores=5,7
/proc/90085/task/90106/stat : 90106 (Timer-0) S 90082 90085 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 79187326 19589197824 395701 18446744073709551615 93984644272128 93984644275824 140725165586208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93984644283640 93984644284432 93984652349440 140725165595004 140725165595108 140725165595108 140725165600712 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 1582804 KiB
Child status: 143
Real time (s): 3603.36
CPU time (s): 3600.15
CPU user time (s): 3598.19
CPU system time (s): 1.96227
CPU usage (%): 99.9109
Max. virtual memory (cumulated for all children) (KiB): 19130076
Max. memory (cumulated for all children) (KiB): 1582804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.19
system time used= 1.96227
maximum resident set size= 1583956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149729
involuntary context switches= 3279
# summary of solver processes directly reported to runsolver:
# pid: 90085
# total CPU time (s): 3600.15
# total CPU user time (s): 3598.19
# total CPU system time (s): 1.96227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71997 second user time and 17.8463 second system time
The end