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 (61637 MiB free)
memory of node 1: 64473 MiB (57380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429753-1721068758/watcher-4429753-1721068758 -o /tmp/evaluation-result-4429753-1721068758/solver-4429753-1721068758 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721061647-809944 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429753-1721068758.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
Current StackSize limit: 8192 KiB
solver pid=814118, runsolver pid=814115
[startup+0.102678 s]*
/proc/loadavg: 4.46 4.24 4.19 6/328 814136
/proc/meminfo: memFree=121833064/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=18975048 memory=63620 CPUtime=0.14 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 7253 0 0 0 13 1 0 0 20 0 18 0 159042507 19430449152 15905 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4743762 15905 5734 1 0 549374 0
[pid=814118/tid=814120] ppid=814115 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 1078198336 5764 0 0 0 7 1 0 0 20 0 18 0 159042507 19430449152 15905 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159042510 19430449152 15905 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159042510 19430449152 15905 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63620 KiB
[startup+0.207116 s]*
/proc/loadavg: 4.46 4.24 4.19 7/328 814136
/proc/meminfo: memFree=121794072/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=18975048 memory=102936 CPUtime=0.33 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 7801 0 0 0 31 2 0 0 20 0 18 0 159042507 19430449152 25734 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4743762 25734 5893 1 0 549683 0
[pid=814118/tid=814120] ppid=814115 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 6036 0 0 0 16 2 0 0 20 0 18 0 159042507 19430449152 25734 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=18975048 memory=2643 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159042510 19430449152 25734 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159042510 19430449152 25734 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 102936 KiB
[startup+0.306117 s]*
/proc/loadavg: 4.46 4.24 4.19 7/329 814137
/proc/meminfo: memFree=121730344/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19041612 memory=166796 CPUtime=0.53 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 9580 0 0 0 49 4 0 0 20 0 19 0 159042507 19498610688 41699 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4760403 41699 5909 1 0 550890 0
[pid=814118/tid=814120] ppid=814115 vsize=19041612 memory=-8817038067716432572 CPUtime=0.27 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 6088 0 0 0 24 3 0 0 20 0 19 0 159042507 19498610688 41699 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159042510 19498610688 41699 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159042510 19498610688 41699 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166796 KiB
[startup+0.70023 s]
/proc/loadavg: 4.46 4.24 4.19 6/329 814137
/proc/meminfo: memFree=121692908/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=340284 CPUtime=1.28 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 13936 0 0 0 120 8 0 0 20 0 20 0 159042507 19566772224 85071 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 85071 5946 1 0 1080268 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=5544 CPUtime=0.57 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 6276 0 0 0 51 6 0 0 20 0 20 0 159042507 19566772224 85071 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 85071 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 85071 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 340284 KiB
[startup+1.51011 s]
/proc/loadavg: 4.46 4.24 4.19 6/330 814138
/proc/meminfo: memFree=121482612/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=474336 CPUtime=2.86 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 23153 0 0 0 274 12 0 0 20 0 20 0 159042507 19566772224 118584 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 118584 5946 1 0 1085319 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=12504 CPUtime=1.29 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 6389 0 0 0 122 7 0 0 20 0 20 0 159042507 19566772224 118584 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 118584 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 118584 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 118584 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 474336 KiB
[startup+3.10592 s]
/proc/loadavg: 4.50 4.25 4.20 6/330 814138
/proc/meminfo: memFree=121168420/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=706996 CPUtime=5.93 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 23554 0 0 0 576 17 0 0 20 0 20 0 159042507 19566772224 176749 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 176749 5946 1 0 1085353 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=0 CPUtime=2.81 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 6492 0 0 0 270 11 0 0 20 0 20 0 159042507 19566772224 176749 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 176749 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 176749 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 176749 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 706996 KiB
[startup+6.30024 s]
/proc/loadavg: 4.50 4.25 4.20 5/330 814139
/proc/meminfo: memFree=120575356/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=1340128 CPUtime=9.33 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 25793 0 0 0 903 30 0 0 20 0 20 0 159042507 19566772224 335032 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 335032 5946 1 0 1085355 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=0 CPUtime=5.98 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 7119 0 0 0 575 23 0 0 20 0 20 0 159042507 19566772224 335032 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 335032 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 335032 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=40672 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 335032 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1340128 KiB
[startup+12.7003 s]
/proc/loadavg: 4.46 4.25 4.20 5/330 814139
/proc/meminfo: memFree=119313008/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=2599980 CPUtime=15.88 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 30323 0 0 0 1533 55 0 0 20 0 20 0 159042507 19566772224 649995 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 649995 5962 1 0 1085366 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=355504 CPUtime=12.32 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 9109 0 0 0 1185 47 0 0 20 0 20 0 159042507 19566772224 649995 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=2372340 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 649995 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=735668 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 649995 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 649995 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 15.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2599980 KiB
[startup+25.5003 s]
/proc/loadavg: 4.36 4.24 4.19 5/330 814143
/proc/meminfo: memFree=119160844/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=2602100 CPUtime=28.68 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 32141 0 0 0 2812 56 0 0 20 0 20 0 159042507 19566772224 650525 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 650525 5962 1 0 1085366 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=2372340 CPUtime=25.05 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 10585 0 0 0 2458 47 0 0 20 0 20 0 159042507 19566772224 650525 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=2602100 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 650525 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 650525 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 650525 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2602100 KiB
[startup+51.1058 s]
/proc/loadavg: 4.32 4.23 4.19 5/330 814146
/proc/meminfo: memFree=119077556/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=2612380 CPUtime=54.27 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 38187 0 0 0 5369 58 0 0 20 0 20 0 159042507 19566772224 653095 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 653095 5962 1 0 1085366 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=2612380 CPUtime=50.5 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 13315 0 0 0 5002 48 0 0 20 0 20 0 159042507 19566772224 653095 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=2612380 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 653095 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 653095 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
################
# More data... #
################
/proc/meminfo: memFree=115447584/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3067016 CPUtime=3221.68 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 243006 0 0 0 321956 212 0 0 20 0 20 0 159042507 19566772224 766754 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 766754 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=3048584 CPUtime=3205.06 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 124322 0 0 0 320430 76 0 0 20 0 20 0 159042507 19566772224 766754 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 86 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=3040376 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 766754 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=3062920 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4073 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 766754 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=3064968 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 766754 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3221.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3067016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/336 816048
/proc/meminfo: memFree=115336116/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3071112 CPUtime=3281.65 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 245923 0 0 0 327951 214 0 0 20 0 20 0 159042507 19566772224 767778 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 767778 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=129 CPUtime=3264.83 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 126326 0 0 0 326406 77 0 0 20 0 20 0 159042507 19566772224 767778 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 86 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=3062920 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 767778 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4167 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 767778 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=3069064 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 767778 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3281.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3071112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/335 816058
/proc/meminfo: memFree=115331552/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3075208 CPUtime=3341.58 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 249594 0 0 0 333941 217 0 0 20 0 20 0 159042507 19566772224 768802 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 768802 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=0 CPUtime=3324.6 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 128555 0 0 0 332382 78 0 0 20 0 20 0 159042507 19566772224 768802 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 86 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 768802 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4246 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 768802 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 768802 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3341.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3075208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/330 816068
/proc/meminfo: memFree=115327368/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3079304 CPUtime=3401.52 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 253244 0 0 0 339932 220 0 0 20 0 20 0 159042507 19566772224 769826 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 769826 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=3075208 CPUtime=3384.35 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 130692 0 0 0 338357 78 0 0 20 0 20 0 159042507 19566772224 769826 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 88 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=3073160 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 769826 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=3079304 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4340 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 769826 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=3079304 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 769826 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3401.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3079304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/330 816078
/proc/meminfo: memFree=115320892/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3085448 CPUtime=3461.46 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 256708 0 0 0 345923 223 0 0 20 0 20 0 159042507 19566772224 771362 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 771362 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=3073160 CPUtime=3444.11 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 132512 0 0 0 344332 79 0 0 20 0 20 0 159042507 19566772224 771362 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 88 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=3081352 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 771362 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=3085448 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4435 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 771362 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 771362 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3461.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3085448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/332 816093
/proc/meminfo: memFree=115316192/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3089552 CPUtime=3521.43 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 260316 0 0 0 351918 225 0 0 20 0 20 0 159042507 19566772224 772388 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 772388 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=3083400 CPUtime=3503.89 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 134619 0 0 0 350310 79 0 0 20 0 20 0 159042507 19566772224 772388 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 88 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=3083400 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 772388 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=3077256 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 772388 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=3089552 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 772388 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3521.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3089552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/332 816103
/proc/meminfo: memFree=115250096/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3093652 CPUtime=3581.39 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 263735 0 0 0 357910 229 0 0 20 0 20 0 159042507 19566772224 773413 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 773413 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=11476 CPUtime=3563.61 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 136669 0 0 0 356282 79 0 0 20 0 20 0 159042507 19566772224 773413 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 88 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=40672 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 773413 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=3093652 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4521 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 773413 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=3093652 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 773413 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3581.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3093652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3601 s]*
/proc/loadavg: 4.23 4.16 4.10 5/332 816106
/proc/meminfo: memFree=115245392/131524600 swapFree=131071996/131071996
[pid=814118] ppid=814115 vsize=19108176 memory=3095700 CPUtime=3600.08 cores=4,6
/proc/814118/stat : 814118 (java) S 814115 814118 809933 0 -1 1077936128 264480 0 0 0 359779 229 0 0 20 0 20 0 159042507 19566772224 773925 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
/proc/814118/statm: 4777044 773925 5992 1 0 1085414 0
[pid=814118/tid=814120] ppid=814115 vsize=19108176 memory=11592 CPUtime=3582.25 cores=4,6
/proc/814118/task/814120/stat : 814120 (java) R 814115 814118 809933 0 -1 4194368 137314 0 0 0 358145 80 0 0 20 0 20 0 159042507 19566772224 773925 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 89 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814129] ppid=814115 vsize=19108176 memory=3093652 CPUtime=0 cores=4,6
/proc/814118/task/814129/stat : 814129 (Finalizer) S 814115 814118 809933 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 773925 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814136] ppid=814115 vsize=19108176 memory=-7306377528471018880 CPUtime=0 cores=4,6
/proc/814118/task/814136/stat : 814136 (Common-Cleaner) S 814115 814118 809933 0 -1 1077936192 4601 0 0 0 0 0 0 0 20 0 20 0 159042510 19566772224 773925 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
[pid=814118/tid=814138] ppid=814115 vsize=19108176 memory=2704 CPUtime=0 cores=4,6
/proc/814118/task/814138/stat : 814138 (Timer-0) S 814115 814118 809933 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159042576 19566772224 773925 134679101440 94865616703488 94865616707184 140724032668784 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94865616715000 94865616715792 94865620004864 140724032676853 140724032676961 140724032676961 140724032683976 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3095700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3601.08 s]
# the end of solver process 814118 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.91 s, system=2.3137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3601.08
CPU time (s): 3600.22
CPU user time (s): 3597.91
CPU system time (s): 2.3137
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 19112348
Max. memory (cumulated for all children) (KiB): 3095700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.91
system time used= 2.3137
maximum resident set size= 3097184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118642
involuntary context switches= 4900
# summary of solver processes directly reported to runsolver:
# pid: 814118
# total CPU time (s): 3600.22
# total CPU user time (s): 3597.91
# total CPU system time (s): 2.3137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81642 second user time and 18.4138 second system time
The end