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: 63794 MiB (63045 MiB free)
memory of node 1: 64507 MiB (64031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490984-1751374507/watcher-4490984-1751374507 -o /tmp/evaluation-result-4490984-1751374507/solver-4490984-1751374507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751374507-52063 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4490984-1751374507.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
Starting watchdog thread
solver pid=52111, runsolver pid=52102
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 0.56 0.95 1.43 14/317 52186
/proc/meminfo: memFree=130048352/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=18930344 memory=45608 CPUtime=0.09 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 5451 0 0 0 6 3 0 0 20 0 18 0 53130076 19384672256 11402 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4732586 11402 4941 1 0 546709 0
[pid=52111/tid=52122] ppid=52102 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 4562 0 0 0 4 2 0 0 20 0 18 0 53130079 19384672256 11402 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=18930344 memory=12896 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53130084 19384672256 11402 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=18930344 memory=57394570986489 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53130086 19384672256 11402 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45608 KiB
[startup+0.21732 s]*
/proc/loadavg: 0.56 0.95 1.43 10/319 52188
/proc/meminfo: memFree=130023824/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=18930384 memory=51900 CPUtime=0.27 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 6118 0 0 0 23 4 0 0 20 0 18 0 53130076 19384713216 12975 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4732596 12975 5357 1 0 547234 0
[pid=52111/tid=52122] ppid=52102 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 4968 0 0 0 14 3 0 0 20 0 18 0 53130079 19384713216 12975 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=18930384 memory=12896 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53130084 19384713216 12975 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53130086 19384713216 12975 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51900 KiB
[startup+0.316336 s]*
/proc/loadavg: 0.56 0.95 1.43 10/319 52188
/proc/meminfo: memFree=130006748/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=18930384 memory=58128 CPUtime=0.42 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 6634 0 0 0 37 5 0 0 20 0 18 0 53130076 19384713216 14532 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4732596 14532 5357 1 0 547689 0
[pid=52111/tid=52122] ppid=52102 vsize=18930384 memory=-6000919489970530922 CPUtime=0.25 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 5125 0 0 0 22 3 0 0 20 0 18 0 53130079 19384713216 14532 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53130084 19384713216 14532 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53130086 19384713216 14532 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58128 KiB
[startup+0.700395 s]
/proc/loadavg: 0.56 0.95 1.43 14/319 52188
/proc/meminfo: memFree=129999124/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=18930384 memory=71076 CPUtime=1.07 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 8922 0 1 0 100 7 0 0 20 0 18 0 53130076 19384713216 17769 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4732596 17769 5485 1 0 549121 0
[pid=52111/tid=52122] ppid=52102 vsize=18930384 memory=17408 CPUtime=0.49 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) D 52102 52111 52050 0 -1 4194368 5426 0 1 0 45 4 0 0 20 0 18 0 53130079 19384713216 17769 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53130084 19384713216 17769 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53130086 19384713216 17769 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 71076 KiB
[startup+1.5003 s]
/proc/loadavg: 1.40 1.12 1.48 9/301 52202
/proc/meminfo: memFree=129866980/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=18996948 memory=122148 CPUtime=2.62 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 12779 0 1 0 252 10 0 0 20 0 19 0 53130076 19452874752 30537 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4749237 30537 5517 1 0 550032 0
[pid=52111/tid=52122] ppid=52102 vsize=18996948 memory=3200 CPUtime=1.23 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 6209 0 1 0 117 6 0 0 20 0 19 0 53130079 19452874752 30537 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53130084 19452874752 30537 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53130086 19452874752 30537 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=18996948 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53130148 19452874752 30537 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122148 KiB
[startup+3.10586 s]
/proc/loadavg: 1.40 1.12 1.48 7/304 52238
/proc/meminfo: memFree=129363824/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19063512 memory=194924 CPUtime=5.19 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 17626 0 1 0 505 14 0 0 20 0 20 0 53130076 19521036288 48731 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4765878 48731 5549 1 0 552326 0
[pid=52111/tid=52122] ppid=52102 vsize=19063512 memory=11136 CPUtime=2.76 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 6640 0 1 0 268 8 0 0 20 0 20 0 53130079 19521036288 48731 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53130084 19521036288 48731 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 53130086 19521036288 48731 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53130148 19521036288 48731 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 5.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194924 KiB
[startup+6.30047 s]
/proc/loadavg: 1.77 1.20 1.50 7/328 52263
/proc/meminfo: memFree=127795904/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19063512 memory=271392 CPUtime=9.19 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 18564 0 1 0 902 17 0 0 20 0 20 0 53130076 19521036288 67848 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4765878 67848 5549 1 0 658837 0
[pid=52111/tid=52122] ppid=52102 vsize=19063512 memory=0 CPUtime=5.89 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 6955 0 1 0 580 9 0 0 20 0 20 0 53130079 19521036288 67848 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53130084 19521036288 67848 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 53130086 19521036288 67848 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19063512 memory=138176 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53130148 19521036288 67848 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 271392 KiB
[startup+12.7004 s]
/proc/loadavg: 2.11 1.28 1.53 6/328 52263
/proc/meminfo: memFree=126109320/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19063512 memory=533160 CPUtime=16.89 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 22458 0 1 0 1664 25 0 0 20 0 20 0 53130076 19521036288 133290 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4765878 133290 5549 1 0 658863 0
[pid=52111/tid=52122] ppid=52102 vsize=19063512 memory=138176 CPUtime=11.85 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 7788 0 1 0 1172 13 0 0 20 0 20 0 53130079 19521036288 133290 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19063512 memory=386720 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53130084 19521036288 133290 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19063512 memory=520832 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 53130086 19521036288 133290 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53130148 19521036288 133290 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 16.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 533160 KiB
[startup+25.5005 s]
/proc/loadavg: 2.55 1.40 1.56 7/328 52263
/proc/meminfo: memFree=123034860/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19063512 memory=1693488 CPUtime=30.43 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 30184 0 1 0 2991 52 0 0 20 0 20 0 53130076 19521036288 423372 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4765878 423372 5549 1 0 1292572 0
[pid=52111/tid=52122] ppid=52102 vsize=19063512 memory=520832 CPUtime=24.31 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 10399 0 1 0 2397 34 0 0 20 0 20 0 53130079 19521036288 423372 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53130084 19521036288 423372 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19063512 memory=386720 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 53130086 19521036288 423372 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19063512 memory=1691436 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53130148 19521036288 423372 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 30.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1693488 KiB
[startup+51.1135 s]
/proc/loadavg: 3.24 1.68 1.65 5/328 52263
/proc/meminfo: memFree=121558032/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19063512 memory=2220004 CPUtime=60.28 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 44809 0 1 0 5956 72 0 0 20 0 20 0 53130076 19521036288 555001 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4765878 555001 5549 1 0 1297359 0
[pid=52111/tid=52122] ppid=52102 vsize=19063512 memory=2108104 CPUtime=49.33 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 11496 0 1 0 4892 41 0 0 20 0 20 0 53130079 19521036288 555001 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19063512 memory=2220004 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53130084 19521036288 555001 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19063512 memory=2052140 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 62 0 0 0 0 0 0 0 20 0 20 0 53130086 19521036288 555001 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=103829036/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7063440 CPUtime=3147.25 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 260719 0 1 0 314206 519 0 0 20 0 21 0 53130076 19589197824 1765860 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765860 5549 1 0 1781342 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=280324999675552 CPUtime=2929.84 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 148484 0 1 0 292819 165 0 0 20 0 21 0 53130079 19589197824 1765860 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=1792 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765860 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=7063440 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2163 0 0 0 0 0 0 0 20 0 21 0 53130086 19589197824 1765860 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765860 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3147.25 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7063440 KiB
[startup+3042.3 s]
/proc/loadavg: 4.45 4.63 4.55 7/329 52425
/proc/meminfo: memFree=103811848/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062116 CPUtime=3211.6 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 271572 0 1 0 320634 526 0 0 20 0 21 0 53130076 19589197824 1765529 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765529 5549 1 0 1782968 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=7063440 CPUtime=2988.54 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 152105 0 1 0 298689 165 0 0 20 0 21 0 53130079 19589197824 1765529 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=7063440 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765529 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=-6000919498560465514 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2212 0 0 0 0 0 0 0 20 0 21 0 53130086 19589197824 1765529 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=7062116 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765529 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3211.6 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.52 4.62 4.55 6/329 52427
/proc/meminfo: memFree=103799468/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3284.98 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 279632 0 1 0 327959 539 0 0 20 0 21 0 53130076 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765535 5549 1 0 1782984 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=17536 CPUtime=3047.54 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 154629 0 1 0 304588 166 0 0 20 0 21 0 53130079 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=5760 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2249 0 0 0 0 0 0 0 20 0 21 0 53130086 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=17536 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3284.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.50 4.60 4.54 5/328 52626
/proc/meminfo: memFree=113743364/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3352.29 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 282902 0 1 0 334680 549 0 0 20 0 21 0 53130076 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765535 5549 1 0 1782984 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3106.3 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 157724 0 1 0 310462 168 0 0 20 0 21 0 53130079 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2250 0 0 0 0 0 0 0 20 0 21 0 53130086 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=6452091060393763390 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3352.29 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062140 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.59 4.54 5/330 52638
/proc/meminfo: memFree=113147220/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3420.39 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 288778 0 1 0 341481 558 0 0 20 0 21 0 53130076 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765535 5549 1 0 1782984 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=14304 CPUtime=3165.04 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 160835 0 1 0 316336 168 0 0 20 0 21 0 53130079 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=11136 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=7062140 CPUtime=0.01 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2324 0 0 0 0 1 0 0 20 0 21 0 53130086 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=7062140 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3420.39 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062140 KiB
[startup+3282.3 s]
/proc/loadavg: 4.55 4.57 4.54 5/330 52640
/proc/meminfo: memFree=113127292/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3487.76 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 292783 0 1 0 348209 567 0 0 20 0 21 0 53130076 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765535 5549 1 0 1782984 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3223.82 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 162223 0 1 0 322213 169 0 0 20 0 21 0 53130079 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=7062140 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=14304 CPUtime=0.01 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2371 0 0 0 0 1 0 0 20 0 21 0 53130086 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=7062140 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3487.76 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062140 KiB
[startup+3342.3 s]
/proc/loadavg: 4.34 4.51 4.52 5/330 52642
/proc/meminfo: memFree=113107516/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3548.86 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 296124 0 1 0 354314 572 0 0 20 0 21 0 53130076 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765535 5549 1 0 1782984 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=5760 CPUtime=3282.28 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 165437 0 1 0 328058 170 0 0 20 0 21 0 53130079 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=7062140 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=7062140 CPUtime=0.01 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2372 0 0 0 0 1 0 0 20 0 21 0 53130086 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3548.86 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3379.4 s]
/proc/loadavg: 4.37 4.50 4.52 6/331 52643
/proc/meminfo: memFree=113097428/131382120 swapFree=33010416/33010684
[pid=52111] ppid=52102 vsize=19130076 memory=7062140 CPUtime=3600.06 cores=5,7
/proc/52111/stat : 52111 (java) S 52102 52111 52050 0 -1 4194304 299194 0 1 0 359422 584 0 0 20 0 21 0 53130076 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
/proc/52111/statm: 4782519 1765535 5549 1 0 1782984 0
[pid=52111/tid=52122] ppid=52102 vsize=19130076 memory=14304 CPUtime=3318.69 cores=5,7
/proc/52111/task/52122/stat : 52122 (java) R 52102 52111 52050 0 -1 4194368 166026 0 1 0 331699 170 0 0 20 0 21 0 53130079 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52161] ppid=52102 vsize=19130076 memory=0 CPUtime=0 cores=5,7
/proc/52111/task/52161/stat : 52161 (Finalizer) S 52102 52111 52050 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53130084 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52181] ppid=52102 vsize=19130076 memory=0 CPUtime=0.01 cores=5,7
/proc/52111/task/52181/stat : 52181 (Common-Cleaner) S 52102 52111 52050 0 -1 4194368 2372 0 0 0 0 1 0 0 20 0 21 0 53130086 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
[pid=52111/tid=52191] ppid=52102 vsize=19130076 memory=14304 CPUtime=0 cores=5,7
/proc/52111/task/52191/stat : 52191 (Timer-0) S 52102 52111 52050 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 53130148 19589197824 1765535 18446744073709551615 94628228083712 94628228087408 140721306409120 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94628228095224 94628228096016 94628230144000 140721306413438 140721306413542 140721306413542 140721306419144 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 7062140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3379.5 s]
# the end of solver process 52111 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.37 s, system=5.87199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3379.5
CPU time (s): 3600.24
CPU user time (s): 3594.37
CPU system time (s): 5.87199
CPU usage (%): 106.532
Max. virtual memory (cumulated for all children) (KiB): 19132916
Max. memory (cumulated for all children) (KiB): 7079764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.37
system time used= 5.87199
maximum resident set size= 7082580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300930
page faults= 1
swaps= 0
block input operations= 256
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118089
involuntary context switches= 21144
# summary of solver processes directly reported to runsolver:
# pid: 52111
# total CPU time (s): 3600.24
# total CPU user time (s): 3594.37
# total CPU system time (s): 5.87199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9765 second user time and 32.6212 second system time
The end