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: 63708 MiB (54635 MiB free)
memory of node 1: 64465 MiB (58217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517543-1751537157/watcher-4517543-1751537157 -o /tmp/evaluation-result-4517543-1751537157/solver-4517543-1751537157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751529963-73999 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4517543-1751537157 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4517543-1751537157.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74981, runsolver pid=74978
[startup+0.100061 s]*
/proc/loadavg: 4.23 4.21 4.19 6/339 74999
/proc/meminfo: memFree=115533880/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=18930384 memory=55644 CPUtime=0.12 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 6538 0 0 0 10 2 0 0 20 0 18 0 69394146 19384713216 13911 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4732596 13911 5340 1 0 547588 0
[pid=74981/tid=74983] ppid=74978 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 5036 0 0 0 6 1 0 0 20 0 18 0 69394148 19384713216 13911 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69394150 19384713216 13911 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=18930384 memory=59585004339238 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69394150 19384713216 13911 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55644 KiB
[startup+0.205882 s]*
/proc/loadavg: 4.23 4.21 4.19 7/339 74999
/proc/meminfo: memFree=115525752/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=18930384 memory=64472 CPUtime=0.32 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 7116 0 0 0 29 3 0 0 20 0 18 0 69394146 19384713216 16118 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4732596 16118 5468 1 0 547962 0
[pid=74981/tid=74983] ppid=74978 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 5384 0 0 0 15 2 0 0 20 0 18 0 69394148 19384713216 16118 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69394150 19384713216 16118 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69394150 19384713216 16118 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64472 KiB
[startup+0.305851 s]*
/proc/loadavg: 4.23 4.21 4.19 6/339 74999
/proc/meminfo: memFree=115462800/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=18930384 memory=136524 CPUtime=0.5 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 8688 0 0 0 46 4 0 0 20 0 18 0 69394146 19384713216 34131 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4732596 34131 5468 1 0 549027 0
[pid=74981/tid=74983] ppid=74978 vsize=18930384 memory=-6000919472672696424 CPUtime=0.26 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 5427 0 0 0 23 3 0 0 20 0 18 0 69394148 19384713216 34131 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69394150 19384713216 34131 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69394150 19384713216 34131 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 136524 KiB
[startup+0.700222 s]
/proc/loadavg: 4.23 4.21 4.19 6/340 75000
/proc/meminfo: memFree=115429312/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=174524 CPUtime=1.25 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 13995 0 0 0 119 6 0 0 20 0 20 0 69394146 19521036288 43631 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 43631 5500 1 0 552586 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=18688 CPUtime=0.56 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 5595 0 0 0 53 3 0 0 20 0 20 0 69394148 19521036288 43631 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 43631 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 43631 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174524 KiB
[startup+1.50024 s]
/proc/loadavg: 4.23 4.21 4.19 6/341 75001
/proc/meminfo: memFree=115395228/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=209724 CPUtime=2.83 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 28802 0 0 0 273 10 0 0 20 0 20 0 69394146 19521036288 52431 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 52431 5500 1 0 556523 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=3328 CPUtime=1.27 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 5672 0 0 0 123 4 0 0 20 0 20 0 69394148 19521036288 52431 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 52431 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 52431 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 52431 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209724 KiB
[startup+3.10572 s]
/proc/loadavg: 4.29 4.23 4.20 7/341 75001
/proc/meminfo: memFree=115207508/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=426856 CPUtime=6.02 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 40573 0 0 0 586 16 0 0 20 0 20 0 69394146 19521036288 106714 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 106714 5500 1 0 559424 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=14976 CPUtime=2.81 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 6899 0 0 0 273 8 0 0 20 0 20 0 69394148 19521036288 106714 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 106714 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 106714 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 106714 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 426856 KiB
[startup+6.30024 s]
/proc/loadavg: 4.29 4.23 4.20 6/341 75001
/proc/meminfo: memFree=114244056/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=1508084 CPUtime=10.6 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 43152 0 0 0 1022 38 0 0 20 0 20 0 69394146 19521036288 377021 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 377021 5500 1 0 860340 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=0 CPUtime=5.92 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 8205 0 0 0 563 29 0 0 20 0 20 0 69394148 19521036288 377021 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 377021 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 377021 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=224088 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 377021 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 10.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1508084 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.22 4.19 5/341 75001
/proc/meminfo: memFree=113499312/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=2058312 CPUtime=17.15 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 44043 0 0 0 1666 49 0 0 20 0 20 0 69394146 19521036288 514578 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 514578 5500 1 0 860392 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=224088 CPUtime=12.25 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 8984 0 0 0 1187 38 0 0 20 0 20 0 69394148 19521036288 514578 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=2058312 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 514578 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 514578 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 514578 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 17.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2058312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.24 4.20 5/341 75068
/proc/meminfo: memFree=117393936/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=2078916 CPUtime=30.11 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 50209 0 0 0 2959 52 0 0 20 0 20 0 69394146 19521036288 519729 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 519729 5500 1 0 860392 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=0 CPUtime=24.9 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 11458 0 0 0 2450 40 0 0 20 0 20 0 69394148 19521036288 519729 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 519729 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 519729 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 519729 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 30.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2078916 KiB
[startup+51.1058 s]
/proc/loadavg: 4.30 4.24 4.20 5/341 75069
/proc/meminfo: memFree=117102540/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=2120036 CPUtime=55.98 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 57993 0 0 0 5541 57 0 0 20 0 20 0 69394146 19521036288 530009 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 530009 5500 1 0 860424 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=14976 CPUtime=50.13 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 14139 0 0 0 4970 43 0 0 20 0 20 0 69394148 19521036288 530009 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 530009 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=0 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1714 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3199.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.27 4.21 5/344 75305
/proc/meminfo: memFree=111019240/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3260.16 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 169617 0 0 0 325580 436 0 0 20 0 20 0 69394146 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975931 5564 1 0 990676 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3108.8 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 69263 0 0 0 310576 304 0 0 20 0 20 0 69394148 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1787 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3260.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903724 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/344 75307
/proc/meminfo: memFree=110974664/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3319.39 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 169994 0 0 0 331497 442 0 0 20 0 20 0 69394146 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975931 5564 1 0 990676 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=14976 CPUtime=3165.5 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 69431 0 0 0 316243 307 0 0 20 0 20 0 69394148 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=-6000919472672696424 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1860 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3319.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903724 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.24 4.20 6/344 75322
/proc/meminfo: memFree=110935200/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3380.56 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 171312 0 0 0 337608 448 0 0 20 0 20 0 69394146 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975931 5564 1 0 990676 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3223.66 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 70539 0 0 0 322055 311 0 0 20 0 20 0 69394148 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=-6000919472672696424 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=21996 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1860 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975931 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3380.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903724 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.25 4.21 5/343 75324
/proc/meminfo: memFree=110891700/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903852 CPUtime=3440.38 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 175466 0 0 0 343584 454 0 0 20 0 20 0 69394146 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975963 5564 1 0 990688 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3280.82 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 72137 0 0 0 327767 315 0 0 20 0 20 0 69394148 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=3903852 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3903852 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1932 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3903852 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3440.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.24 4.20 5/342 75326
/proc/meminfo: memFree=110860544/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903852 CPUtime=3501.49 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 177762 0 0 0 349690 459 0 0 20 0 20 0 69394146 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975963 5564 1 0 990688 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3339.1 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 73502 0 0 0 333591 319 0 0 20 0 20 0 69394148 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=3903852 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3903852 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1932 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3903724 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975963 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3501.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903852 KiB
[startup+3522.3 s]
/proc/loadavg: 3.85 4.15 4.18 4/317 75363
/proc/meminfo: memFree=115659636/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903980 CPUtime=3562.72 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 178058 0 0 0 355808 464 0 0 20 0 20 0 69394146 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975995 5564 1 0 990701 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=3903724 CPUtime=3397.35 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 73544 0 0 0 339413 322 0 0 20 0 20 0 69394148 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=3903852 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1985 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=3903980 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3562.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3561.4 s]
/proc/loadavg: 3.55 4.04 4.14 4/317 75365
/proc/meminfo: memFree=115641328/131249996 swapFree=33010160/33010684
[pid=74981] ppid=74978 vsize=19063512 memory=3903980 CPUtime=3600.04 cores=5,7
/proc/74981/stat : 74981 (java) S 74978 74981 73986 0 -1 4194304 178659 0 0 0 359537 467 0 0 20 0 20 0 69394146 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
/proc/74981/statm: 4765878 975995 5564 1 0 990701 0
[pid=74981/tid=74983] ppid=74978 vsize=19063512 memory=245635481903 CPUtime=3433.46 cores=5,7
/proc/74981/task/74983/stat : 74983 (java) R 74978 74981 73986 0 -1 4194368 74027 0 0 0 343022 324 0 0 20 0 20 0 69394148 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74992] ppid=74978 vsize=19063512 memory=55212677268211 CPUtime=0 cores=5,7
/proc/74981/task/74992/stat : 74992 (Finalizer) S 74978 74981 73986 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=74999] ppid=74978 vsize=19063512 memory=3472330512545424514 CPUtime=0 cores=5,7
/proc/74981/task/74999/stat : 74999 (Common-Cleaner) S 74978 74981 73986 0 -1 4194368 1985 0 0 0 0 0 0 0 20 0 20 0 69394150 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
[pid=74981/tid=75001] ppid=74978 vsize=19063512 memory=2688 CPUtime=0 cores=5,7
/proc/74981/task/75001/stat : 75001 (Timer-0) S 74978 74981 73986 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69394202 19521036288 975995 18446744073709551615 94734195261440 94734195265136 140729798847984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94734195272952 94734195273744 94734208708608 140729798850861 140729798851046 140729798851046 140729798856648 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3903980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3561.52 s]
# the end of solver process 74981 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.53 s, system=4.6928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3561.5 s]*
/proc/loadavg: 3.55 4.04 4.14 4/299 75368
/proc/meminfo: memFree=119399512/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3561.52
CPU time (s): 3600.23
CPU user time (s): 3595.53
CPU system time (s): 4.6928
CPU usage (%): 101.087
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3903980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.53
system time used= 4.6928
maximum resident set size= 3905004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2015520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147307
involuntary context switches= 26253
# summary of solver processes directly reported to runsolver:
# pid: 74981
# total CPU time (s): 3600.23
# total CPU user time (s): 3595.53
# total CPU system time (s): 4.6928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.63372 second user time and 16.6804 second system time
The end