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: 63837 MiB (62889 MiB free)
memory of node 1: 64465 MiB (63438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518554-1751549949/watcher-4518554-1751549949 -o /tmp/evaluation-result-4518554-1751549949/solver-4518554-1751549949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751549948-75006 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518554-1751549949.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
Starting watchdog thread
solver pid=75059, runsolver pid=75046
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.02 2.36 2.87 9/320 75131
/proc/meminfo: memFree=129283400/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=18930344 memory=46244 CPUtime=0.1 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 5611 0 70 0 6 4 0 0 20 0 18 0 70673675 19384672256 11561 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4732586 11561 4914 1 0 546893 0
[pid=75059/tid=75067] ppid=75046 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 4524 0 70 0 4 2 0 0 20 0 18 0 70673679 19384672256 11561 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=18930344 memory=2576 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673684 19384672256 11561 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=18930344 memory=54096036103158 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70673685 19384672256 11593 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46244 KiB
[startup+0.22092 s]*
/proc/loadavg: 1.02 2.36 2.87 10/320 75131
/proc/meminfo: memFree=129274012/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=18930384 memory=51860 CPUtime=0.26 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 6124 0 70 0 22 4 0 0 20 0 18 0 70673675 19384713216 12965 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4732596 12965 5298 1 0 547266 0
[pid=75059/tid=75067] ppid=75046 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 4920 0 70 0 14 3 0 0 20 0 18 0 70673679 19384713216 12965 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=18930384 memory=2576 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 12965 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=18930384 memory=54096036103158 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 12965 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51860 KiB
[startup+0.314957 s]*
/proc/loadavg: 1.02 2.36 2.87 12/320 75131
/proc/meminfo: memFree=129256696/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=18930384 memory=57904 CPUtime=0.42 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 6602 0 70 0 37 5 0 0 20 0 18 0 70673675 19384713216 14476 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4732596 14476 5298 1 0 547691 0
[pid=75059/tid=75067] ppid=75046 vsize=18930384 memory=-6000919477018584936 CPUtime=0.26 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 5084 0 70 0 23 3 0 0 20 0 18 0 70673679 19384713216 14476 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 14476 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 14476 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57904 KiB
[startup+0.701102 s]
/proc/loadavg: 1.02 2.36 2.87 13/321 75132
/proc/meminfo: memFree=129236596/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=18996948 memory=70232 CPUtime=1.1 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 7515 0 70 0 103 7 0 0 20 0 19 0 70673675 19452874752 17558 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4749237 17558 5458 1 0 548554 0
[pid=75059/tid=75067] ppid=75046 vsize=18996948 memory=17920 CPUtime=0.57 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 5453 0 70 0 53 4 0 0 20 0 19 0 70673679 19452874752 17558 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70673684 19452874752 17558 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70673685 19452874752 17558 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70232 KiB
[startup+1.50032 s]
/proc/loadavg: 1.02 2.36 2.87 11/324 75135
/proc/meminfo: memFree=129006784/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19063512 memory=170952 CPUtime=2.67 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 18407 0 70 0 255 12 0 0 20 0 20 0 70673675 19521036288 42738 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4765878 42738 5490 1 0 552214 0
[pid=75059/tid=75067] ppid=75046 vsize=19063512 memory=3200 CPUtime=1.27 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 6756 0 70 0 120 7 0 0 20 0 20 0 70673679 19521036288 42738 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 42738 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 42738 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673731 19521036288 42738 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170952 KiB
[startup+3.10562 s]
/proc/loadavg: 1.02 2.36 2.87 10/328 75139
/proc/meminfo: memFree=127219404/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19063512 memory=468708 CPUtime=5.76 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 25542 0 70 0 555 21 0 0 20 0 20 0 70673675 19521036288 117177 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4765878 117177 5490 1 0 695902 0
[pid=75059/tid=75067] ppid=75046 vsize=19063512 memory=14464 CPUtime=2.78 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 7489 0 70 0 265 13 0 0 20 0 20 0 70673679 19521036288 117689 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 117689 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 117689 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673731 19521036288 117689 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 468708 KiB
[startup+6.30042 s]
/proc/loadavg: 1.26 2.39 2.88 8/328 75139
/proc/meminfo: memFree=123544280/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19063512 memory=979836 CPUtime=9.78 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 25969 0 70 0 944 34 0 0 20 0 20 0 70673675 19521036288 244959 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4765878 244959 5490 1 0 695929 0
[pid=75059/tid=75067] ppid=75046 vsize=19063512 memory=0 CPUtime=5.74 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 7733 0 70 0 550 24 0 0 20 0 20 0 70673679 19521036288 244959 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 244959 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 244959 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19063512 memory=170952 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673731 19521036288 244959 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 979836 KiB
[startup+12.7004 s]
/proc/loadavg: 1.48 2.42 2.88 7/327 75139
/proc/meminfo: memFree=121189808/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19063512 memory=2127692 CPUtime=16.52 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 27499 0 70 0 1596 56 0 0 20 0 20 0 70673675 19521036288 531923 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4765878 531923 5490 1 0 988377 0
[pid=75059/tid=75067] ppid=75046 vsize=19063512 memory=170952 CPUtime=12.03 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 8507 0 70 0 1158 45 0 0 20 0 20 0 70673679 19521036288 531923 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19063512 memory=2092876 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 531923 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 531923 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673731 19521036288 531923 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 16.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2127692 KiB
[startup+25.5005 s]
/proc/loadavg: 2.04 2.50 2.90 8/327 75139
/proc/meminfo: memFree=118871816/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19063512 memory=2156428 CPUtime=29.86 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 34245 0 70 0 2927 59 0 0 20 0 20 0 70673675 19521036288 539107 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4765878 539107 5490 1 0 988385 0
[pid=75059/tid=75067] ppid=75046 vsize=19063512 memory=2092876 CPUtime=24.48 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 10390 0 70 0 2403 45 0 0 20 0 20 0 70673679 19521036288 539107 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 539107 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 539107 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19063512 memory=2156428 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673731 19521036288 539107 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 29.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156428 KiB
[startup+51.1138 s]
/proc/loadavg: 2.77 2.63 2.94 7/328 75141
/proc/meminfo: memFree=117944992/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19063512 memory=2566572 CPUtime=57.15 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 41338 0 70 0 5643 72 0 0 20 0 20 0 70673675 19521036288 641643 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4765878 641643 5490 1 0 988435 0
[pid=75059/tid=75067] ppid=75046 vsize=19063512 memory=2566572 CPUtime=49.42 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 14620 0 70 0 4891 51 0 0 20 0 20 0 70673679 19521036288 641643 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19063512 memory=2127692 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 641643 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 641643 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19063512 memory=2494860 CPUtime=0 cores=1,3
################
# More data... #
################
Current children cumulated memory: 4401276 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.43 4.37 7/330 75301
/proc/meminfo: memFree=111479736/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19130076 memory=4401276 CPUtime=3280.95 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 177158 0 70 0 327676 419 0 0 20 0 21 0 70673675 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4782519 1100319 5490 1 0 1116404 0
[pid=75059/tid=75067] ppid=75046 vsize=19130076 memory=3200 CPUtime=3044.83 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 89354 0 70 0 304395 88 0 0 20 0 21 0 70673679 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19130076 memory=2888 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19130076 memory=14464 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2100 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19130076 memory=4401276 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673731 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3280.95 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4401276 KiB
[startup+3162.3 s]
/proc/loadavg: 4.51 4.45 4.39 7/330 75303
/proc/meminfo: memFree=111471744/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19130076 memory=4401276 CPUtime=3354.82 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 179296 0 70 0 335049 433 0 0 20 0 21 0 70673675 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4782519 1100319 5490 1 0 1116404 0
[pid=75059/tid=75067] ppid=75046 vsize=19130076 memory=3200 CPUtime=3103.62 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 91389 0 70 0 310273 89 0 0 20 0 21 0 70673679 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19130076 memory=4401276 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19130076 memory=4401276 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2100 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19130076 memory=4401276 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673731 19589197824 1100319 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3354.82 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4401276 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.48 4.40 7/331 75306
/proc/meminfo: memFree=111455624/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19130076 memory=4401532 CPUtime=3424.83 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 182691 0 70 0 342040 443 0 0 20 0 21 0 70673675 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4782519 1100383 5490 1 0 1116476 0
[pid=75059/tid=75067] ppid=75046 vsize=19130076 memory=4401276 CPUtime=3162.6 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 92733 0 70 0 316171 89 0 0 20 0 21 0 70673679 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19130076 memory=4401276 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19130076 memory=4401532 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2132 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19130076 memory=4401276 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673731 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3424.83 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4401532 KiB
[startup+3282.3 s]
/proc/loadavg: 4.54 4.48 4.40 8/331 75308
/proc/meminfo: memFree=111438228/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19130076 memory=4401532 CPUtime=3498.29 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 186628 0 70 0 349370 459 0 0 20 0 21 0 70673675 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4782519 1100383 5490 1 0 1116476 0
[pid=75059/tid=75067] ppid=75046 vsize=19130076 memory=4401532 CPUtime=3221.48 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 94537 0 70 0 322058 90 0 0 20 0 21 0 70673679 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19130076 memory=4401532 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19130076 memory=4352 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2197 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19130076 memory=6772 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673731 19589197824 1100383 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3498.29 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4401532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.58 4.50 4.41 7/330 75313
/proc/meminfo: memFree=111429784/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19130076 memory=4408772 CPUtime=3564.97 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 187984 0 70 0 356030 467 0 0 20 0 21 0 70673675 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4782519 1102193 5490 1 0 1116476 0
[pid=75059/tid=75067] ppid=75046 vsize=19130076 memory=4252 CPUtime=3280.39 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 95854 0 70 0 327949 90 0 0 20 0 21 0 70673679 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19130076 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19130076 memory=4408772 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2197 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19130076 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673731 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3564.97 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4408772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3372.5 s]
/proc/loadavg: 4.55 4.50 4.42 7/330 75315
/proc/meminfo: memFree=111428156/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19130076 memory=4408772 CPUtime=3600.06 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 188986 0 70 0 359534 472 0 0 20 0 21 0 70673675 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4782519 1102193 5490 1 0 1116476 0
[pid=75059/tid=75067] ppid=75046 vsize=19130076 memory=4408772 CPUtime=3309.91 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 96773 0 70 0 330900 91 0 0 20 0 21 0 70673679 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19130076 memory=4408772 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19130076 memory=14464 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2197 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75135] ppid=75046 vsize=19130076 memory=4252 CPUtime=0 cores=1,3
/proc/75059/task/75135/stat : 75135 (Timer-0) S 75046 75059 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673731 19589197824 1102193 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4408772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3372.72 s]
# the end of solver process 75059 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.73 s, system=4.74998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3372.6 s]
/proc/loadavg: 4.55 4.50 4.42 7/330 75315
/proc/meminfo: memFree=111428156/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19329768 memory=4409540 CPUtime=3600.26 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 191147 0 70 0 359553 473 0 0 20 0 22 0 70673675 19793682432 1102385 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4832442 1102385 5522 1 0 1117395 0
[pid=75059/tid=75067] ppid=75046 vsize=19329768 memory=17920 CPUtime=3310.01 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 96840 0 70 0 330910 91 0 0 20 0 22 0 70673679 19793682432 1102385 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19329768 memory=11264 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 70673684 19793682432 1102385 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19329768 memory=5504 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2197 0 0 0 0 0 0 0 20 0 22 0 70673685 19793682432 1102385 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 4409540 KiB
[startup+3372.7 s]
/proc/loadavg: 4.55 4.50 4.42 7/330 75315
/proc/meminfo: memFree=111428156/131382120 swapFree=33010416/33010684
[pid=75059] ppid=75046 vsize=19329768 memory=4409668 CPUtime=3600.45 cores=1,3
/proc/75059/stat : 75059 (java) S 75046 75059 74994 0 -1 4194304 191469 0 70 0 359572 473 0 0 20 0 22 0 70673675 19793682432 1102417 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
/proc/75059/statm: 4832442 1102417 5522 1 0 1117395 0
[pid=75059/tid=75067] ppid=75046 vsize=19329768 memory=4408772 CPUtime=3310.1 cores=1,3
/proc/75059/task/75067/stat : 75067 (java) R 75046 75059 74994 0 -1 4194368 96850 0 70 0 330919 91 0 0 20 0 22 0 70673679 19793682432 1102417 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75113] ppid=75046 vsize=19329768 memory=4408772 CPUtime=0 cores=1,3
/proc/75059/task/75113/stat : 75113 (Finalizer) S 75046 75059 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 70673684 19793682432 1102417 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
[pid=75059/tid=75131] ppid=75046 vsize=19329768 memory=4252 CPUtime=0 cores=1,3
/proc/75059/task/75131/stat : 75131 (Common-Cleaner) S 75046 75059 74994 0 -1 4194368 2197 0 0 0 0 0 0 0 20 0 22 0 70673685 19793682432 1102417 18446744073709551615 94335713579008 94335713582704 140730796719312 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335713590520 94335713591312 94335715401728 140730796726654 140730796726758 140730796726758 140730796732360 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 4409668 KiB
Child status: 143
Real time (s): 3372.72
CPU time (s): 3600.48
CPU user time (s): 3595.73
CPU system time (s): 4.74998
CPU usage (%): 106.753
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 4409668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.73
system time used= 4.74998
maximum resident set size= 4409796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191560
page faults= 70
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120654
involuntary context switches= 15841
# summary of solver processes directly reported to runsolver:
# pid: 75059
# total CPU time (s): 3600.48
# total CPU user time (s): 3595.73
# total CPU system time (s): 4.74998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.363 second user time and 34.5816 second system time
The end