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 (62967 MiB free)
memory of node 1: 64473 MiB (63682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424742-1720890789/watcher-4424742-1720890789 -o /tmp/evaluation-result-4424742-1720890789/solver-4424742-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720890801-715159 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424742-1720890789.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=715224, runsolver pid=715221
[startup+0.10129 s]*
/proc/loadavg: 0.12 0.10 0.11 9/327 715289
/proc/meminfo: memFree=129573568/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=18975048 memory=63200 CPUtime=0.12 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 7212 0 0 0 11 1 0 0 20 0 18 0 141245612 19430449152 15800 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4743762 15800 5687 1 0 549318 0
[pid=715224/tid=715226] ppid=715221 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 5753 0 0 0 7 1 0 0 20 0 18 0 141245612 19430449152 15800 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=18975048 memory=2643 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141245615 19430449152 15800 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141245616 19430449152 15800 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63200 KiB
[startup+0.214448 s]*
/proc/loadavg: 0.12 0.10 0.11 13/327 715289
/proc/meminfo: memFree=129524072/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=18975048 memory=80128 CPUtime=0.34 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 7833 0 0 0 32 2 0 0 20 0 18 0 141245612 19430449152 20032 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4743762 20032 5824 1 0 549717 0
[pid=715224/tid=715226] ppid=715221 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 6064 0 0 0 17 2 0 0 20 0 18 0 141245612 19430449152 20032 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=18975048 memory=2643 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141245615 19430449152 20032 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141245616 19430449152 20032 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80128 KiB
[startup+0.306452 s]*
/proc/loadavg: 0.12 0.10 0.11 11/329 715291
/proc/meminfo: memFree=129420312/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19041612 memory=98056 CPUtime=0.5 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 8444 0 0 0 47 3 0 0 20 0 19 0 141245612 19498610688 24514 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4760403 24514 5893 1 0 550206 0
[pid=715224/tid=715226] ppid=715221 vsize=19041612 memory=-8743571994988421820 CPUtime=0.25 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 6192 0 0 0 23 2 0 0 20 0 19 0 141245612 19498610688 24514 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141245615 19498610688 24514 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141245616 19498610688 24514 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141245640 19498610688 24514 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98056 KiB
[startup+0.700447 s]
/proc/loadavg: 0.12 0.10 0.11 9/330 715292
/proc/meminfo: memFree=129347656/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19041612 memory=127748 CPUtime=1.26 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 13703 0 0 0 122 4 0 0 20 0 19 0 141245612 19498610688 31937 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4760403 31937 5893 1 0 552896 0
[pid=715224/tid=715226] ppid=715221 vsize=19041612 memory=12504 CPUtime=0.63 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 6260 0 0 0 60 3 0 0 20 0 19 0 141245612 19498610688 31937 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19041612 memory=12504 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141245615 19498610688 31937 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19041612 memory=280983337497576 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141245616 19498610688 31937 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19041612 memory=1844 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141245640 19498610688 31937 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127748 KiB
[startup+1.50044 s]
/proc/loadavg: 0.12 0.10 0.11 10/331 715293
/proc/meminfo: memFree=129264064/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19041612 memory=158372 CPUtime=2.58 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 17406 0 0 0 253 5 0 0 20 0 19 0 141245612 19498610688 39593 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4760403 39593 5893 1 0 553260 0
[pid=715224/tid=715226] ppid=715221 vsize=19041612 memory=12504 CPUtime=1.43 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 6465 0 0 0 139 4 0 0 20 0 19 0 141245612 19498610688 39593 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19041612 memory=1844 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141245615 19498610688 39593 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141245616 19498610688 39593 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 141245640 19498610688 39593 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158372 KiB
[startup+3.10546 s]
/proc/loadavg: 0.83 0.25 0.16 5/333 715295
/proc/meminfo: memFree=129169044/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=177372 CPUtime=4.2 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 18611 0 0 0 414 6 0 0 20 0 20 0 141245612 19566772224 44343 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 44343 5925 1 0 553552 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=0 CPUtime=3 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 6750 0 0 0 296 4 0 0 20 0 20 0 141245612 19566772224 44343 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 44343 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=12504 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 44343 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 44343 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177372 KiB
[startup+6.30026 s]
/proc/loadavg: 0.83 0.25 0.16 7/333 715295
/proc/meminfo: memFree=129163580/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=175772 CPUtime=7.6 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 23853 0 0 0 753 7 0 0 20 0 20 0 141245612 19566772224 43943 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 43943 5925 1 0 553554 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=0 CPUtime=6.18 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 7470 0 0 0 614 4 0 0 20 0 20 0 141245612 19566772224 43943 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=7391413433648273289 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 43943 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 43943 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=12504 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 43943 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175772 KiB
[startup+12.7003 s]
/proc/loadavg: 1.32 0.37 0.20 6/333 715297
/proc/meminfo: memFree=129087484/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=181204 CPUtime=14.27 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 30998 0 0 0 1419 8 0 0 20 0 20 0 141245612 19566772224 45301 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 45301 5925 1 0 553554 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=0 CPUtime=12.55 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 8550 0 0 0 1251 4 0 0 20 0 20 0 141245612 19566772224 45301 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=-9104985865084904124 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 45301 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 45301 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 45301 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181204 KiB
[startup+25.5003 s]
/proc/loadavg: 1.73 0.49 0.24 5/333 715298
/proc/meminfo: memFree=128895804/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=230440 CPUtime=27.05 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 35176 0 0 0 2696 9 0 0 20 0 20 0 141245612 19566772224 57610 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 57610 5925 1 0 553554 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=35292 CPUtime=25.29 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 9721 0 0 0 2524 5 0 0 20 0 20 0 141245612 19566772224 57610 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=35292 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 57610 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=224296 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 57610 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 57610 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 230440 KiB
[startup+51.1057 s]
/proc/loadavg: 2.56 0.79 0.35 5/333 715303
/proc/meminfo: memFree=128306636/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=482564 CPUtime=52.85 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 43704 0 0 0 5269 16 0 0 20 0 20 0 141245612 19566772224 120641 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 120641 5925 1 0 553570 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=482420 CPUtime=50.82 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 12325 0 0 0 5072 10 0 0 20 0 20 0 141245612 19566772224 120641 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=451700 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=122059296/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2121704 CPUtime=3221.92 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 192372 0 0 0 322045 147 0 0 20 0 20 0 141245612 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 530426 5956 1 0 554809 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=2121704 CPUtime=3209.52 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 75638 0 0 0 320915 37 0 0 20 0 20 0 141245612 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=32176 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=2121704 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 4793 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=2121704 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3221.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.04 5/330 717063
/proc/meminfo: memFree=122056736/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2121704 CPUtime=3281.85 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 194826 0 0 0 328036 149 0 0 20 0 20 0 141245612 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 530426 5956 1 0 554809 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=2121704 CPUtime=3269.34 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 76947 0 0 0 326897 37 0 0 20 0 20 0 141245612 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=2121704 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 4940 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=35292 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 530426 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3281.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.05 5/330 717073
/proc/meminfo: memFree=122021508/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2154608 CPUtime=3342.51 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 204088 0 0 0 334098 153 0 0 20 0 20 0 141245612 19566772224 538652 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 538652 5956 1 0 554969 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=35292 CPUtime=3329.15 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 78298 0 0 0 332878 37 0 0 20 0 20 0 141245612 19566772224 538652 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=2154608 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 538652 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=2154608 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 5086 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 538652 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=1844 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 538652 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3342.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2154608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.46 4.23 4.08 5/330 717083
/proc/meminfo: memFree=122002576/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2154616 CPUtime=3402.42 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 206621 0 0 0 340086 156 0 0 20 0 20 0 141245612 19566772224 538654 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 538654 5956 1 0 554969 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=2154608 CPUtime=3388.96 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 79510 0 0 0 338859 37 0 0 20 0 20 0 141245612 19566772224 538654 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=2154608 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 538654 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=2154616 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 5189 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 538654 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=2154616 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 538654 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3402.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2154616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.63 4.30 4.12 5/332 717098
/proc/meminfo: memFree=121962132/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2161772 CPUtime=3462.33 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 210905 0 0 0 346076 157 0 0 20 0 20 0 141245612 19566772224 540443 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 540443 5953 1 0 554970 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=2154608 CPUtime=3448.76 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 81041 0 0 0 344839 37 0 0 20 0 20 0 141245612 19566772224 540443 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=2154608 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 540443 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=2154616 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 5269 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 540443 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=2161772 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 540443 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3462.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2161772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.37 4.29 4.12 5/332 717108
/proc/meminfo: memFree=121941340/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2165876 CPUtime=3522.24 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 213811 0 0 0 352064 160 0 0 20 0 20 0 141245612 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 541469 5953 1 0 554971 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=2165876 CPUtime=3508.59 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 82786 0 0 0 350821 38 0 0 20 0 20 0 141245612 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=-9104985865084904124 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 5409 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=-9104985865084904124 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3522.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2165876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.27 4.12 5/332 717118
/proc/meminfo: memFree=121941020/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2165876 CPUtime=3582.16 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 216744 0 0 0 358055 161 0 0 20 0 20 0 141245612 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 541469 5953 1 0 554971 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=2165876 CPUtime=3568.42 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 84625 0 0 0 356804 38 0 0 20 0 20 0 141245612 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=2165876 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=5544 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 5552 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=12504 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2165876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3600.2 s]
/proc/loadavg: 4.18 4.25 4.12 5/317 717175
/proc/meminfo: memFree=124094656/131524600 swapFree=131071996/131071996
[pid=715224] ppid=715221 vsize=19108176 memory=2165876 CPUtime=3600.03 cores=5,7
/proc/715224/stat : 715224 (java) S 715221 715224 715144 0 -1 1077936128 217380 0 0 0 359841 162 0 0 20 0 20 0 141245612 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
/proc/715224/statm: 4777044 541469 5953 1 0 554971 0
[pid=715224/tid=715226] ppid=715221 vsize=19108176 memory=4920 CPUtime=3586.28 cores=5,7
/proc/715224/task/715226/stat : 715226 (java) R 715221 715224 715144 0 -1 4194368 85117 0 0 0 358590 38 0 0 20 0 20 0 141245612 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715250] ppid=715221 vsize=19108176 memory=-9104985865084904124 CPUtime=0 cores=5,7
/proc/715224/task/715250/stat : 715250 (Finalizer) S 715221 715224 715144 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141245615 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715267] ppid=715221 vsize=19108176 memory=1938534 CPUtime=0 cores=5,7
/proc/715224/task/715267/stat : 715267 (Common-Cleaner) S 715221 715224 715144 0 -1 1077936192 5696 0 0 0 0 0 0 0 20 0 20 0 141245616 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
[pid=715224/tid=715291] ppid=715221 vsize=19108176 memory=1628 CPUtime=0 cores=5,7
/proc/715224/task/715291/stat : 715291 (Timer-0) S 715221 715224 715144 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141245640 19566772224 541469 134679101440 94133556600832 94133556604528 140727966866032 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94133556612344 94133556613136 94133571170304 140727966868499 140727966868607 140727966868607 140727966875592 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2165876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3600.26 s]
# the end of solver process 715224 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.51 s, system=1.63417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3600.26
CPU time (s): 3600.15
CPU user time (s): 3598.51
CPU system time (s): 1.63417
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2165876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.63417
maximum resident set size= 2167400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107240
involuntary context switches= 4197
# summary of solver processes directly reported to runsolver:
# pid: 715224
# total CPU time (s): 3600.15
# total CPU user time (s): 3598.51
# total CPU system time (s): 1.63417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5446 second user time and 18.2064 second system time
The end