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 (57140 MiB free)
memory of node 1: 64507 MiB (45443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525740-1751627986/watcher-4525740-1751627986 -o /tmp/evaluation-result-4525740-1751627986/solver-4525740-1751627986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751627986-88345 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525740-1751627986.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=88392, runsolver pid=88379
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.18 2.01 2.93 9/332 88470
/proc/meminfo: memFree=104982244/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=18930384 memory=54204 CPUtime=0.1 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 6200 0 0 0 8 2 0 0 20 0 18 0 78477507 19384713216 13551 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4732596 13551 5339 1 0 547302 0
[pid=88392/tid=88410] ppid=88379 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 4981 0 0 0 5 1 0 0 20 0 18 0 78477509 19384713216 13551 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=18930384 memory=2697 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78477511 19384713216 13551 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78477511 19384713216 13551 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54204 KiB
[startup+0.205703 s]*
/proc/loadavg: 1.18 2.01 2.93 11/332 88470
/proc/meminfo: memFree=104951756/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=18930384 memory=66248 CPUtime=0.3 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 7063 0 0 0 27 3 0 0 20 0 18 0 78477507 19384713216 16562 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4732596 16562 5435 1 0 547959 0
[pid=88392/tid=88410] ppid=88379 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 5372 0 0 0 15 2 0 0 20 0 18 0 78477509 19384713216 16562 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=18930384 memory=2697 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78477511 19384713216 16562 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78477511 19384713216 16562 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66248 KiB
[startup+0.305555 s]*
/proc/loadavg: 1.18 2.01 2.93 9/332 88470
/proc/meminfo: memFree=104839968/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=18930384 memory=97384 CPUtime=0.49 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 8649 0 0 0 45 4 0 0 20 0 18 0 78477507 19384713216 24346 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4732596 24346 5435 1 0 548988 0
[pid=88392/tid=88410] ppid=88379 vsize=18930384 memory=-6000919468495496295 CPUtime=0.24 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 5387 0 0 0 22 2 0 0 20 0 18 0 78477509 19384713216 24346 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78477511 19384713216 24346 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 78477511 19384713216 24346 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97384 KiB
[startup+0.700242 s]
/proc/loadavg: 1.18 2.01 2.93 9/336 88474
/proc/meminfo: memFree=104537584/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=18996948 memory=196096 CPUtime=1.25 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 11750 0 0 0 119 6 0 0 20 0 19 0 78477507 19452874752 49024 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4749237 49024 5467 1 0 551331 0
[pid=88392/tid=88410] ppid=88379 vsize=18996948 memory=18816 CPUtime=0.57 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 5460 0 0 0 54 3 0 0 20 0 19 0 78477509 19452874752 49024 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=18996948 memory=10624 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78477511 19452874752 49024 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 78477511 19452874752 49024 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 196096 KiB
[startup+1.50026 s]
/proc/loadavg: 1.18 2.01 2.93 10/338 88476
/proc/meminfo: memFree=104261456/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=231068 CPUtime=2.84 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 13975 0 0 0 276 8 0 0 20 0 20 0 78477507 19521036288 57767 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 57767 5531 1 0 552692 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3200 CPUtime=1.25 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 5595 0 0 0 121 4 0 0 20 0 20 0 78477509 19521036288 57767 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 57767 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 57767 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 57767 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 231068 KiB
[startup+3.10569 s]
/proc/loadavg: 1.73 2.11 2.96 9/340 88478
/proc/meminfo: memFree=102871364/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=234636 CPUtime=5.19 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 20402 0 0 0 510 9 0 0 20 0 20 0 78477507 19521036288 58659 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 58659 5531 1 0 553485 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=10624 CPUtime=2.84 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 5630 0 0 0 280 4 0 0 20 0 20 0 78477509 19521036288 58659 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 58659 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 58659 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 58659 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 234636 KiB
[startup+6.30024 s]
/proc/loadavg: 1.73 2.11 2.96 5/340 88478
/proc/meminfo: memFree=102302956/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=229564 CPUtime=8.41 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 21063 0 0 0 832 9 0 0 20 0 20 0 78477507 19521036288 57391 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 57391 5531 1 0 553485 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=0 CPUtime=6.01 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 5760 0 0 0 597 4 0 0 20 0 20 0 78477509 19521036288 57391 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 57391 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 57391 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=231196 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 57391 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 229564 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.18 2.97 5/340 88478
/proc/meminfo: memFree=101507208/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=258560 CPUtime=15.3 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 28921 0 0 0 1519 11 0 0 20 0 20 0 78477507 19521036288 64640 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 64640 5531 1 0 950749 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=10624 CPUtime=12.36 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 6392 0 0 0 1232 4 0 0 20 0 20 0 78477509 19521036288 64640 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=231196 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 64640 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=249844 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 64640 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 64640 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 15.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 258560 KiB
[startup+25.5003 s]
/proc/loadavg: 2.53 2.27 3.00 5/342 88481
/proc/meminfo: memFree=101140664/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=290916 CPUtime=28.16 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 30026 0 0 0 2804 12 0 0 20 0 20 0 78477507 19521036288 72729 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 72729 5531 1 0 950749 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=-6000919468378121319 CPUtime=25.11 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 6970 0 0 0 2507 4 0 0 20 0 20 0 78477509 19521036288 72729 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=258560 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 72729 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 72729 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 72729 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 28.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 290916 KiB
[startup+51.1058 s]
/proc/loadavg: 3.03 2.41 3.02 5/342 88481
/proc/meminfo: memFree=101089424/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=321832 CPUtime=53.93 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 31163 0 0 0 5379 14 0 0 20 0 20 0 78477507 19521036288 80458 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 80458 5531 1 0 950765 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=315620 CPUtime=50.63 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 7054 0 0 0 5058 5 0 0 20 0 20 0 78477509 19521036288 80458 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 80458 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 80458 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=2273 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=93690544/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3219.75 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 78387 0 0 0 321826 149 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3211.14 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 24738 0 0 0 321070 44 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=-6000919468378121319 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2652 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3219.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/342 88647
/proc/meminfo: memFree=93686400/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3279.61 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 78655 0 0 0 327811 150 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3270.99 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 24899 0 0 0 327055 44 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2698 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3279.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/343 88652
/proc/meminfo: memFree=93679216/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3339.47 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 78750 0 0 0 333797 150 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3330.84 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 24985 0 0 0 333040 44 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=280818116197424 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2700 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=10624 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3339.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.04 5/343 88658
/proc/meminfo: memFree=93654648/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3399.35 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 80178 0 0 0 339784 151 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3390.62 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 25153 0 0 0 339018 44 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2700 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3399.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/342 88660
/proc/meminfo: memFree=93645732/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3459.19 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 80310 0 0 0 345767 152 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3450.43 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 25244 0 0 0 344999 44 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2733 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3459.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/342 88662
/proc/meminfo: memFree=93637792/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3519 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 80518 0 0 0 351747 153 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3510.22 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 25394 0 0 0 350978 44 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=14444 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2733 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3519 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.06 5/342 88663
/proc/meminfo: memFree=93629212/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3578.82 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 80740 0 0 0 357727 155 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=2764 CPUtime=3570.02 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 25564 0 0 0 356957 45 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2776 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3578.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.6 s]
/proc/loadavg: 4.27 4.13 4.07 6/342 88797
/proc/meminfo: memFree=97252524/131249988 swapFree=33010160/33010684
[pid=88392] ppid=88379 vsize=19063512 memory=3050448 CPUtime=3600.06 cores=5,7
/proc/88392/stat : 88392 (java) S 88379 88392 88332 0 -1 4194304 80768 0 0 0 359850 156 0 0 20 0 20 0 78477507 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
/proc/88392/statm: 4765878 762612 5531 1 0 951579 0
[pid=88392/tid=88410] ppid=88379 vsize=19063512 memory=10624 CPUtime=3591.25 cores=5,7
/proc/88392/task/88410/stat : 88410 (java) R 88379 88392 88332 0 -1 4194368 25588 0 0 0 359080 45 0 0 20 0 20 0 78477509 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88425] ppid=88379 vsize=19063512 memory=3050448 CPUtime=0 cores=5,7
/proc/88392/task/88425/stat : 88425 (Finalizer) S 88379 88392 88332 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88432] ppid=88379 vsize=19063512 memory=-6000919468378121319 CPUtime=0 cores=5,7
/proc/88392/task/88432/stat : 88432 (Common-Cleaner) S 88379 88392 88332 0 -1 4194368 2776 0 0 0 0 0 0 0 20 0 20 0 78477511 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
[pid=88392/tid=88475] ppid=88379 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/88392/task/88475/stat : 88475 (Timer-0) S 88379 88392 88332 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78477588 19521036288 762612 18446744073709551615 94486320046080 94486320049776 140736630825440 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94486320057592 94486320058384 94486349496320 140736630827388 140736630827492 140736630827492 140736630833096 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3050448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.69 s]
# the end of solver process 88392 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.61 s, system=1.58232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3603.69
CPU time (s): 3600.2
CPU user time (s): 3598.61
CPU system time (s): 1.58232
CPU usage (%): 99.9031
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3050448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.58232
maximum resident set size= 3051728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113715
involuntary context switches= 4281
# summary of solver processes directly reported to runsolver:
# pid: 88392
# total CPU time (s): 3600.2
# total CPU user time (s): 3598.61
# total CPU system time (s): 1.58232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21394 second user time and 16.7304 second system time
The end