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 (54984 MiB free)
memory of node 1: 64465 MiB (49042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502744-1751474844/watcher-4502744-1751474844 -o /tmp/evaluation-result-4502744-1751474844/solver-4502744-1751474844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751465455-67542 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4502744-1751474844.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69315, runsolver pid=69312
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.75 4.57 4.48 7/325 69333
/proc/meminfo: memFree=106491580/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=18930384 memory=47196 CPUtime=0.09 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 5699 0 0 0 6 3 0 0 20 0 18 0 63163751 19384713216 11799 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4732596 11799 5080 1 0 546931 0
[pid=69315/tid=69317] ppid=69312 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 4583 0 0 0 4 2 0 0 20 0 18 0 63163754 19384713216 11799 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 63163758 19384713216 11799 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 63163760 19384713216 11799 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47196 KiB
[startup+0.213911 s]*
/proc/loadavg: 4.75 4.57 4.48 7/325 69333
/proc/meminfo: memFree=106490572/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=18930384 memory=50012 CPUtime=0.25 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 6168 0 0 0 21 4 0 0 20 0 18 0 63163751 19384713216 12503 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4732596 12503 5336 1 0 547291 0
[pid=69315/tid=69317] ppid=69312 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 4967 0 0 0 13 2 0 0 20 0 18 0 63163754 19384713216 12503 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 63163758 19384713216 12503 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 63163760 19384713216 12503 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50012 KiB
[startup+0.315803 s]*
/proc/loadavg: 4.75 4.57 4.48 6/325 69333
/proc/meminfo: memFree=106483720/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=18930384 memory=56148 CPUtime=0.41 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 6685 0 0 0 36 5 0 0 20 0 18 0 63163751 19384713216 14037 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4732596 14037 5336 1 0 547714 0
[pid=69315/tid=69317] ppid=69312 vsize=18930384 memory=-6000919498543555433 CPUtime=0.25 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) S 69312 69315 67529 0 -1 4194368 5157 0 0 0 22 3 0 0 20 0 18 0 63163754 19384713216 14037 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 63163758 19384713216 14037 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 63163760 19384713216 14037 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56148 KiB
[startup+0.700415 s]
/proc/loadavg: 4.75 4.57 4.48 9/325 69333
/proc/meminfo: memFree=106478112/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=18996948 memory=65980 CPUtime=1.1 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 7496 0 0 0 103 7 0 0 20 0 19 0 63163751 19452874752 16495 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4749237 16495 5464 1 0 548503 0
[pid=69315/tid=69317] ppid=69312 vsize=18996948 memory=18944 CPUtime=0.53 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 5500 0 0 0 50 3 0 0 20 0 19 0 63163754 19452874752 16495 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 63163758 19452874752 16495 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 63163760 19452874752 16495 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65980 KiB
[startup+1.50029 s]
/proc/loadavg: 4.75 4.57 4.48 7/326 69334
/proc/meminfo: memFree=106437028/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=173544 CPUtime=2.66 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 15897 0 0 0 255 11 0 0 20 0 20 0 63163751 19521036288 43386 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 43386 5496 1 0 552314 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=3200 CPUtime=1.2 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 5894 0 0 0 115 5 0 0 20 0 20 0 63163754 19521036288 43386 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 43386 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 43386 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 43386 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173544 KiB
[startup+3.10557 s]
/proc/loadavg: 4.75 4.57 4.48 6/327 69335
/proc/meminfo: memFree=106039092/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=502852 CPUtime=5.61 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 23975 0 0 0 541 20 0 0 20 0 20 0 63163751 19521036288 125713 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 125713 5496 1 0 758228 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=14720 CPUtime=2.67 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 6709 0 0 0 256 11 0 0 20 0 20 0 63163754 19521036288 125713 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 125713 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 125713 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 125713 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 5.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 502852 KiB
[startup+6.30044 s]
/proc/loadavg: 4.77 4.58 4.48 6/327 69335
/proc/meminfo: memFree=105501780/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=1034624 CPUtime=9.84 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 24473 0 0 0 955 29 0 0 20 0 20 0 63163751 19521036288 258656 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 258656 5496 1 0 758242 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=0 CPUtime=5.68 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 6974 0 0 0 550 18 0 0 20 0 20 0 63163754 19521036288 258656 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 258656 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 258656 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=177796 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 258656 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 9.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1034624 KiB
[startup+12.7005 s]
/proc/loadavg: 4.70 4.57 4.48 7/327 69335
/proc/meminfo: memFree=103280500/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=1941856 CPUtime=16.45 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 25899 0 0 0 1597 48 0 0 20 0 20 0 63163751 19521036288 485464 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 485464 5496 1 0 956689 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=177796 CPUtime=11.71 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 7822 0 0 0 1137 34 0 0 20 0 20 0 63163754 19521036288 485464 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=1849696 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 485464 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 485464 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 485464 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 16.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1941856 KiB
[startup+25.5003 s]
/proc/loadavg: 4.55 4.54 4.47 5/327 69335
/proc/meminfo: memFree=102767508/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=2347576 CPUtime=29.78 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 31082 0 0 0 2921 57 0 0 20 0 20 0 63163751 19521036288 586894 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 586894 5496 1 0 956696 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=0 CPUtime=24.19 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 10422 0 0 0 2378 41 0 0 20 0 20 0 63163754 19521036288 586894 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 586894 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=2347576 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 586894 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=2345520 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 586894 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 29.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2347576 KiB
[startup+51.1064 s]
/proc/loadavg: 4.65 4.56 4.48 6/327 69335
/proc/meminfo: memFree=99634996/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=4651528 CPUtime=56.38 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 36857 0 0 0 5535 103 0 0 20 0 20 0 63163751 19521036288 1162882 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1162882 5496 1 0 1541679 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=2996220 CPUtime=49.17 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 13555 0 0 0 4833 84 0 0 20 0 20 0 63163754 19521036288 1162882 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1162882 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1162882 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
################
# More data... #
################
/proc/meminfo: memFree=124353756/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5600912 CPUtime=3244.02 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 174373 0 0 0 324041 361 0 0 20 0 20 0 63163751 19521036288 1400228 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1400228 5528 1 0 1542321 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=2760 CPUtime=3181.78 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 107296 0 0 0 318042 136 0 0 20 0 20 0 63163754 19521036288 1400228 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=2824 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1400228 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=5598864 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2355 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1400228 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=5600912 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1400228 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3244.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5600912 KiB
[startup+3282.3 s]
/proc/loadavg: 1.20 1.13 1.36 2/251 69600
/proc/meminfo: memFree=124343720/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5611156 CPUtime=3304.29 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 176868 0 0 0 330064 365 0 0 20 0 20 0 63163751 19521036288 1402789 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1402789 5528 1 0 1542321 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=5607060 CPUtime=3241.01 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 109724 0 0 0 323965 136 0 0 20 0 20 0 63163754 19521036288 1402789 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=5600912 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1402789 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=18944 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2355 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1402789 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1402789 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3304.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5611156 KiB
[startup+3342.3 s]
/proc/loadavg: 1.21 1.14 1.35 2/251 69602
/proc/meminfo: memFree=124333952/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5621528 CPUtime=3364.84 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 180882 0 0 0 336113 371 0 0 20 0 20 0 63163751 19521036288 1405382 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1405382 5528 1 0 1542354 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=5617432 CPUtime=3300.39 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 112375 0 0 0 329902 137 0 0 20 0 20 0 63163754 19521036288 1405382 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1405382 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2380 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1405382 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=5621528 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1405382 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3364.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5621528 KiB
[startup+3402.3 s]
/proc/loadavg: 1.19 1.14 1.34 2/251 69605
/proc/meminfo: memFree=124327532/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5627708 CPUtime=3424.99 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 181276 0 0 0 342124 375 0 0 20 0 20 0 63163751 19521036288 1406927 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1406927 5528 1 0 1542370 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=4760 CPUtime=3359.78 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 112686 0 0 0 335840 138 0 0 20 0 20 0 63163754 19521036288 1406927 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=5613204 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1406927 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=5627708 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2446 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1406927 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=5627708 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1406927 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3424.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5627708 KiB
[startup+3462.3 s]
/proc/loadavg: 1.17 1.14 1.33 2/251 69607
/proc/meminfo: memFree=124321340/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5635968 CPUtime=3485.46 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 184641 0 0 0 348164 382 0 0 20 0 20 0 63163751 19521036288 1408992 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1408992 5528 1 0 1542382 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=4760 CPUtime=3419.13 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 115263 0 0 0 341773 140 0 0 20 0 20 0 63163754 19521036288 1408992 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1408992 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=5635968 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2489 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1408992 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=5633888 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1408992 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3485.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5635968 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.13 1.31 2/252 69612
/proc/meminfo: memFree=124307304/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5646208 CPUtime=3546.02 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 187884 0 0 0 354215 387 0 0 20 0 20 0 63163751 19521036288 1411552 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1411552 5528 1 0 1542382 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=5633888 CPUtime=3478.48 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 117458 0 0 0 347706 142 0 0 20 0 20 0 63163754 19521036288 1411552 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1411552 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=5559784 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2536 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1411552 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=-6000919498543555433 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1411552 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3546.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5646208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3575.9 s]
/proc/loadavg: 1.16 1.14 1.30 2/252 69614
/proc/meminfo: memFree=124303460/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19063512 memory=5650388 CPUtime=3600.05 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 188835 0 0 0 359615 390 0 0 20 0 20 0 63163751 19521036288 1412597 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4765878 1412597 5528 1 0 1542415 0
[pid=69315/tid=69317] ppid=69312 vsize=19063512 memory=5650388 CPUtime=3531.66 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 118205 0 0 0 353023 143 0 0 20 0 20 0 63163754 19521036288 1412597 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19063512 memory=5650388 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 63163758 19521036288 1412597 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2536 0 0 0 0 0 0 0 20 0 20 0 63163760 19521036288 1412597 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69334] ppid=69312 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/69315/task/69334/stat : 69334 (Timer-0) S 69312 69315 67529 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 63163811 19521036288 1412597 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5650388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3576.1 s]
# the end of solver process 69315 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.46 s, system=3.93257 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3576 s]*
/proc/loadavg: 1.16 1.14 1.30 4/253 69617
/proc/meminfo: memFree=124302956/131382112 swapFree=33010416/33010684
[pid=69315] ppid=69312 vsize=19263204 memory=5651284 CPUtime=3600.25 cores=5,7
/proc/69315/stat : 69315 (java) S 69312 69315 67529 0 -1 4194304 190629 0 0 0 359635 390 0 0 20 0 21 0 63163751 19725520896 1412821 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
/proc/69315/statm: 4815801 1412821 5560 1 0 1543350 0
[pid=69315/tid=69317] ppid=69312 vsize=19263204 memory=22684 CPUtime=3531.76 cores=5,7
/proc/69315/task/69317/stat : 69317 (java) R 69312 69315 67529 0 -1 4194368 118207 0 0 0 353033 143 0 0 20 0 21 0 63163754 19725520896 1412821 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69326] ppid=69312 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/69315/task/69326/stat : 69326 (Finalizer) S 69312 69315 67529 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 63163758 19725520896 1412821 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69333] ppid=69312 vsize=19263204 memory=3072 CPUtime=0 cores=5,7
/proc/69315/task/69333/stat : 69333 (Common-Cleaner) S 69312 69315 67529 0 -1 4194368 2536 0 0 0 0 0 0 0 20 0 21 0 63163760 19725520896 1412821 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
[pid=69315/tid=69616] ppid=69312 vsize=19263204 memory=6784 CPUtime=0.02 cores=5,7
/proc/69315/task/69616/stat : 69616 (Thread-0) R 69312 69315 67529 0 -1 4194368 295 0 0 0 2 0 0 0 20 0 21 0 63521343 19725520896 1412821 18446744073709551615 93834257510400 93834257514096 140724224325952 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93834257521912 93834257522704 93834289782784 140724224330110 140724224330214 140724224330214 140724224335816 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5651284 KiB
Child status: 143
Real time (s): 3576.1
CPU time (s): 3600.4
CPU user time (s): 3596.46
CPU system time (s): 3.93257
CPU usage (%): 100.679
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5651284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.46
system time used= 3.93257
maximum resident set size= 5651540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118590
involuntary context switches= 22248
# summary of solver processes directly reported to runsolver:
# pid: 69315
# total CPU time (s): 3600.4
# total CPU user time (s): 3596.46
# total CPU system time (s): 3.93257
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3071 second user time and 32.9298 second system time
The end