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 (63129 MiB free)
memory of node 1: 64507 MiB (63877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524441-1751634797/watcher-4524441-1751634797 -o /tmp/evaluation-result-4524441-1751634797/solver-4524441-1751634797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751634797-93723 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524441-1751634797.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=93737, runsolver pid=93734
[startup+0.100066 s]*
/proc/loadavg: 1.10 1.51 1.97 1/264 93755
/proc/meminfo: memFree=130039564/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=18930384 memory=53552 CPUtime=0.09 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 6000 0 0 0 7 2 0 0 20 0 18 0 79159324 19384713216 13388 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4732596 13388 5353 1 0 547170 0
[pid=93737/tid=93739] ppid=93734 vsize=18930384 memory=4026532029 CPUtime=0.05 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) D 93734 93737 93711 0 -1 4194368 4904 0 0 0 4 1 0 0 20 0 18 0 79159326 19384713216 13388 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=18930384 memory=232800911689 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79159328 19384713216 13388 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=18930384 memory=56282157696539 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79159329 19384713216 13388 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53552 KiB
[startup+0.20576 s]*
/proc/loadavg: 1.09 1.50 1.96 1/264 93755
/proc/meminfo: memFree=130039564/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=18930384 memory=53680 CPUtime=0.09 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 6031 0 0 0 7 2 0 0 20 0 18 0 79159324 19384713216 13420 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4732596 13420 5353 1 0 547210 0
[pid=93737/tid=93739] ppid=93734 vsize=18930384 memory=32758254098972917 CPUtime=0.05 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) D 93734 93737 93711 0 -1 4194368 4935 0 0 0 4 1 0 0 20 0 18 0 79159326 19384713216 13420 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=18930384 memory=16885 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79159328 19384713216 13420 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=18930384 memory=60688777347957 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79159329 19384713216 13420 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53680 KiB
[startup+0.304785 s]*
/proc/loadavg: 1.09 1.50 1.96 1/264 93755
/proc/meminfo: memFree=130039564/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=18930384 memory=59836 CPUtime=0.16 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 6559 0 0 0 14 2 0 0 20 0 18 0 79159324 19384713216 14959 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4732596 14959 5353 1 0 547691 0
[pid=93737/tid=93739] ppid=93734 vsize=18930384 memory=-6000919489919805798 CPUtime=0.09 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) D 93734 93737 93711 0 -1 4194368 5136 0 0 0 8 1 0 0 20 0 18 0 79159326 19384713216 14959 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79159328 19384713216 14959 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 79159329 19384713216 14959 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59836 KiB
[startup+0.700941 s]
/proc/loadavg: 1.09 1.50 1.96 1/264 93755
/proc/meminfo: memFree=130031120/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=18996948 memory=77172 CPUtime=0.66 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 7464 0 0 0 63 3 0 0 20 0 19 0 79159324 19452874752 19293 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4749237 19293 5481 1 0 548544 0
[pid=93737/tid=93739] ppid=93734 vsize=18996948 memory=13952 CPUtime=0.34 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 5524 0 0 0 32 2 0 0 20 0 19 0 79159326 19452874752 19293 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79159328 19452874752 19293 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=18996948 memory=20096 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 79159329 19452874752 19293 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77172 KiB
[startup+1.50022 s]
/proc/loadavg: 1.09 1.50 1.96 3/265 93756
/proc/meminfo: memFree=129998248/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=174912 CPUtime=2.24 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 16284 0 0 0 218 6 0 0 20 0 20 0 79159324 19521036288 43728 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 43728 5513 1 0 552484 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=0 CPUtime=1.12 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 5836 0 0 0 109 3 0 0 20 0 20 0 79159326 19521036288 43728 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 43728 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 43728 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 43728 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174912 KiB
[startup+3.10542 s]
/proc/loadavg: 1.09 1.50 1.96 3/266 93757
/proc/meminfo: memFree=129918268/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=194480 CPUtime=4.66 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 21564 0 0 0 459 7 0 0 20 0 20 0 79159324 19521036288 48620 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 48620 5513 1 0 553686 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=0 CPUtime=2.69 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 6197 0 0 0 266 3 0 0 20 0 20 0 79159326 19521036288 48620 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 48620 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 48620 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=95720 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 48620 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194480 KiB
[startup+6.30023 s]
/proc/loadavg: 1.08 1.50 1.96 2/266 93757
/proc/meminfo: memFree=129865516/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=266412 CPUtime=8.28 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 22681 0 0 0 819 9 0 0 20 0 20 0 79159324 19521036288 66603 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 66603 5513 1 0 553708 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=0 CPUtime=5.85 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 6292 0 0 0 580 5 0 0 20 0 20 0 79159326 19521036288 66603 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=198700 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 66603 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 66603 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 66603 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 266412 KiB
[startup+12.7002 s]
/proc/loadavg: 1.08 1.49 1.95 2/266 93757
/proc/meminfo: memFree=129644808/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=464332 CPUtime=15.09 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 27047 0 0 0 1496 13 0 0 20 0 20 0 79159324 19521036288 116083 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 116083 5513 1 0 553708 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=0 CPUtime=12.14 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 7092 0 0 0 1207 7 0 0 20 0 20 0 79159326 19521036288 116083 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=-6000919489919805798 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 116083 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=458184 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 116083 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 116083 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 15.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464332 KiB
[startup+25.5002 s]
/proc/loadavg: 1.14 1.49 1.95 2/266 93757
/proc/meminfo: memFree=129333512/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=776036 CPUtime=28.34 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 32029 0 0 0 2813 21 0 0 20 0 20 0 79159324 19521036288 194009 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 194009 5513 1 0 553708 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=458184 CPUtime=24.74 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 8245 0 0 0 2463 11 0 0 20 0 20 0 79159326 19521036288 194009 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=776036 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 194009 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 194009 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=273324 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 194009 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 776036 KiB
[startup+51.1055 s]
/proc/loadavg: 1.09 1.44 1.91 2/266 93758
/proc/meminfo: memFree=128788996/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=1323064 CPUtime=54.21 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 34569 0 0 0 5389 32 0 0 20 0 20 0 79159324 19521036288 330766 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 330766 5513 1 0 553708 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=1105876 CPUtime=49.96 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 9603 0 0 0 4981 15 0 0 20 0 20 0 79159326 19521036288 330766 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=1253384 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 330766 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 330766 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
################
# More data... #
################
[startup+2622.3 s]
/proc/loadavg: 1.39 1.36 1.36 3/265 93889
/proc/meminfo: memFree=120855696/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9231060 CPUtime=3165.73 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 245931 0 0 0 315868 705 0 0 20 0 20 0 79159324 19521036288 2307765 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2307765 5513 1 0 2329122 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=9163432 CPUtime=2570.75 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 110141 0 0 0 256859 216 0 0 20 0 20 0 79159326 19521036288 2307765 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=9231060 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2307765 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 960 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2307765 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=9231060 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2307765 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3165.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9231060 KiB
[startup+2682.3 s]
/proc/loadavg: 1.36 1.35 1.36 2/265 93891
/proc/meminfo: memFree=120796436/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9289480 CPUtime=3239.81 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 250680 0 0 0 323263 718 0 0 20 0 20 0 79159324 19521036288 2322370 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2322370 5513 1 0 2343743 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=9231060 CPUtime=2630.28 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 113135 0 0 0 262811 217 0 0 20 0 20 0 79159326 19521036288 2322370 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=9288968 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2322370 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 964 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2322370 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=9289480 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2322370 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3239.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9289480 KiB
[startup+2742.3 s]
/proc/loadavg: 1.53 1.41 1.38 3/264 93893
/proc/meminfo: memFree=120664760/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9422476 CPUtime=3321.48 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 254684 0 0 0 331405 743 0 0 20 0 20 0 79159324 19521036288 2355619 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2355619 5513 1 0 2377162 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=9289480 CPUtime=2689.75 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 114999 0 0 0 268753 222 0 0 20 0 20 0 79159326 19521036288 2355619 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=9289480 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2355619 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=9397896 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 965 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2355619 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2355619 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3321.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9422476 KiB
[startup+2802.3 s]
/proc/loadavg: 1.32 1.38 1.37 2/264 93896
/proc/meminfo: memFree=120606744/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9481356 CPUtime=3393.21 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 260385 0 0 0 338567 754 0 0 20 0 20 0 79159324 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2370339 5513 1 0 2391792 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=5760 CPUtime=2749.22 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 116827 0 0 0 274697 225 0 0 20 0 20 0 79159326 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=2716 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=9481356 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9481356 KiB
[startup+2862.3 s]
/proc/loadavg: 1.27 1.35 1.36 2/264 93898
/proc/meminfo: memFree=120605592/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9481356 CPUtime=3458.74 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 264087 0 0 0 345114 760 0 0 20 0 20 0 79159324 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2370339 5513 1 0 2391792 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=-6000919489919805798 CPUtime=2809.05 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 118821 0 0 0 280680 225 0 0 20 0 20 0 79159326 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=9481356 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2370339 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3458.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9481356 KiB
[startup+2922.3 s]
/proc/loadavg: 1.40 1.36 1.36 3/266 93917
/proc/meminfo: memFree=120474212/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9605776 CPUtime=3535.43 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 270307 0 0 0 352765 778 0 0 20 0 20 0 79159324 19521036288 2401444 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2401444 5513 1 0 2423116 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=-6000919489919805798 CPUtime=2868.56 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 121409 0 0 0 286627 229 0 0 20 0 20 0 79159326 19521036288 2401444 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=9564684 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2401444 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=-6000919489919805798 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 978 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2401444 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=9564684 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2401444 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3535.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9605776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2972.4 s]
/proc/loadavg: 1.40 1.37 1.37 3/266 93918
/proc/meminfo: memFree=120364992/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19063512 memory=9714900 CPUtime=3600.13 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 274581 0 0 0 359220 793 0 0 20 0 20 0 79159324 19521036288 2428725 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4765878 2428725 5513 1 0 2450278 0
[pid=93737/tid=93739] ppid=93734 vsize=19063512 memory=0 CPUtime=2918.1 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 124046 0 0 0 291578 232 0 0 20 0 20 0 79159326 19521036288 2428725 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19063512 memory=46464 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79159328 19521036288 2428725 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19063512 memory=12800 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 979 0 0 0 0 0 0 0 20 0 20 0 79159329 19521036288 2428725 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93756] ppid=93734 vsize=19063512 memory=9714900 CPUtime=0 cores=1,3
/proc/93737/task/93756/stat : 93756 (Timer-0) S 93734 93737 93711 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79159381 19521036288 2428725 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9714900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2972.56 s]
# the end of solver process 93737 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.44 s, system=7.96606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2972.5 s]
/proc/loadavg: 1.40 1.37 1.37 3/266 93918
/proc/meminfo: memFree=120364992/131249996 swapFree=33005016/33010684
[pid=93737] ppid=93734 vsize=19263204 memory=9715796 CPUtime=3600.33 cores=1,3
/proc/93737/stat : 93737 (java) S 93734 93737 93711 0 -1 4194304 276003 0 0 0 359240 793 0 0 20 0 21 0 79159324 19725520896 2428949 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
/proc/93737/statm: 4815801 2428949 5545 1 0 2451181 0
[pid=93737/tid=93739] ppid=93734 vsize=19263204 memory=9714900 CPUtime=2918.2 cores=1,3
/proc/93737/task/93739/stat : 93739 (java) R 93734 93737 93711 0 -1 4194368 124046 0 0 0 291588 232 0 0 20 0 21 0 79159326 19725520896 2428949 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93748] ppid=93734 vsize=19263204 memory=9714900 CPUtime=0 cores=1,3
/proc/93737/task/93748/stat : 93748 (Finalizer) S 93734 93737 93711 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 79159328 19725520896 2428949 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
[pid=93737/tid=93755] ppid=93734 vsize=19263204 memory=9714900 CPUtime=0 cores=1,3
/proc/93737/task/93755/stat : 93755 (Common-Cleaner) S 93734 93737 93711 0 -1 4194368 979 0 0 0 0 0 0 0 20 0 21 0 79159329 19725520896 2428949 18446744073709551615 94102130397184 94102130400880 140731677168640 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94102130408696 94102130409488 94102142787584 140731677170046 140731677170150 140731677170150 140731677175752 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 9715796 KiB
Child status: 143
Real time (s): 2972.56
CPU time (s): 3600.41
CPU user time (s): 3592.44
CPU system time (s): 7.96606
CPU usage (%): 121.121
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9715796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.44
system time used= 7.96606
maximum resident set size= 9715924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276188
page faults= 0
swaps= 0
block input operations= 424
block output operations= 17760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124909
involuntary context switches= 46144
# summary of solver processes directly reported to runsolver:
# pid: 93737
# total CPU time (s): 3600.41
# total CPU user time (s): 3592.44
# total CPU system time (s): 7.96606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12482 second user time and 14.1942 second system time
The end