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 (56323 MiB free)
memory of node 1: 64465 MiB (56495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507273-1751190053/watcher-4507273-1751190053 -o /tmp/evaluation-result-4507273-1751190053/solver-4507273-1751190053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751182786-20304 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507273-1751190053 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4507273-1751190053.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21228, runsolver pid=21225
[startup+0.100073 s]*
/proc/loadavg: 4.55 4.30 4.26 5/331 21246
/proc/meminfo: memFree=115517740/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=18930384 memory=48724 CPUtime=0.12 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 5856 0 0 0 10 2 0 0 20 0 18 0 34684105 19384713216 12181 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4732596 12181 5328 1 0 547041 0
[pid=21228/tid=21230] ppid=21225 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 4739 0 0 0 6 1 0 0 20 0 18 0 34684106 19384713216 12181 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684110 19384713216 12181 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=18930384 memory=55195547748946 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684111 19384713216 12181 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48724 KiB
[startup+0.214257 s]*
/proc/loadavg: 4.55 4.30 4.26 6/331 21246
/proc/meminfo: memFree=115503436/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=18930384 memory=58732 CPUtime=0.34 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 6747 0 0 0 31 3 0 0 20 0 18 0 34684105 19384713216 14683 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4732596 14683 5424 1 0 547760 0
[pid=21228/tid=21230] ppid=21225 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 5215 0 0 0 18 2 0 0 20 0 18 0 34684106 19384713216 14683 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684110 19384713216 14683 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684111 19384713216 14715 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58732 KiB
[startup+0.331368 s]*
/proc/loadavg: 4.55 4.30 4.26 7/331 21246
/proc/meminfo: memFree=115487052/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=18930384 memory=65372 CPUtime=0.53 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 6871 0 0 0 49 4 0 0 20 0 18 0 34684105 19384713216 16343 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4732596 16343 5424 1 0 547836 0
[pid=21228/tid=21230] ppid=21225 vsize=18930384 memory=-6000919485641943917 CPUtime=0.3 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 5281 0 0 0 28 2 0 0 20 0 18 0 34684106 19384713216 16343 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34684110 19384713216 16343 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 34684111 19384713216 16343 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65372 KiB
[startup+0.700382 s]
/proc/loadavg: 4.55 4.30 4.26 6/331 21246
/proc/meminfo: memFree=115455608/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=18997688 memory=100320 CPUtime=1.2 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 10246 0 0 0 113 7 0 0 20 0 19 0 34684105 19453632512 25080 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4749422 25080 5424 1 0 550531 0
[pid=21228/tid=21230] ppid=21225 vsize=18997688 memory=17024 CPUtime=0.54 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 5369 0 0 0 50 4 0 0 20 0 19 0 34684106 19453632512 25080 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=18997688 memory=11264 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34684110 19453632512 25080 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=18997688 memory=3200 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 34684111 19453632512 25080 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 18997688 KiB
Current children cumulated memory: 100320 KiB
[startup+1.5003 s]
/proc/loadavg: 4.55 4.30 4.26 6/332 21247
/proc/meminfo: memFree=115378356/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=18996948 memory=152144 CPUtime=2.78 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 20125 0 0 0 269 9 0 0 20 0 19 0 34684105 19452874752 38036 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4749237 38036 5424 1 0 553534 0
[pid=21228/tid=21230] ppid=21225 vsize=18996948 memory=3200 CPUtime=1.23 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 5713 0 0 0 118 5 0 0 20 0 19 0 34684106 19452874752 38036 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34684110 19452874752 38036 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 34684111 19452874752 38036 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=18996948 memory=14464 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34684164 19452874752 38036 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 152144 KiB
[startup+3.1057 s]
/proc/loadavg: 4.55 4.30 4.26 6/310 21259
/proc/meminfo: memFree=117086672/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=178688 CPUtime=5.93 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 23671 0 0 0 581 12 0 0 20 0 20 0 34684105 19521036288 44672 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 44672 5456 1 0 553888 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=14464 CPUtime=2.75 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 6879 0 0 0 268 7 0 0 20 0 20 0 34684106 19521036288 44672 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 44672 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 44672 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 44672 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178688 KiB
[startup+6.3004 s]
/proc/loadavg: 4.59 4.31 4.26 7/331 21313
/proc/meminfo: memFree=122367556/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=271868 CPUtime=10.16 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 27232 0 0 0 1000 16 0 0 20 0 20 0 34684105 19521036288 67967 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 67967 5456 1 0 554629 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=0 CPUtime=5.91 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 7111 0 0 0 581 10 0 0 20 0 20 0 34684106 19521036288 67967 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 67967 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 67967 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=162516 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 67967 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 10.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 271868 KiB
[startup+12.7004 s]
/proc/loadavg: 4.62 4.32 4.26 5/333 21315
/proc/meminfo: memFree=121696588/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=485068 CPUtime=16.66 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 30753 0 0 0 1642 24 0 0 20 0 20 0 34684105 19521036288 121267 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 121267 5488 1 0 554629 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=162516 CPUtime=12.14 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 8045 0 0 0 1198 16 0 0 20 0 20 0 34684106 19521036288 121267 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 121267 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=485068 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 121267 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 121267 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 16.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 485068 KiB
[startup+25.5004 s]
/proc/loadavg: 4.56 4.32 4.27 5/332 21383
/proc/meminfo: memFree=127052096/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1116336 CPUtime=29.53 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 34392 0 0 0 2912 41 0 0 20 0 20 0 34684105 19521036288 279084 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 279084 5488 1 0 799008 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=485068 CPUtime=24.5 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 9291 0 0 0 2419 31 0 0 20 0 20 0 34684106 19521036288 279084 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 279084 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=162516 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 279084 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=280060 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 279084 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 29.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1116336 KiB
[startup+51.1138 s]
/proc/loadavg: 4.80 4.40 4.30 5/332 21383
/proc/meminfo: memFree=123902864/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1493584 CPUtime=55.53 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 38248 0 0 0 5494 59 0 0 20 0 20 0 34684105 19521036288 373396 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 373396 5488 1 0 799020 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=14464 CPUtime=49.49 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 10548 0 0 0 4907 42 0 0 20 0 20 0 34684106 19521036288 373396 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=485068 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 373396 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 373396 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
################
# More data... #
################
/proc/meminfo: memFree=92766384/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3269.33 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 190143 0 0 0 325826 1107 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=1590356 CPUtime=3168.71 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 104978 0 0 0 316023 848 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=17024 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1720 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3269.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.33 4.25 6/331 21551
/proc/meminfo: memFree=92281640/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3330.26 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 190203 0 0 0 331904 1122 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=17024 CPUtime=3227.97 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 104983 0 0 0 321937 860 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1761 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=4896 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3330.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.32 4.25 5/331 21553
/proc/meminfo: memFree=92184840/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3391.67 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 190509 0 0 0 338025 1142 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=17024 CPUtime=3286.98 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 105281 0 0 0 327824 874 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1761 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3391.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.32 4.25 5/332 21560
/proc/meminfo: memFree=91679412/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3453.38 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 194671 0 0 0 344181 1157 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3346.09 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 108121 0 0 0 333725 884 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.85 4.48 4.31 5/332 21562
/proc/meminfo: memFree=91280204/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3514.35 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 196104 0 0 0 350261 1174 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3404.81 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 109253 0 0 0 339583 898 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1792 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3514.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
[startup+3522.3 s]
/proc/loadavg: 4.70 4.50 4.33 5/330 21564
/proc/meminfo: memFree=90978148/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3576.34 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 198579 0 0 0 356441 1193 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3463.94 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 110602 0 0 0 345482 912 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=1598164 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=-6000919485641943917 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3576.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3545.8 s]
/proc/loadavg: 4.52 4.47 4.33 5/330 21564
/proc/meminfo: memFree=90852700/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19063512 memory=1598164 CPUtime=3600.04 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 198582 0 0 0 358803 1201 0 0 20 0 20 0 34684105 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4765878 399541 5520 1 0 409293 0
[pid=21228/tid=21230] ppid=21225 vsize=19063512 memory=5504 CPUtime=3487.01 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) R 21225 21228 20294 0 -1 4194368 110603 0 0 0 347783 918 0 0 20 0 20 0 34684106 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34684110 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 20 0 34684111 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21247] ppid=21225 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/21228/task/21247/stat : 21247 (Timer-0) S 21225 21228 20294 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34684164 19521036288 399541 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1598164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3546.05 s]
# the end of solver process 21228 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3588.3 s, system=12.0346 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3546 s]*
/proc/loadavg: 4.52 4.47 4.33 6/331 21567
/proc/meminfo: memFree=90853976/131382120 swapFree=33010684/33010684
[pid=21228] ppid=21225 vsize=19263204 memory=1598804 CPUtime=3600.29 cores=0,2
/proc/21228/stat : 21228 (java) S 21225 21228 20294 0 -1 4194304 199814 0 0 0 358827 1202 0 0 20 0 21 0 34684105 19725520896 399701 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
/proc/21228/statm: 4815801 399701 5520 1 0 410242 0
[pid=21228/tid=21230] ppid=21225 vsize=19263204 memory=3200 CPUtime=3487.04 cores=0,2
/proc/21228/task/21230/stat : 21230 (java) S 21225 21228 20294 0 -1 4194368 110820 0 0 0 347785 919 0 0 20 0 21 0 34684106 19725520896 399701 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21239] ppid=21225 vsize=19263204 memory=4896 CPUtime=0 cores=0,2
/proc/21228/task/21239/stat : 21239 (Finalizer) S 21225 21228 20294 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 34684110 19725520896 399701 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21246] ppid=21225 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/21228/task/21246/stat : 21246 (Common-Cleaner) S 21225 21228 20294 0 -1 4194368 1833 0 0 0 0 0 0 0 20 0 21 0 34684111 19725520896 399701 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
[pid=21228/tid=21567] ppid=21225 vsize=19263204 memory=5240 CPUtime=0.15 cores=0,2
/proc/21228/task/21567/stat : 21567 (Thread-0) R 21225 21228 20294 0 -1 4194368 134 0 0 0 15 0 0 0 20 0 21 0 35038686 19725520896 399701 18446744073709551615 94421398966272 94421398969968 140733121776176 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94421398977784 94421398978576 94421421236224 140733121784112 140733121784294 140733121784294 140733121789896 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1598804 KiB
Child status: 143
Real time (s): 3546.05
CPU time (s): 3600.33
CPU user time (s): 3588.3
CPU system time (s): 12.0346
CPU usage (%): 101.531
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3158356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.3
system time used= 12.0346
maximum resident set size= 3158356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14632520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121691
involuntary context switches= 14794
# summary of solver processes directly reported to runsolver:
# pid: 21228
# total CPU time (s): 3600.33
# total CPU user time (s): 3588.3
# total CPU system time (s): 12.0346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7345 second user time and 38.4908 second system time
The end