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 (58338 MiB free)
memory of node 1: 64507 MiB (51248 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512254-1751529585/watcher-4512254-1751529585 -o /tmp/evaluation-result-4512254-1751529585/solver-4512254-1751529585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751519881-77403 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512254-1751529585.opb
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78673, runsolver pid=78670
[startup+0.10006 s]*
/proc/loadavg: 4.59 4.75 4.73 8/336 78691
/proc/meminfo: memFree=112158164/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=18930384 memory=55584 CPUtime=0.13 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 6542 0 0 0 11 2 0 0 20 0 18 0 68636269 19384713216 13896 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4732596 13896 5361 1 0 547604 0
[pid=78673/tid=78675] ppid=78670 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 5049 0 0 0 7 1 0 0 20 0 18 0 68636270 19384713216 13896 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=18930384 memory=224227754321 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68636273 19384713216 13896 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=18930384 memory=59585004335488 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68636273 19384713216 14428 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55584 KiB
[startup+0.20591 s]*
/proc/loadavg: 4.59 4.75 4.73 9/336 78691
/proc/meminfo: memFree=112148208/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=18930384 memory=64284 CPUtime=0.32 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 7100 0 0 0 29 3 0 0 20 0 18 0 68636269 19384713216 16071 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4732596 16071 5425 1 0 547971 0
[pid=78673/tid=78675] ppid=78670 vsize=18930384 memory=4026728732 CPUtime=0.18 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 5383 0 0 0 16 2 0 0 20 0 18 0 68636270 19384713216 16071 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=18930384 memory=16195 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68636273 19384713216 16071 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 68636273 19384713216 16071 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64284 KiB
[startup+0.305838 s]*
/proc/loadavg: 4.59 4.75 4.73 10/337 78692
/proc/meminfo: memFree=112134976/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=18996948 memory=69828 CPUtime=0.5 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 7708 0 0 0 47 3 0 0 20 0 19 0 68636269 19452874752 17457 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4749237 17457 5457 1 0 548519 0
[pid=78673/tid=78675] ppid=78670 vsize=18996948 memory=-6000919507032630376 CPUtime=0.26 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 5507 0 0 0 24 2 0 0 20 0 19 0 68636270 19452874752 17457 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68636273 19452874752 17457 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68636273 19452874752 17457 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68636296 19452874752 17457 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69828 KiB
[startup+0.700234 s]
/proc/loadavg: 4.59 4.75 4.73 8/337 78692
/proc/meminfo: memFree=112118784/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=18996948 memory=117344 CPUtime=1.26 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 12699 0 0 0 121 5 0 0 20 0 19 0 68636269 19452874752 29336 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4749237 29336 5489 1 0 552022 0
[pid=78673/tid=78675] ppid=78670 vsize=18996948 memory=18688 CPUtime=0.61 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 5527 0 0 0 58 3 0 0 20 0 19 0 68636270 19452874752 29336 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68636273 19452874752 29336 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 68636273 19452874752 29336 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68636296 19452874752 29336 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117344 KiB
[startup+1.50025 s]
/proc/loadavg: 4.59 4.75 4.73 7/338 78693
/proc/meminfo: memFree=112036108/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=178368 CPUtime=2.84 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 17754 0 0 0 277 7 0 0 20 0 20 0 68636269 19521036288 44592 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 44592 5521 1 0 552348 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=10752 CPUtime=1.36 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 5844 0 0 0 132 4 0 0 20 0 20 0 68636270 19521036288 44592 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 44592 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 44592 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 44592 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178368 KiB
[startup+3.10552 s]
/proc/loadavg: 4.59 4.75 4.73 5/338 78693
/proc/meminfo: memFree=111944044/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=304304 CPUtime=5.86 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 20220 0 0 0 575 11 0 0 20 0 20 0 68636269 19521036288 76076 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 76076 5521 1 0 679990 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=10752 CPUtime=2.88 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 6571 0 0 0 282 6 0 0 20 0 20 0 68636270 19521036288 76076 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=-6000919507032630376 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 76076 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 76076 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 76076 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 304304 KiB
[startup+6.30022 s]
/proc/loadavg: 4.54 4.73 4.73 5/338 78693
/proc/meminfo: memFree=111533260/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=729560 CPUtime=9.71 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 24272 0 0 0 950 21 0 0 20 0 20 0 68636269 19521036288 182390 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 182390 5521 1 0 681292 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=0 CPUtime=6.01 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 7387 0 0 0 587 14 0 0 20 0 20 0 68636270 19521036288 182390 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 182390 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 182390 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=178368 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 182390 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 729560 KiB
[startup+12.7002 s]
/proc/loadavg: 4.50 4.72 4.72 6/338 78693
/proc/meminfo: memFree=110930652/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=1270148 CPUtime=16.32 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 25428 0 0 0 1599 33 0 0 20 0 20 0 68636269 19521036288 317537 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 317537 5521 1 0 812894 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=178368 CPUtime=12.21 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 8066 0 0 0 1197 24 0 0 20 0 20 0 68636270 19521036288 317537 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 317537 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=1270148 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 317537 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 317537 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 16.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1270148 KiB
[startup+25.5002 s]
/proc/loadavg: 4.47 4.70 4.72 6/338 78693
/proc/meminfo: memFree=110352108/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=1850240 CPUtime=29.68 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 35055 0 0 0 2924 44 0 0 20 0 20 0 68636269 19521036288 462560 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 462560 5521 1 0 812909 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=10752 CPUtime=24.69 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 10889 0 0 0 2439 30 0 0 20 0 20 0 68636270 19521036288 462560 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=1270148 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 462560 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 462560 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 462560 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 29.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1850240 KiB
[startup+51.1058 s]
/proc/loadavg: 4.50 4.69 4.72 5/338 78693
/proc/meminfo: memFree=109959908/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=2212824 CPUtime=55.73 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 39323 0 0 0 5520 53 0 0 20 0 20 0 68636269 19521036288 553206 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 553206 5521 1 0 812911 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=21996 CPUtime=49.66 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 13690 0 0 0 4933 33 0 0 20 0 20 0 68636270 19521036288 553206 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=1850240 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+2682.3 s]
/proc/loadavg: 2.44 2.47 2.63 3/290 79038
/proc/meminfo: memFree=115812380/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=5854896 CPUtime=3231.29 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 209286 0 0 0 322478 651 0 0 20 0 20 0 68636269 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1463724 5521 1 0 1476669 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=5713020 CPUtime=2635.27 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 86392 0 0 0 263420 107 0 0 20 0 20 0 68636270 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=5713020 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 888 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3231.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5854896 KiB
[startup+2742.3 s]
/proc/loadavg: 2.37 2.44 2.61 4/290 79040
/proc/meminfo: memFree=115811944/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=5854896 CPUtime=3297.99 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 213484 0 0 0 329141 658 0 0 20 0 20 0 68636269 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1463724 5521 1 0 1476671 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=5713020 CPUtime=2695.01 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 88021 0 0 0 269394 107 0 0 20 0 20 0 68636270 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=5713020 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1017 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=2736 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3297.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5854896 KiB
[startup+2802.3 s]
/proc/loadavg: 2.23 2.39 2.58 3/290 79042
/proc/meminfo: memFree=115812016/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=5854896 CPUtime=3364.76 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 215209 0 0 0 335812 664 0 0 20 0 20 0 68636269 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1463724 5521 1 0 1476671 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=5854896 CPUtime=2754.83 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 88049 0 0 0 275375 108 0 0 20 0 20 0 68636270 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=21996 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1019 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3364.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5854896 KiB
[startup+2862.3 s]
/proc/loadavg: 2.36 2.39 2.57 4/290 79044
/proc/meminfo: memFree=115812484/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=5854896 CPUtime=3432.5 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 219095 0 0 0 342577 673 0 0 20 0 20 0 68636269 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1463724 5521 1 0 1476671 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=21996 CPUtime=2814.64 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 89699 0 0 0 281355 109 0 0 20 0 20 0 68636270 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1068 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1463724 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3432.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5854896 KiB
[startup+2922.3 s]
/proc/loadavg: 2.51 2.43 2.57 3/288 79046
/proc/meminfo: memFree=115770924/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=5896728 CPUtime=3512.13 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 224440 0 0 0 350521 692 0 0 20 0 20 0 68636269 19521036288 1474182 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1474182 5521 1 0 1487111 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=5879960 CPUtime=2873.99 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) S 78670 78673 77392 0 -1 4194368 92110 0 0 0 287289 110 0 0 20 0 20 0 68636270 19521036288 1474182 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1474182 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=5854896 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1068 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1474182 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=14824 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1474182 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5896728 KiB
[startup+2982.3 s]
/proc/loadavg: 2.46 2.43 2.56 4/289 79049
/proc/meminfo: memFree=115636876/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=6030124 CPUtime=3595.86 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 226731 0 0 0 358871 715 0 0 20 0 20 0 68636269 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1507531 5521 1 0 1520535 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=10752 CPUtime=2933.13 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 92936 0 0 0 293200 113 0 0 20 0 20 0 68636270 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=6005116 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=6005116 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3595.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6030124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2984.4 s]
/proc/loadavg: 2.46 2.43 2.56 4/289 79049
/proc/meminfo: memFree=115636876/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19063512 memory=6030124 CPUtime=3600.04 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 226864 0 0 0 359287 717 0 0 20 0 20 0 68636269 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4765878 1507531 5521 1 0 1520535 0
[pid=78673/tid=78675] ppid=78670 vsize=19063512 memory=17568 CPUtime=2935.2 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 92936 0 0 0 293407 113 0 0 20 0 20 0 68636270 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19063512 memory=6030124 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 20 0 68636273 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78692] ppid=78670 vsize=19063512 memory=12288 CPUtime=0 cores=4,6
/proc/78673/task/78692/stat : 78692 (Timer-0) S 78670 78673 77392 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68636296 19521036288 1507531 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6030124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2984.55 s]
# the end of solver process 78673 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.12 s, system=7.20087 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2984.5 s]
/proc/loadavg: 2.46 2.43 2.56 4/289 79049
/proc/meminfo: memFree=115636876/131249996 swapFree=33010672/33010684
[pid=78673] ppid=78670 vsize=19263204 memory=6031020 CPUtime=3600.24 cores=4,6
/proc/78673/stat : 78673 (java) S 78670 78673 77392 0 -1 4194304 228196 0 0 0 359307 717 0 0 20 0 21 0 68636269 19725520896 1507755 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
/proc/78673/statm: 4815801 1507755 5553 1 0 1521454 0
[pid=78673/tid=78675] ppid=78670 vsize=19263204 memory=10752 CPUtime=2935.25 cores=4,6
/proc/78673/task/78675/stat : 78675 (java) R 78670 78673 77392 0 -1 4194368 92936 0 0 0 293412 113 0 0 20 0 21 0 68636270 19725520896 1507755 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78684] ppid=78670 vsize=19263204 memory=6005116 CPUtime=0 cores=4,6
/proc/78673/task/78684/stat : 78684 (Finalizer) S 78670 78673 77392 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 68636273 19725520896 1507755 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
[pid=78673/tid=78691] ppid=78670 vsize=19263204 memory=6005116 CPUtime=0 cores=4,6
/proc/78673/task/78691/stat : 78691 (Common-Cleaner) S 78670 78673 77392 0 -1 4194368 1100 0 0 0 0 0 0 0 20 0 21 0 68636273 19725520896 1507755 18446744073709551615 94848960606208 94848960609904 140732048974240 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94848960617720 94848960618512 94848986705920 140732048976254 140732048976358 140732048976358 140732048981960 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6031020 KiB
Child status: 143
Real time (s): 2984.55
CPU time (s): 3600.32
CPU user time (s): 3593.12
CPU system time (s): 7.20087
CPU usage (%): 120.632
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6031020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.12
system time used= 7.20087
maximum resident set size= 6031148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133481
involuntary context switches= 43799
# summary of solver processes directly reported to runsolver:
# pid: 78673
# total CPU time (s): 3600.32
# total CPU user time (s): 3593.12
# total CPU system time (s): 7.20087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96094 second user time and 13.6788 second system time
The end