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 (59079 MiB free)
memory of node 1: 64507 MiB (48174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512622-1751536059/watcher-4512622-1751536059 -o /tmp/evaluation-result-4512622-1751536059/solver-4512622-1751536059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751533144-79160 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512622-1751536059.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=79513, runsolver pid=79510
[startup+0.100063 s]*
/proc/loadavg: 4.49 4.69 4.59 7/339 79531
/proc/meminfo: memFree=109808736/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=18930384 memory=57760 CPUtime=0.12 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 6551 0 0 0 10 2 0 0 20 0 18 0 69283669 19384713216 14440 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4732596 14440 5371 1 0 547603 0
[pid=79513/tid=79515] ppid=79510 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 5048 0 0 0 6 1 0 0 20 0 18 0 69283670 19384713216 14440 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69283672 19384713216 14440 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=18930384 memory=60684515963265 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69283672 19384713216 14440 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57760 KiB
[startup+0.205832 s]*
/proc/loadavg: 4.49 4.69 4.59 8/339 79531
/proc/meminfo: memFree=109800572/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=18930384 memory=64264 CPUtime=0.32 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 7100 0 0 0 29 3 0 0 20 0 18 0 69283669 19384713216 16066 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4732596 16066 5435 1 0 547956 0
[pid=79513/tid=79515] ppid=79510 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 5360 0 0 0 15 2 0 0 20 0 18 0 69283670 19384713216 16066 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=18930384 memory=16198 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69283672 19384713216 16066 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69283672 19384713216 16066 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64264 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.49 4.69 4.59 8/340 79532
/proc/meminfo: memFree=109788160/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=18996948 memory=74776 CPUtime=0.49 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 9271 0 0 0 46 3 0 0 20 0 19 0 69283669 19452874752 18694 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4749237 18694 5467 1 0 549745 0
[pid=79513/tid=79515] ppid=79510 vsize=18996948 memory=-6000919507133358952 CPUtime=0.23 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 5513 0 0 0 21 2 0 0 20 0 19 0 69283670 19452874752 18694 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69283672 19452874752 18694 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69283672 19452874752 18694 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69283696 19452874752 18694 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74776 KiB
[startup+0.700238 s]
/proc/loadavg: 4.49 4.69 4.59 7/340 79532
/proc/meminfo: memFree=109755520/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=18996948 memory=133356 CPUtime=1.26 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 9565 0 0 0 121 5 0 0 20 0 19 0 69283669 19452874752 33339 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4749237 33339 5467 1 0 549807 0
[pid=79513/tid=79515] ppid=79510 vsize=18996948 memory=18688 CPUtime=0.57 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 5552 0 0 0 54 3 0 0 20 0 19 0 69283670 19452874752 33339 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69283672 19452874752 33339 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69283672 19452874752 33339 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69283696 19452874752 33339 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133356 KiB
[startup+1.50025 s]
/proc/loadavg: 4.49 4.69 4.59 7/341 79533
/proc/meminfo: memFree=109677952/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=184752 CPUtime=2.84 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 21734 0 0 0 276 8 0 0 20 0 20 0 69283669 19521036288 46188 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 46188 5531 1 0 554399 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=0 CPUtime=1.27 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 5883 0 0 0 123 4 0 0 20 0 20 0 69283670 19521036288 46188 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 46188 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 46188 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 46188 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184752 KiB
[startup+3.10575 s]
/proc/loadavg: 4.69 4.73 4.60 6/341 79533
/proc/meminfo: memFree=108993668/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=763512 CPUtime=5.1 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 24326 0 0 0 491 19 0 0 20 0 20 0 69283669 19521036288 190878 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 190878 5531 1 0 848920 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=10752 CPUtime=2.8 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 6847 0 0 0 266 14 0 0 20 0 20 0 69283670 19521036288 190878 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=-6000919507133358952 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 190878 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 190878 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 190878 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 763512 KiB
[startup+6.30022 s]
/proc/loadavg: 4.69 4.73 4.60 5/341 79533
/proc/meminfo: memFree=108319944/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=1432268 CPUtime=8.39 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 25174 0 0 0 806 33 0 0 20 0 20 0 69283669 19521036288 358067 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 358067 5531 1 0 848924 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=0 CPUtime=5.93 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 7177 0 0 0 566 27 0 0 20 0 20 0 69283670 19521036288 358067 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 358067 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 358067 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=184880 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 358067 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1432268 KiB
[startup+12.7002 s]
/proc/loadavg: 4.74 4.74 4.60 6/341 79533
/proc/meminfo: memFree=107734492/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2016016 CPUtime=14.82 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 26410 0 0 0 1438 44 0 0 20 0 20 0 69283669 19521036288 504004 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 504004 5531 1 0 848929 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=184880 CPUtime=12.27 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 8307 0 0 0 1190 37 0 0 20 0 20 0 69283670 19521036288 504004 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=1864404 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 504004 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 504004 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 504004 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2016016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.77 4.75 4.61 6/341 79533
/proc/meminfo: memFree=107702580/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2048944 CPUtime=27.76 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 32636 0 0 0 2730 46 0 0 20 0 20 0 69283669 19521036288 512236 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 512236 5531 1 0 848945 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2048816 CPUtime=24.95 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 11408 0 0 0 2457 38 0 0 20 0 20 0 69283670 19521036288 512236 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 512236 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 512236 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=2048944 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 512236 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 27.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2048944 KiB
[startup+51.1058 s]
/proc/loadavg: 4.56 4.70 4.60 6/340 79534
/proc/meminfo: memFree=107625860/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2079808 CPUtime=53.65 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 36905 0 0 0 5317 48 0 0 20 0 20 0 69283669 19521036288 519952 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 519952 5531 1 0 848945 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2061328 CPUtime=50.22 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 13181 0 0 0 4984 38 0 0 20 0 20 0 69283670 19521036288 519952 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=164 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=107319804/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2935736 CPUtime=3179.81 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 116676 0 0 0 317823 158 0 0 20 0 20 0 69283669 19521036288 733934 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 733934 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2929592 CPUtime=3133.62 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 54436 0 0 0 313314 48 0 0 20 0 20 0 69283670 19521036288 733934 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 733934 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1561 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 733934 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=2929592 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 733934 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3179.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2935736 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.22 4.29 5/342 79968
/proc/meminfo: memFree=107303304/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2945976 CPUtime=3240.44 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 116840 0 0 0 323884 160 0 0 20 0 20 0 69283669 19521036288 736494 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 736494 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2939832 CPUtime=3193.02 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 54520 0 0 0 319254 48 0 0 20 0 20 0 69283670 19521036288 736494 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 736494 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1565 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 736494 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=-6000919507133358952 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 736494 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3240.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2945976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.24 4.29 5/341 79970
/proc/meminfo: memFree=107236680/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2952120 CPUtime=3301.01 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 117109 0 0 0 329940 161 0 0 20 0 20 0 69283669 19521036288 738030 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 738030 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2950072 CPUtime=3252.44 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 54607 0 0 0 325196 48 0 0 20 0 20 0 69283670 19521036288 738030 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=2952120 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 738030 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1565 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 738030 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=4480 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 738030 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3301.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2952120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.24 4.28 5/341 79972
/proc/meminfo: memFree=107133632/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2960320 CPUtime=3361.61 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 117995 0 0 0 335998 163 0 0 20 0 20 0 69283669 19521036288 740080 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 740080 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2956224 CPUtime=3311.83 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 55451 0 0 0 331135 48 0 0 20 0 20 0 69283670 19521036288 740080 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=2958272 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 740080 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=2958272 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1565 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 740080 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=4449 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 740080 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3361.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2960320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.27 4.29 6/341 80043
/proc/meminfo: memFree=113236512/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2968512 CPUtime=3422.15 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 119743 0 0 0 342048 167 0 0 20 0 20 0 69283669 19521036288 742128 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 742128 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2964416 CPUtime=3371.22 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 56719 0 0 0 337071 51 0 0 20 0 20 0 69283670 19521036288 742128 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 742128 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=14824 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1613 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 742128 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=2966464 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 742128 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3422.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2968512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.28 4.29 5/340 80045
/proc/meminfo: memFree=111885248/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2974664 CPUtime=3482.84 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 121506 0 0 0 348114 170 0 0 20 0 20 0 69283669 19521036288 743666 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 743666 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2964416 CPUtime=3430.64 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) S 79510 79513 79150 0 -1 4194368 57956 0 0 0 343013 51 0 0 20 0 20 0 69283670 19521036288 743666 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 743666 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=2974664 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1681 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 743666 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=2974664 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 743666 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3482.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2974664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.31 4.27 4.28 5/339 80051
/proc/meminfo: memFree=111574168/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2982856 CPUtime=3543.42 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 121571 0 0 0 354171 171 0 0 20 0 20 0 69283669 19521036288 745714 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 745714 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=2982856 CPUtime=3490.05 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 58002 0 0 0 348954 51 0 0 20 0 20 0 69283670 19521036288 745714 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=2974664 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 745714 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1681 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 745714 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=-6000919507133358952 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 745714 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3543.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2982856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3578.4 s]
/proc/loadavg: 4.21 4.25 4.27 5/340 80053
/proc/meminfo: memFree=111183704/131249996 swapFree=33010672/33010684
[pid=79513] ppid=79510 vsize=19063512 memory=2991052 CPUtime=3600.09 cores=0,2
/proc/79513/stat : 79513 (java) S 79510 79513 79150 0 -1 4194304 122086 0 0 0 359836 173 0 0 20 0 20 0 69283669 19521036288 747763 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
/proc/79513/statm: 4765878 747763 5531 1 0 855719 0
[pid=79513/tid=79515] ppid=79510 vsize=19063512 memory=4764 CPUtime=3545.63 cores=0,2
/proc/79513/task/79515/stat : 79515 (java) R 79510 79513 79150 0 -1 4194368 58480 0 0 0 354512 51 0 0 20 0 20 0 69283670 19521036288 747763 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79524] ppid=79510 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/79513/task/79524/stat : 79524 (Finalizer) S 79510 79513 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 747763 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79531] ppid=79510 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/79513/task/79531/stat : 79531 (Common-Cleaner) S 79510 79513 79150 0 -1 4194368 1681 0 0 0 0 0 0 0 20 0 20 0 69283672 19521036288 747763 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
[pid=79513/tid=79532] ppid=79510 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/79513/task/79532/stat : 79532 (Timer-0) S 79510 79513 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69283696 19521036288 747763 18446744073709551615 94901869199360 94901869203056 140727048958048 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94901869210872 94901869211664 94901886705664 140727048964478 140727048964582 140727048964582 140727048970184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2991052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3578.5 s]
# the end of solver process 79513 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.54 s, system=1.74703 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3578.5
CPU time (s): 3600.28
CPU user time (s): 3598.54
CPU system time (s): 1.74703
CPU usage (%): 100.609
Max. virtual memory (cumulated for all children) (KiB): 19066556
Max. memory (cumulated for all children) (KiB): 2991052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.54
system time used= 1.74703
maximum resident set size= 2991948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138196
involuntary context switches= 10282
# summary of solver processes directly reported to runsolver:
# pid: 79513
# total CPU time (s): 3600.28
# total CPU user time (s): 3598.54
# total CPU system time (s): 1.74703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52853 second user time and 16.7899 second system time
The end