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: 63968 MiB (56149 MiB free)
memory of node 1: 64473 MiB (55808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460061-1721942863/watcher-4460061-1721942863 -o /tmp/evaluation-result-4460061-1721942863/solver-4460061-1721942863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721939462-258845 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4460061-1721942863.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=260958, runsolver pid=260955
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.48 4.51 4.39 6/329 260976
/proc/meminfo: memFree=114602532/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=18975048 memory=63184 CPUtime=0.13 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 7217 0 0 0 11 2 0 0 20 0 18 0 30815320 19430449152 15796 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4743762 15796 5684 1 0 549323 0
[pid=260958/tid=260960] ppid=260955 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 5750 0 0 0 7 1 0 0 20 0 18 0 30815320 19430449152 15796 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30815323 19430449152 15796 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=18975048 memory=14973373509117603 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30815324 19430449152 15796 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63184 KiB
[startup+0.208643 s]*
/proc/loadavg: 4.48 4.51 4.39 8/329 260976
/proc/meminfo: memFree=114593728/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19041612 memory=72656 CPUtime=0.34 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 7897 0 0 0 32 2 0 0 20 0 19 0 30815320 19498610688 18164 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4760403 18164 5890 1 0 550063 0
[pid=260958/tid=260960] ppid=260955 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 6122 0 0 0 18 1 0 0 20 0 19 0 30815320 19498610688 18164 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19041612 memory=1409442 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30815323 19498610688 18164 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19041612 memory=14690799019361963 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30815324 19498610688 18164 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (java) R 260955 260958 258834 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 30815341 19498610688 18164 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72656 KiB
[startup+0.30571 s]*
/proc/loadavg: 4.48 4.51 4.39 7/330 260977
/proc/meminfo: memFree=114581864/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19041612 memory=83880 CPUtime=0.52 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 8159 0 0 0 50 2 0 0 20 0 19 0 30815320 19498610688 20970 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4760403 20970 5893 1 0 550203 0
[pid=260958/tid=260960] ppid=260955 vsize=19041612 memory=-8815903388812944060 CPUtime=0.29 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 6166 0 0 0 27 2 0 0 20 0 19 0 30815320 19498610688 20970 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30815323 19498610688 20970 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30815324 19498610688 20970 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30815341 19498610688 20970 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83880 KiB
[startup+0.704641 s]
/proc/loadavg: 4.48 4.51 4.39 7/330 260977
/proc/meminfo: memFree=114514152/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=180548 CPUtime=1.28 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 12916 0 0 0 123 5 0 0 20 0 20 0 30815320 19566772224 45137 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 45137 5893 1 0 553991 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=70816 CPUtime=0.66 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 6214 0 0 0 63 3 0 0 20 0 20 0 30815320 19566772224 45137 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 45137 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=2308 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 45137 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=1932 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 45137 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180548 KiB
[startup+1.50164 s]
/proc/loadavg: 4.48 4.51 4.39 7/331 260978
/proc/meminfo: memFree=114484664/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=207712 CPUtime=2.86 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 20265 0 0 0 279 7 0 0 20 0 20 0 30815320 19566772224 51928 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 51928 5909 1 0 555533 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=12404 CPUtime=1.41 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 6552 0 0 0 138 3 0 0 20 0 20 0 30815320 19566772224 51928 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 51928 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=2308 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 51928 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=1932 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 51928 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207712 KiB
[startup+3.10666 s]
/proc/loadavg: 4.48 4.51 4.39 5/331 260980
/proc/meminfo: memFree=114145696/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=506960 CPUtime=5.6 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 23282 0 0 0 546 14 0 0 20 0 20 0 30815320 19566772224 126740 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 126740 5909 1 0 701904 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=0 CPUtime=2.93 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 7355 0 0 0 284 9 0 0 20 0 20 0 30815320 19566772224 126740 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=-8815903388812944060 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 126740 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 126740 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=2308 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 126740 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 506960 KiB
[startup+6.30029 s]
/proc/loadavg: 4.44 4.51 4.39 5/331 260980
/proc/meminfo: memFree=113582460/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=1189832 CPUtime=8.82 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 24075 0 0 0 855 27 0 0 20 0 20 0 30815320 19566772224 297458 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 297458 5909 1 0 701906 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=2308 CPUtime=6.09 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 8032 0 0 0 588 21 0 0 20 0 20 0 30815320 19566772224 297458 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 297458 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 297458 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 297458 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 8.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1189832 KiB
[startup+12.7003 s]
/proc/loadavg: 4.40 4.50 4.39 5/331 260981
/proc/meminfo: memFree=112870020/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=1763504 CPUtime=15.41 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 26148 0 0 0 1502 39 0 0 20 0 20 0 30815320 19566772224 440876 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 440876 5909 1 0 701914 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=12404 CPUtime=12.38 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 9344 0 0 0 1208 30 0 0 20 0 20 0 30815320 19566772224 440876 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=1718216 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 440876 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=70816 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 440876 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 440876 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 15.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763504 KiB
[startup+25.5003 s]
/proc/loadavg: 4.39 4.49 4.38 5/331 260983
/proc/meminfo: memFree=112849344/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=1763668 CPUtime=28.33 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 29442 0 0 0 2793 40 0 0 20 0 20 0 30815320 19566772224 440917 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 440917 5909 1 0 701914 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=6943526294502006880 CPUtime=25.01 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 10384 0 0 0 2470 31 0 0 20 0 20 0 30815320 19566772224 440917 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=11360 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 440917 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3548 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 440917 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 440917 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1763668 KiB
[startup+51.1066 s]
/proc/loadavg: 4.25 4.45 4.37 5/331 261154
/proc/meminfo: memFree=112776504/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=1818988 CPUtime=54.2 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 38272 0 0 0 5377 43 0 0 20 0 20 0 30815320 19566772224 454747 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 454747 5909 1 0 701915 0
################
# More data... #
################
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956421 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=5616 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2231 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956421 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=3825684 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956421 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3215.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3825684 KiB
[startup+3222.3 s]
/proc/loadavg: 2.18 2.20 2.26 3/281 262969
/proc/meminfo: memFree=119909804/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826068 CPUtime=3277.12 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 342839 0 0 0 327460 252 0 0 20 0 20 0 30815320 19566772224 956517 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956517 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=3825688 CPUtime=3157.14 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 112107 0 0 0 315644 70 0 0 20 0 20 0 30815320 19566772224 956517 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=3825676 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956517 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=11360 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2295 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956517 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=3825688 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956517 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3277.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826068 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.19 2.25 3/281 262979
/proc/meminfo: memFree=119908732/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826084 CPUtime=3338.02 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 343978 0 0 0 333547 255 0 0 20 0 20 0 30815320 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956521 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=3826068 CPUtime=3215.85 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 112975 0 0 0 321515 70 0 0 20 0 20 0 30815320 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=3826068 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3825676 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2295 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=3826068 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3338.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826084 KiB
[startup+3342.3 s]
/proc/loadavg: 2.04 2.17 2.24 2/255 263023
/proc/meminfo: memFree=123020152/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826084 CPUtime=3398.63 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 347520 0 0 0 339606 257 0 0 20 0 20 0 30815320 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956521 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=11360 CPUtime=3274.9 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 114762 0 0 0 327420 70 0 0 20 0 20 0 30815320 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=3826084 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3826084 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2392 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956521 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3398.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826084 KiB
[startup+3402.3 s]
/proc/loadavg: 1.51 1.98 2.17 2/254 263035
/proc/meminfo: memFree=123019740/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826144 CPUtime=3460.39 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 357140 0 0 0 345777 262 0 0 20 0 20 0 30815320 19566772224 956536 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956536 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=1932 CPUtime=3333.63 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 115773 0 0 0 333292 71 0 0 20 0 20 0 30815320 19566772224 956536 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=12404 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956536 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3826128 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2393 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956536 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=3826128 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956536 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3460.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826144 KiB
[startup+3462.3 s]
/proc/loadavg: 1.23 1.82 2.10 2/254 263045
/proc/meminfo: memFree=123018804/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826148 CPUtime=3520.94 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 360636 0 0 0 351829 265 0 0 20 0 20 0 30815320 19566772224 956537 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956537 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=12404 CPUtime=3392.78 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 117472 0 0 0 339207 71 0 0 20 0 20 0 30815320 19566772224 956537 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=3826148 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956537 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3826148 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2497 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956537 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=3826148 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956537 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3520.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826148 KiB
[startup+3522.3 s]
/proc/loadavg: 1.18 1.70 2.04 2/253 263439
/proc/meminfo: memFree=123017632/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826168 CPUtime=3581.66 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 361977 0 0 0 357899 267 0 0 20 0 20 0 30815320 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956542 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=3826148 CPUtime=3451.7 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 118583 0 0 0 345099 71 0 0 20 0 20 0 30815320 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=3826148 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3826148 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2497 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=11360 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3540.5 s]
/proc/loadavg: 1.20 1.67 2.02 2/253 263440
/proc/meminfo: memFree=123017584/131524600 swapFree=131057124/131071996
[pid=260958] ppid=260955 vsize=19108176 memory=3826168 CPUtime=3600.03 cores=4,6
/proc/260958/stat : 260958 (java) S 260955 260958 258834 0 -1 1077936128 362195 0 0 0 359735 268 0 0 20 0 20 0 30815320 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
/proc/260958/statm: 4777044 956542 5970 1 0 969992 0
[pid=260958/tid=260960] ppid=260955 vsize=19108176 memory=3826148 CPUtime=3469.64 cores=4,6
/proc/260958/task/260960/stat : 260960 (java) R 260955 260958 258834 0 -1 4194368 118786 0 0 0 346893 71 0 0 20 0 20 0 30815320 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260969] ppid=260955 vsize=19108176 memory=-8815903388812944060 CPUtime=0 cores=4,6
/proc/260958/task/260969/stat : 260969 (Finalizer) S 260955 260958 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30815323 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260976] ppid=260955 vsize=19108176 memory=3826168 CPUtime=0 cores=4,6
/proc/260958/task/260976/stat : 260976 (Common-Cleaner) S 260955 260958 258834 0 -1 1077936192 2497 0 0 0 0 0 0 0 20 0 20 0 30815324 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
[pid=260958/tid=260977] ppid=260955 vsize=19108176 memory=39044 CPUtime=0 cores=4,6
/proc/260958/task/260977/stat : 260977 (Timer-0) S 260955 260958 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30815341 19566772224 956542 134679101440 94725667905536 94725667909232 140728323730816 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94725667917048 94725667917840 94725685432320 140728323736559 140728323736672 140728323736672 140728323743688 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3826168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3540.61 s]
# the end of solver process 260958 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.53 s, system=2.70036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3540.6 s]*
/proc/loadavg: 1.20 1.67 2.02 3/235 263443
/proc/meminfo: memFree=126714544/131524600 swapFree=131057124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3540.61
CPU time (s): 3600.23
CPU user time (s): 3597.53
CPU system time (s): 2.70036
CPU usage (%): 101.684
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3826168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.70036
maximum resident set size= 3827664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137431
involuntary context switches= 6288
# summary of solver processes directly reported to runsolver:
# pid: 260958
# total CPU time (s): 3600.23
# total CPU user time (s): 3597.53
# total CPU system time (s): 2.70036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07672 second user time and 18.4223 second system time
The end