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 (63017 MiB free)
memory of node 1: 64507 MiB (63709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507235-1751185168/watcher-4507235-1751185168 -o /tmp/evaluation-result-4507235-1751185168/solver-4507235-1751185168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751181466-25474 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507235-1751185168 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4507235-1751185168.opb
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 FSIZE limit: 102400000 KiB
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=26046, runsolver pid=26040
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.13 4.12 4.09 8/334 26080
/proc/meminfo: memFree=129666344/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=18930384 memory=59456 CPUtime=0.12 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 6494 0 0 0 10 2 0 0 20 0 18 0 34194485 19384713216 14864 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4732596 14864 5333 1 0 547620 0
[pid=26046/tid=26054] ppid=26040 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) S 26040 26046 25461 0 -1 4194368 5076 0 0 0 6 1 0 0 20 0 18 0 34194486 19384713216 14864 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34194488 19384713216 14864 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=18930384 memory=59585004307076 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34194489 19384713216 14864 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59456 KiB
[startup+0.205668 s]*
/proc/loadavg: 4.13 4.12 4.09 10/335 26081
/proc/meminfo: memFree=129525936/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=18930384 memory=71768 CPUtime=0.32 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 6906 0 0 0 30 2 0 0 20 0 18 0 34194485 19384713216 17942 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4732596 17942 5429 1 0 547959 0
[pid=26046/tid=26054] ppid=26040 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 5385 0 0 0 16 1 0 0 20 0 18 0 34194486 19384713216 17942 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=18930384 memory=15140 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34194488 19384713216 17942 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34194489 19384713216 17942 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71768 KiB
[startup+0.305922 s]*
/proc/loadavg: 4.13 4.12 4.09 9/337 26083
/proc/meminfo: memFree=129251696/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=18930384 memory=107488 CPUtime=0.51 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 8768 0 0 0 48 3 0 0 20 0 18 0 34194485 19384713216 26872 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4732596 26872 5429 1 0 549285 0
[pid=26046/tid=26054] ppid=26040 vsize=18930384 memory=-6000919507083355757 CPUtime=0.28 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 5401 0 0 0 26 2 0 0 20 0 18 0 34194486 19384713216 26872 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34194488 19384713216 26872 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34194489 19384713216 26872 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 107488 KiB
[startup+0.700263 s]
/proc/loadavg: 4.13 4.12 4.09 8/338 26084
/proc/meminfo: memFree=127807012/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=18996948 memory=860636 CPUtime=1.23 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 13853 0 0 0 104 19 0 0 20 0 19 0 34194485 19452874752 215159 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4749237 215159 5461 1 0 1078532 0
[pid=26046/tid=26054] ppid=26040 vsize=18996948 memory=17536 CPUtime=0.61 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 5762 0 0 0 45 16 0 0 20 0 19 0 34194486 19452874752 215159 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34194488 19452874752 215159 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34194489 19452874752 215159 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 860636 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.12 4.09 8/338 26084
/proc/meminfo: memFree=121352244/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=2568436 CPUtime=2.8 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 23534 0 0 0 226 54 0 0 20 0 20 0 34194485 19521036288 642109 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 642109 5461 1 0 1082221 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=3200 CPUtime=1.36 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 6647 0 0 0 87 49 0 0 20 0 20 0 34194486 19521036288 642109 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 642109 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 642109 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2568436 KiB
[startup+3.10587 s]
/proc/loadavg: 4.13 4.12 4.09 9/342 26088
/proc/meminfo: memFree=119631200/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=2571508 CPUtime=5.97 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 24285 0 0 0 542 55 0 0 20 0 20 0 34194485 19521036288 642877 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 642877 5461 1 0 1082768 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=10752 CPUtime=2.87 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 6682 0 0 0 238 49 0 0 20 0 20 0 34194486 19521036288 642877 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 642877 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 642877 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 642877 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2571508 KiB
[startup+6.3002 s]
/proc/loadavg: 4.44 4.18 4.11 7/342 26088
/proc/meminfo: memFree=119628684/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=2567336 CPUtime=10.56 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 24539 0 0 0 1000 56 0 0 20 0 20 0 34194485 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 641834 5493 1 0 1082773 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=10752 CPUtime=6.04 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 6728 0 0 0 554 50 0 0 20 0 20 0 34194486 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=-6000919507083355757 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=164 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2567336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.18 4.11 5/342 26088
/proc/meminfo: memFree=119585208/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=2567336 CPUtime=17.02 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 25505 0 0 0 1646 56 0 0 20 0 20 0 34194485 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 641834 5493 1 0 1082773 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=2567336 CPUtime=12.42 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 7642 0 0 0 1192 50 0 0 20 0 20 0 34194486 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=2567336 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 641834 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 17.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2567336 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.19 4.11 5/342 26088
/proc/meminfo: memFree=119540724/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=2567464 CPUtime=29.97 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 29688 0 0 0 2940 57 0 0 20 0 20 0 34194485 19521036288 641866 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 641866 5493 1 0 1082773 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=2567336 CPUtime=25.18 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 8805 0 0 0 2468 50 0 0 20 0 20 0 34194486 19521036288 641866 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=2567464 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 641866 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=2567336 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 641866 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 641866 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2567464 KiB
[startup+51.1059 s]
/proc/loadavg: 4.32 4.19 4.12 5/342 26088
/proc/meminfo: memFree=119255288/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=2586292 CPUtime=55.88 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 41125 0 0 0 5529 59 0 0 20 0 20 0 34194485 19521036288 646573 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 646573 5493 1 0 1082791 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=2567592 CPUtime=50.67 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 12208 0 0 0 5017 50 0 0 20 0 20 0 34194486 19521036288 646573 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=2567592 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 646573 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 646573 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 646573 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
################
# More data... #
################
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1282033 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=5126072 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2582 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1282033 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=5128132 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1282033 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3227.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5128132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.20 4.16 5/341 26276
/proc/meminfo: memFree=110744596/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5130184 CPUtime=3288.33 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 191428 0 0 0 328545 288 0 0 20 0 20 0 34194485 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1282546 5525 1 0 1300430 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=14592 CPUtime=3244.71 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 82853 0 0 0 324332 139 0 0 20 0 20 0 34194486 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5130184 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=5058064 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2638 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=5130184 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3288.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5130184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.34 4.20 5/340 26278
/proc/meminfo: memFree=111723940/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5130184 CPUtime=3348.87 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 194007 0 0 0 334596 291 0 0 20 0 20 0 34194485 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1282546 5525 1 0 1300430 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=10752 CPUtime=3303.74 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 83962 0 0 0 330235 139 0 0 20 0 20 0 34194486 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5130184 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=-6000919507083355757 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2639 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=5130184 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1282546 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3348.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5130184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.63 4.38 4.23 5/341 26281
/proc/meminfo: memFree=111756008/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5132440 CPUtime=3409.26 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 196238 0 0 0 340632 294 0 0 20 0 20 0 34194485 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1283110 5525 1 0 1300430 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=-6000919507083355757 CPUtime=3362.62 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 84978 0 0 0 336122 140 0 0 20 0 20 0 34194486 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2727 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3409.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5132440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.39 4.24 5/341 26283
/proc/meminfo: memFree=109772452/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5132440 CPUtime=3469.62 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 198756 0 0 0 346663 299 0 0 20 0 20 0 34194485 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1283110 5525 1 0 1300430 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=-6000919507083355757 CPUtime=3421.71 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 86843 0 0 0 342030 141 0 0 20 0 20 0 34194486 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2807 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1283110 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3469.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5132440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.30 4.36 4.24 5/319 26304
/proc/meminfo: memFree=115475616/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5132568 CPUtime=3529.82 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 202007 0 0 0 352678 304 0 0 20 0 20 0 34194485 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1283142 5525 1 0 1300430 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=5132440 CPUtime=3481.17 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 88741 0 0 0 347972 145 0 0 20 0 20 0 34194486 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5132440 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=4380 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2934 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=5132568 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3529.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5132568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.33 4.24 6/341 26354
/proc/meminfo: memFree=113748836/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5132568 CPUtime=3590.14 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 203749 0 0 0 358705 309 0 0 20 0 20 0 34194485 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1283142 5525 1 0 1300430 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=14592 CPUtime=3540.39 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 89576 0 0 0 353892 147 0 0 20 0 20 0 34194486 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5132568 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=-6000919507099936365 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2934 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1283142 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3590.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5132568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3591.11 s]
/proc/loadavg: 4.42 4.37 4.25 5/341 26422
/proc/meminfo: memFree=115742904/131249996 swapFree=33010684/33010684
[pid=26046] ppid=26040 vsize=19063512 memory=5134676 CPUtime=3600.03 cores=5,7
/proc/26046/stat : 26046 (java) S 26040 26046 25461 0 -1 4194304 205927 0 0 0 359693 310 0 0 20 0 20 0 34194485 19521036288 1283669 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
/proc/26046/statm: 4765878 1283669 5525 1 0 1300436 0
[pid=26046/tid=26054] ppid=26040 vsize=19063512 memory=14592 CPUtime=3549 cores=5,7
/proc/26046/task/26054/stat : 26054 (java) R 26040 26046 25461 0 -1 4194368 89657 0 0 0 354753 147 0 0 20 0 20 0 34194486 19521036288 1283669 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26073] ppid=26040 vsize=19063512 memory=5200 CPUtime=0 cores=5,7
/proc/26046/task/26073/stat : 26073 (Finalizer) S 26040 26046 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194488 19521036288 1283669 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26080] ppid=26040 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/26046/task/26080/stat : 26080 (Common-Cleaner) S 26040 26046 25461 0 -1 4194368 2992 0 0 0 0 0 0 0 20 0 20 0 34194489 19521036288 1283669 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
[pid=26046/tid=26087] ppid=26040 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/26046/task/26087/stat : 26087 (Timer-0) S 26040 26046 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194631 19521036288 1283669 18446744073709551615 94188794740736 94188794744432 140734582361088 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94188794752248 94188794753040 94188811018240 140734582364461 140734582364646 140734582364646 140734582370248 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5134676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3591.21 s]
# the end of solver process 26046 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.08 s, system=3.13125 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3591.2 s]*
/proc/loadavg: 4.42 4.37 4.25 5/324 26426
/proc/meminfo: memFree=120835664/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3591.21
CPU time (s): 3600.21
CPU user time (s): 3597.08
CPU system time (s): 3.13125
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 19069184
Max. memory (cumulated for all children) (KiB): 5134676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.08
system time used= 3.13125
maximum resident set size= 5135700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1323080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136709
involuntary context switches= 27212
# summary of solver processes directly reported to runsolver:
# pid: 26046
# total CPU time (s): 3600.21
# total CPU user time (s): 3597.08
# total CPU system time (s): 3.13125
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33959 second user time and 17.1024 second system time
The end