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-4518508-1751549949/watcher-4518508-1751549949 -o /tmp/evaluation-result-4518508-1751549949/solver-4518508-1751549949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751549948-75007 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518508-1751549949.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=75062, runsolver pid=75047
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.02 2.36 2.87 13/320 75131
/proc/meminfo: memFree=129283400/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=18930384 memory=48360 CPUtime=0.1 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 5613 0 51 0 6 4 0 0 20 0 18 0 70673675 19384713216 12090 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4732596 12090 4933 1 0 546873 0
[pid=75062/tid=75066] ppid=75047 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 4555 0 51 0 4 2 0 0 20 0 18 0 70673679 19384713216 12090 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 12090 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=18930384 memory=55195547748946 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 12090 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48360 KiB
[startup+0.222637 s]*
/proc/loadavg: 1.02 2.36 2.87 13/320 75131
/proc/meminfo: memFree=129274012/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=18930384 memory=51688 CPUtime=0.28 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 6075 0 51 0 23 5 0 0 20 0 18 0 70673675 19384713216 12922 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4732596 12922 5349 1 0 547253 0
[pid=75062/tid=75066] ppid=75047 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 4951 0 51 0 15 2 0 0 20 0 18 0 70673679 19384713216 12922 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=18930384 memory=2576 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 12922 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=18930384 memory=54096036103158 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 12922 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51688 KiB
[startup+0.315736 s]*
/proc/loadavg: 1.02 2.36 2.87 12/320 75131
/proc/meminfo: memFree=129256696/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=18930384 memory=57980 CPUtime=0.45 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 6605 0 51 0 40 5 0 0 20 0 18 0 70673675 19384713216 14495 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4732596 14495 5349 1 0 547739 0
[pid=75062/tid=75066] ppid=75047 vsize=18930384 memory=-6000919477018584936 CPUtime=0.27 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 5141 0 51 0 24 3 0 0 20 0 18 0 70673679 19384713216 14495 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70673684 19384713216 14495 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70673685 19384713216 14495 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57980 KiB
[startup+0.700308 s]
/proc/loadavg: 1.02 2.36 2.87 13/320 75131
/proc/meminfo: memFree=129236596/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=18996948 memory=71340 CPUtime=1.12 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 8745 0 51 0 104 8 0 0 20 0 19 0 70673675 19452874752 17835 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4749237 17835 5445 1 0 549213 0
[pid=75062/tid=75066] ppid=75047 vsize=18996948 memory=17920 CPUtime=0.52 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 5466 0 51 0 48 4 0 0 20 0 19 0 70673679 19452874752 17835 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70673684 19452874752 17835 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70673685 19452874752 17835 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71340 KiB
[startup+1.50025 s]
/proc/loadavg: 1.02 2.36 2.87 12/324 75135
/proc/meminfo: memFree=129006784/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19063512 memory=184996 CPUtime=2.68 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 18970 0 51 0 255 13 0 0 20 0 20 0 70673675 19521036288 46249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4765878 46249 5509 1 0 553778 0
[pid=75062/tid=75066] ppid=75047 vsize=19063512 memory=3200 CPUtime=1.22 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 6046 0 51 0 115 7 0 0 20 0 20 0 70673679 19521036288 46249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 46249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 46249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673729 19521036288 46249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184996 KiB
[startup+3.10514 s]
/proc/loadavg: 1.02 2.36 2.87 11/328 75139
/proc/meminfo: memFree=127219404/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19063512 memory=624128 CPUtime=5.54 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 21518 0 51 0 528 26 0 0 20 0 20 0 70673675 19521036288 156032 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4765878 156032 5509 1 0 554102 0
[pid=75062/tid=75066] ppid=75047 vsize=19063512 memory=14464 CPUtime=2.76 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 6748 0 51 0 258 18 0 0 20 0 20 0 70673679 19521036288 156032 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 156032 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 156032 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673729 19521036288 156032 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 624128 KiB
[startup+6.30043 s]
/proc/loadavg: 1.26 2.39 2.88 9/328 75139
/proc/meminfo: memFree=123544280/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19063512 memory=1764468 CPUtime=9.6 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 23185 0 51 0 911 49 0 0 20 0 20 0 70673675 19521036288 441117 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4765878 441117 5509 1 0 758805 0
[pid=75062/tid=75066] ppid=75047 vsize=19063512 memory=0 CPUtime=5.77 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 7397 0 51 0 537 40 0 0 20 0 20 0 70673679 19521036288 441117 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 441117 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 441117 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19063512 memory=186020 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673729 19521036288 441117 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 9.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1764468 KiB
[startup+12.7004 s]
/proc/loadavg: 1.48 2.42 2.88 8/327 75139
/proc/meminfo: memFree=121185712/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19063512 memory=1817992 CPUtime=16.46 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 24395 0 51 0 1594 52 0 0 20 0 20 0 70673675 19521036288 454498 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4765878 454498 5509 1 0 758840 0
[pid=75062/tid=75066] ppid=75047 vsize=19063512 memory=186020 CPUtime=11.89 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 8475 0 51 0 1148 41 0 0 20 0 20 0 70673679 19521036288 454498 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19063512 memory=1817992 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 454498 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 454498 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673729 19521036288 454498 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1817992 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 2.50 2.90 9/327 75139
/proc/meminfo: memFree=118871816/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19063512 memory=2744976 CPUtime=30.34 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 32950 0 51 0 2961 73 0 0 20 0 20 0 70673675 19521036288 686244 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4765878 686244 5509 1 0 995339 0
[pid=75062/tid=75066] ppid=75047 vsize=19063512 memory=1817992 CPUtime=24.26 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 11290 0 51 0 2366 60 0 0 20 0 20 0 70673679 19521036288 686244 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 686244 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19063512 memory=2744976 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 686244 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673729 19521036288 686244 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 30.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2744976 KiB
[startup+51.1134 s]
/proc/loadavg: 2.77 2.63 2.94 8/328 75141
/proc/meminfo: memFree=117944992/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19063512 memory=2759260 CPUtime=57.85 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 42171 0 51 0 5710 75 0 0 20 0 20 0 70673675 19521036288 689815 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4765878 689815 5509 1 0 995339 0
[pid=75062/tid=75066] ppid=75047 vsize=19063512 memory=2751400 CPUtime=49.37 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 13781 0 51 0 4877 60 0 0 20 0 20 0 70673679 19521036288 689815 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70673684 19521036288 689815 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 70673685 19521036288 689815 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70673729 19521036288 689815 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.51 4.45 4.39 8/330 75303
/proc/meminfo: memFree=111471744/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=4086188 CPUtime=3259.52 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 132360 0 51 0 325605 347 0 0 20 0 21 0 70673675 19589197824 1021547 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1021547 5509 1 0 1188849 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=14464 CPUtime=3094.02 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 72312 0 51 0 309287 115 0 0 20 0 21 0 70673679 19589197824 1021547 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=4080044 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1021547 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=14464 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 1904 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1021547 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=4084140 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1021547 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3259.52 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4086188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.48 4.40 8/331 75306
/proc/meminfo: memFree=111455624/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=4100656 CPUtime=3322.11 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 134943 0 51 0 331859 352 0 0 20 0 21 0 70673675 19589197824 1025164 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1025164 5509 1 0 1188895 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=4080044 CPUtime=3152.6 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 73944 0 51 0 315144 116 0 0 20 0 21 0 70673679 19589197824 1025164 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=4090288 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1025164 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=4100528 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 1991 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1025164 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=4100656 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1025164 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3322.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4100656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.54 4.48 4.40 9/331 75308
/proc/meminfo: memFree=111438228/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=4106840 CPUtime=3384.96 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 137114 0 51 0 338141 355 0 0 20 0 21 0 70673675 19589197824 1026710 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1026710 5509 1 0 1188895 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=4100656 CPUtime=3211.2 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 75206 0 51 0 321004 116 0 0 20 0 21 0 70673679 19589197824 1026710 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=14464 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1026710 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=3200 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 1991 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1026710 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=4100656 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1026710 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3384.96 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4106840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.58 4.50 4.41 8/330 75313
/proc/meminfo: memFree=111429784/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=4108896 CPUtime=3446.29 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 137301 0 51 0 344270 359 0 0 20 0 21 0 70673675 19589197824 1027224 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1027224 5509 1 0 1188895 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=4106840 CPUtime=3270.06 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 75318 0 51 0 326889 117 0 0 20 0 21 0 70673679 19589197824 1027224 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=17920 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1027224 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=4896 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 2025 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1027224 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=1792 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1027224 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3446.29 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4108896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.47 4.48 4.41 7/330 75383
/proc/meminfo: memFree=113781636/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=4112996 CPUtime=3508.81 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 138336 0 51 0 350517 364 0 0 20 0 21 0 70673675 19589197824 1028249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1028249 5509 1 0 1188895 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=4106840 CPUtime=3328.81 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 76331 0 51 0 332764 117 0 0 20 0 21 0 70673679 19589197824 1028249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=17920 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1028249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=4112996 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 2025 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1028249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=4112996 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1028249 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3508.81 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 4112996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.46 4.41 6/330 75453
/proc/meminfo: memFree=110725572/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=6406504 CPUtime=3572.48 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 141814 0 51 0 356835 413 0 0 20 0 21 0 70673675 19589197824 1601626 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1601626 5509 1 0 1769737 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=4106840 CPUtime=3386.68 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 78290 0 51 0 338508 160 0 0 20 0 21 0 70673679 19589197824 1601626 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=17920 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1601626 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=6223916 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1601626 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=3422980 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1601626 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6406504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3489 s]*
/proc/loadavg: 4.33 4.44 4.40 6/330 75454
/proc/meminfo: memFree=110657276/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19130076 memory=6408552 CPUtime=3600.08 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 142133 0 51 0 359594 414 0 0 20 0 21 0 70673675 19589197824 1602138 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4782519 1602138 5509 1 0 1769738 0
[pid=75062/tid=75066] ppid=75047 vsize=19130076 memory=-6000919468461942632 CPUtime=3412.57 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 78600 0 51 0 341097 160 0 0 20 0 21 0 70673679 19589197824 1602138 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19130076 memory=6452091034691069248 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 70673684 19589197824 1602138 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19130076 memory=6784 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 21 0 70673685 19589197824 1602138 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75133] ppid=75047 vsize=19130076 memory=5000 CPUtime=0 cores=5,7
/proc/75062/task/75133/stat : 75133 (Timer-0) S 75047 75062 74994 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 70673729 19589197824 1602138 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 6408552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3489.27 s]
# the end of solver process 75062 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.33 s, system=4.18853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3489.2 s]
/proc/loadavg: 4.33 4.44 4.40 6/330 75454
/proc/meminfo: memFree=110657276/131382120 swapFree=33010416/33010684
[pid=75062] ppid=75047 vsize=19329768 memory=6409320 CPUtime=3600.44 cores=5,7
/proc/75062/stat : 75062 (java) S 75047 75062 74994 0 -1 4194304 144340 0 51 0 359629 415 0 0 20 0 22 0 70673675 19793682432 1602330 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
/proc/75062/statm: 4832442 1602330 5509 1 0 1770657 0
[pid=75062/tid=75066] ppid=75047 vsize=19329768 memory=-6000919477018584936 CPUtime=3412.76 cores=5,7
/proc/75062/task/75066/stat : 75066 (java) R 75047 75062 74994 0 -1 4194368 78625 0 51 0 341116 160 0 0 20 0 22 0 70673679 19793682432 1602330 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75112] ppid=75047 vsize=19329768 memory=46464 CPUtime=0 cores=5,7
/proc/75062/task/75112/stat : 75112 (Finalizer) S 75047 75062 74994 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 70673684 19793682432 1602330 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
[pid=75062/tid=75130] ppid=75047 vsize=19329768 memory=6406504 CPUtime=0 cores=5,7
/proc/75062/task/75130/stat : 75130 (Common-Cleaner) S 75047 75062 74994 0 -1 4194368 2112 0 0 0 0 0 0 0 20 0 22 0 70673685 19793682432 1602330 18446744073709551615 94104724238336 94104724242032 140736402946304 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94104724249848 94104724250640 94104725770240 140736402950526 140736402950630 140736402950630 140736402956232 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 6409320 KiB
Child status: 143
Real time (s): 3489.27
CPU time (s): 3600.52
CPU user time (s): 3596.33
CPU system time (s): 4.18853
CPU usage (%): 103.188
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 6409320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.33
system time used= 4.18853
maximum resident set size= 6409576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144628
page faults= 51
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126446
involuntary context switches= 15736
# summary of solver processes directly reported to runsolver:
# pid: 75062
# total CPU time (s): 3600.52
# total CPU user time (s): 3596.33
# total CPU system time (s): 4.18853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1045 second user time and 35.0883 second system time
The end