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 (52486 MiB free)
memory of node 1: 64465 MiB (58374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524723-1751613877/watcher-4524723-1751613877 -o /tmp/evaluation-result-4524723-1751613877/solver-4524723-1751613877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751612971-102374 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524723-1751613877.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=103970, runsolver pid=103967
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.02 3.99 3.65 5/340 103988
/proc/meminfo: memFree=113492808/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=18930384 memory=57716 CPUtime=0.13 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 6580 0 0 0 12 1 0 0 20 0 18 0 77065235 19384713216 14429 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4732596 14429 5329 1 0 547620 0
[pid=103970/tid=103972] ppid=103967 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 5076 0 0 0 7 1 0 0 20 0 18 0 77065236 19384713216 14429 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77065238 19384713216 14429 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=18930384 memory=60684515953973 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77065239 19384713216 14429 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57716 KiB
[startup+0.20569 s]*
/proc/loadavg: 4.02 3.99 3.65 7/340 103988
/proc/meminfo: memFree=113474976/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=18930384 memory=64784 CPUtime=0.32 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 7225 0 0 0 30 2 0 0 20 0 18 0 77065235 19384713216 16196 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4732596 16196 5425 1 0 548093 0
[pid=103970/tid=103972] ppid=103967 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 5356 0 0 0 16 1 0 0 20 0 18 0 77065236 19384713216 16196 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=18930384 memory=14860 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77065238 19384713216 16196 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 77065239 19384713216 16196 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64784 KiB
[startup+0.309764 s]*
/proc/loadavg: 4.02 3.99 3.65 6/341 103989
/proc/meminfo: memFree=113463760/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=18996948 memory=77696 CPUtime=0.52 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 8836 0 0 0 49 3 0 0 20 0 19 0 77065235 19452874752 19424 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4749237 19424 5457 1 0 549433 0
[pid=103970/tid=103972] ppid=103967 vsize=18996948 memory=-8671506712976204476 CPUtime=0.23 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 5494 0 0 0 22 1 0 0 20 0 19 0 77065236 19452874752 19424 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77065238 19452874752 19424 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77065239 19452874752 19424 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77065265 19452874752 19424 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77696 KiB
[startup+0.700252 s]
/proc/loadavg: 4.02 3.99 3.65 6/341 103989
/proc/meminfo: memFree=113438492/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=18996948 memory=131100 CPUtime=1.25 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 10244 0 0 0 120 5 0 0 20 0 19 0 77065235 19452874752 32775 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4749237 32775 5489 1 0 550205 0
[pid=103970/tid=103972] ppid=103967 vsize=18996948 memory=18944 CPUtime=0.54 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 5540 0 0 0 52 2 0 0 20 0 19 0 77065236 19452874752 32775 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77065238 19452874752 32775 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 77065239 19452874752 32775 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77065265 19452874752 32775 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131100 KiB
[startup+1.50026 s]
/proc/loadavg: 4.02 3.99 3.65 6/342 103990
/proc/meminfo: memFree=113341324/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=182928 CPUtime=2.82 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 18744 0 0 0 275 7 0 0 20 0 20 0 77065235 19521036288 45732 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 45732 5521 1 0 552464 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=0 CPUtime=1.28 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 6187 0 0 0 125 3 0 0 20 0 20 0 77065236 19521036288 45732 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 45732 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 45732 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 45732 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182928 KiB
[startup+3.10578 s]
/proc/loadavg: 4.10 4.01 3.65 6/342 103990
/proc/meminfo: memFree=113009688/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=491868 CPUtime=5.48 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 22007 0 0 0 534 14 0 0 20 0 20 0 77065235 19521036288 122967 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 122967 5521 1 0 674594 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=10624 CPUtime=2.78 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 6932 0 0 0 270 8 0 0 20 0 20 0 77065236 19521036288 122967 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=-8671506712976204476 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 122967 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 122967 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 122967 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 491868 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.01 3.65 6/342 103990
/proc/meminfo: memFree=112694296/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=803624 CPUtime=9.06 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 22295 0 0 0 885 21 0 0 20 0 20 0 77065235 19521036288 200906 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 200906 5521 1 0 674597 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=0 CPUtime=5.92 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 7092 0 0 0 577 15 0 0 20 0 20 0 77065236 19521036288 200906 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 200906 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 200906 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=187024 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 200906 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 803624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.03 3.66 5/342 103990
/proc/meminfo: memFree=112649248/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=840556 CPUtime=15.66 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 25023 0 0 0 1544 22 0 0 20 0 20 0 77065235 19521036288 210139 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 210139 5521 1 0 674599 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=187024 CPUtime=12.24 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 7827 0 0 0 1209 15 0 0 20 0 20 0 77065236 19521036288 210139 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=840556 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 210139 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 210139 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 210139 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 15.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 840556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.03 3.67 5/341 103990
/proc/meminfo: memFree=112599844/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=883728 CPUtime=28.66 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 28788 0 0 0 2841 25 0 0 20 0 20 0 77065235 19521036288 220932 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 220932 5521 1 0 674599 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=883728 CPUtime=24.9 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 8964 0 0 0 2475 15 0 0 20 0 20 0 77065236 19521036288 220932 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 220932 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=2264 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 220932 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 220932 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 28.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 883728 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.04 3.68 5/341 103990
/proc/meminfo: memFree=111599752/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=1793488 CPUtime=56.13 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 47450 0 0 0 5568 45 0 0 20 0 20 0 77065235 19521036288 448372 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 448372 5521 1 0 681768 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=1793488 CPUtime=50.22 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 12220 0 0 0 4995 27 0 0 20 0 20 0 77065236 19521036288 448372 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
################
# More data... #
################
[startup+2862.3 s]
/proc/loadavg: 1.50 3.01 3.76 2/265 104251
/proc/meminfo: memFree=112344936/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=5764388 CPUtime=3182.03 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 179945 0 0 0 317781 422 0 0 20 0 20 0 77065235 19521036288 1441097 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1441097 5521 1 0 1454865 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=5661860 CPUtime=2825.96 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 77650 0 0 0 282498 98 0 0 20 0 20 0 77065236 19521036288 1441097 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1441097 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=14432 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1144 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1441097 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=-8671506712976204476 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1441097 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3182.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5764388 KiB
[startup+2922.3 s]
/proc/loadavg: 1.39 2.71 3.61 3/266 104254
/proc/meminfo: memFree=112263128/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=5847952 CPUtime=3259.51 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 186164 0 0 0 325514 437 0 0 20 0 20 0 77065235 19521036288 1461988 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1461988 5521 1 0 1475800 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=5661860 CPUtime=2884.73 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 81160 0 0 0 288373 100 0 0 20 0 20 0 77065236 19521036288 1461988 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=5847952 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1461988 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=5847952 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1180 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1461988 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=-8671506712976204476 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1461988 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3259.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5847952 KiB
[startup+2982.3 s]
/proc/loadavg: 1.39 2.47 3.47 3/266 104257
/proc/meminfo: memFree=112097376/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=6014232 CPUtime=3336.15 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 191199 0 0 0 333165 450 0 0 20 0 20 0 77065235 19521036288 1503558 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1503558 5521 1 0 1517579 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=5831180 CPUtime=2943.64 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 83286 0 0 0 294261 103 0 0 20 0 20 0 77065236 19521036288 1503558 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1503558 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=-8671506712976204476 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1203 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1503558 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1503558 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3336.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6014232 KiB
[startup+3042.3 s]
/proc/loadavg: 1.32 2.24 3.33 2/266 104259
/proc/meminfo: memFree=112005104/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=6106648 CPUtime=3406.55 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 193799 0 0 0 340195 460 0 0 20 0 20 0 77065235 19521036288 1526662 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1526662 5521 1 0 1540563 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=14432 CPUtime=3002.62 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 85238 0 0 0 300157 105 0 0 20 0 20 0 77065236 19521036288 1526662 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=6106648 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1526662 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=6106648 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1203 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1526662 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=6106648 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1526662 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3406.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6106648 KiB
[startup+3102.3 s]
/proc/loadavg: 1.37 2.09 3.20 3/265 104261
/proc/meminfo: memFree=111923028/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=6190016 CPUtime=3482 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 200151 0 0 0 347727 473 0 0 20 0 20 0 77065235 19521036288 1547504 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1547504 5521 1 0 1561450 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=6147968 CPUtime=3061.51 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 89060 0 0 0 306045 106 0 0 20 0 20 0 77065236 19521036288 1547504 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=6148352 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1547504 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=6148352 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1547504 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=6189376 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1547504 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3482 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6190016 KiB
[startup+3162.3 s]
/proc/loadavg: 1.22 1.92 3.07 3/265 104263
/proc/meminfo: memFree=111889044/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=6223428 CPUtime=3550.84 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 204502 0 0 0 354603 481 0 0 20 0 20 0 77065235 19521036288 1555857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1555857 5521 1 0 1569808 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=6147968 CPUtime=3120.76 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 91131 0 0 0 311968 108 0 0 20 0 20 0 77065236 19521036288 1555857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=6106648 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1555857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1555857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=6223428 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1555857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3550.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6223428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3204.7 s]
/proc/loadavg: 1.28 1.84 2.99 2/265 104266
/proc/meminfo: memFree=111813772/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19063512 memory=6306788 CPUtime=3600.07 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 206756 0 0 0 359520 487 0 0 20 0 20 0 77065235 19521036288 1576697 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4765878 1576697 5521 1 0 1590700 0
[pid=103970/tid=103972] ppid=103967 vsize=19063512 memory=6147968 CPUtime=3162.71 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) R 103967 103970 100921 0 -1 4194368 92862 0 0 0 316161 110 0 0 20 0 20 0 77065236 19521036288 1576697 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19063512 memory=18944 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77065238 19521036288 1576697 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19063512 memory=6306788 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 20 0 77065239 19521036288 1576697 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103989] ppid=103967 vsize=19063512 memory=6306148 CPUtime=0 cores=4,6
/proc/103970/task/103989/stat : 103989 (Timer-0) S 103967 103970 100921 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77065265 19521036288 1576697 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6306788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3204.89 s]
# the end of solver process 103970 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.53 s, system=4.90667 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3204.8 s]
/proc/loadavg: 1.28 1.84 2.99 2/265 104266
/proc/meminfo: memFree=111813772/131250000 swapFree=33010160/33010684
[pid=103970] ppid=103967 vsize=19263204 memory=6307428 CPUtime=3600.28 cores=4,6
/proc/103970/stat : 103970 (java) S 103967 103970 100921 0 -1 4194304 207979 0 0 0 359540 488 0 0 20 0 22 0 77065235 19725520896 1576857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
/proc/103970/statm: 4815801 1576857 5521 1 0 1591619 0
[pid=103970/tid=103972] ppid=103967 vsize=19263204 memory=6306788 CPUtime=3162.73 cores=4,6
/proc/103970/task/103972/stat : 103972 (java) S 103967 103970 100921 0 -1 4194368 92892 0 0 0 316163 110 0 0 20 0 22 0 77065236 19725520896 1576857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103981] ppid=103967 vsize=19263204 memory=6306788 CPUtime=0 cores=4,6
/proc/103970/task/103981/stat : 103981 (Finalizer) S 103967 103970 100921 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 77065238 19725520896 1576857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
[pid=103970/tid=103988] ppid=103967 vsize=19263204 memory=-8671506712976204476 CPUtime=0 cores=4,6
/proc/103970/task/103988/stat : 103988 (Common-Cleaner) S 103967 103970 100921 0 -1 4194368 1295 0 0 0 0 0 0 0 20 0 22 0 77065239 19725520896 1576857 18446744073709551615 94453182365696 94453182369392 140725515000176 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94453182377208 94453182378000 94453188022272 140725515008379 140725515008483 140725515008483 140725515014088 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6307428 KiB
Child status: 143
Real time (s): 3204.89
CPU time (s): 3600.43
CPU user time (s): 3595.53
CPU system time (s): 4.90667
CPU usage (%): 112.342
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6307428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.53
system time used= 4.90667
maximum resident set size= 6307684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121429
involuntary context switches= 27183
# summary of solver processes directly reported to runsolver:
# pid: 103970
# total CPU time (s): 3600.43
# total CPU user time (s): 3595.53
# total CPU system time (s): 4.90667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48227 second user time and 14.1387 second system time
The end