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 (62483 MiB free)
memory of node 1: 64473 MiB (63280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430039-1721160666/watcher-4430039-1721160666 -o /tmp/evaluation-result-4430039-1721160666/solver-4430039-1721160666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721160679-869040 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4430039-1721160666.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=869130, runsolver pid=869126
Current StackSize limit: 8192 KiB
[startup+0.103781 s]*
/proc/loadavg: 3.83 4.15 4.23 9/324 869168
/proc/meminfo: memFree=128693708/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=18975048 memory=62720 CPUtime=0.14 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 7258 0 0 0 13 1 0 0 20 0 18 0 168233299 19430449152 15680 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4743762 15680 5564 1 0 549375 0
[pid=869130/tid=869133] ppid=869126 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) S 869126 869130 869027 0 -1 1077936192 5768 0 0 0 8 1 0 0 20 0 18 0 168233299 19430449152 15680 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168233302 19430449152 15680 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168233302 19430449152 15680 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62720 KiB
[startup+0.205583 s]*
/proc/loadavg: 3.83 4.15 4.23 11/327 869171
/proc/meminfo: memFree=128335392/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=18975048 memory=91052 CPUtime=0.33 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 8009 0 0 0 31 2 0 0 20 0 18 0 168233299 19430449152 22763 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4743762 22763 5859 1 0 549898 0
[pid=869130/tid=869133] ppid=869126 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 5997 0 0 0 18 1 0 0 20 0 18 0 168233299 19430449152 22763 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=18975048 memory=2643 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168233302 19430449152 22763 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168233302 19430449152 22763 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 91052 KiB
[startup+0.30581 s]*
/proc/loadavg: 3.83 4.15 4.23 9/327 869171
/proc/meminfo: memFree=127949592/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=18975048 memory=128756 CPUtime=0.52 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 9844 0 0 0 49 3 0 0 20 0 18 0 168233299 19430449152 32189 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4743762 32189 5859 1 0 551041 0
[pid=869130/tid=869133] ppid=869126 vsize=18975048 memory=-8744698977143071420 CPUtime=0.28 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 6014 0 0 0 27 1 0 0 20 0 18 0 168233299 19430449152 32189 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168233302 19430449152 32189 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168233302 19430449152 32189 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 128756 KiB
[startup+0.700677 s]
/proc/loadavg: 3.83 4.15 4.23 9/328 869172
/proc/meminfo: memFree=126022552/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=657324 CPUtime=1.11 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 11264 0 0 0 96 15 0 0 20 0 19 0 168233299 19498610688 164331 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 164331 5875 1 0 1077950 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=5544 CPUtime=0.61 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 6285 0 0 0 50 11 0 0 20 0 19 0 168233299 19498610688 164331 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=12504 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 164331 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 164331 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 657324 KiB
[startup+1.50069 s]
/proc/loadavg: 3.83 4.15 4.23 6/328 869172
/proc/meminfo: memFree=122556944/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=1817304 CPUtime=1.99 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 11927 0 0 0 161 38 0 0 20 0 19 0 168233299 19498610688 454326 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 454326 5875 1 0 1077979 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=12504 CPUtime=1.39 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 6861 0 0 0 105 34 0 0 20 0 19 0 168233299 19498610688 454326 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 454326 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 454326 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1817304 KiB
[startup+3.11068 s]
/proc/loadavg: 3.83 4.15 4.23 8/328 869174
/proc/meminfo: memFree=118583668/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=2601452 CPUtime=4.25 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 22810 0 0 0 369 56 0 0 20 0 19 0 168233299 19498610688 650363 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 650363 5891 1 0 1083407 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=0 CPUtime=2.95 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 7325 0 0 0 246 49 0 0 20 0 19 0 168233299 19498610688 650363 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=12504 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 650363 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=2276056 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 650363 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 4.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2601452 KiB
[startup+6.30068 s]
/proc/loadavg: 4.01 4.18 4.24 5/328 869174
/proc/meminfo: memFree=118599024/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=2592312 CPUtime=8 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 24293 0 0 0 743 57 0 0 20 0 19 0 168233299 19498610688 648078 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 648078 5891 1 0 1083571 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=0 CPUtime=6.06 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 7709 0 0 0 557 49 0 0 20 0 19 0 168233299 19498610688 648078 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=2194136 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 648078 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 648078 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2592312 KiB
[startup+12.7007 s]
/proc/loadavg: 4.01 4.18 4.24 5/328 869174
/proc/meminfo: memFree=118582404/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=2596772 CPUtime=14.37 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 27097 0 0 0 1379 58 0 0 20 0 19 0 168233299 19498610688 649193 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 649193 5891 1 0 1083587 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=2596508 CPUtime=12.27 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 9044 0 0 0 1178 49 0 0 20 0 19 0 168233299 19498610688 649193 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=2594360 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 649193 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=14418115840706192 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 649193 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 14.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2596772 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.19 4.24 5/328 869177
/proc/meminfo: memFree=118554652/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=2602916 CPUtime=27.13 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 28168 0 0 0 2654 59 0 0 20 0 19 0 168233299 19498610688 650729 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 650729 5891 1 0 1083587 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=2600868 CPUtime=24.8 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 10071 0 0 0 2430 50 0 0 20 0 19 0 168233299 19498610688 650729 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 650729 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 650729 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 27.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2602916 KiB
[startup+51.1059 s]
/proc/loadavg: 4.28 4.22 4.25 5/328 869180
/proc/meminfo: memFree=115345932/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=5759128 CPUtime=53.8 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 38044 0 0 0 5254 126 0 0 20 0 19 0 168233299 19498610688 1439782 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 1439782 5906 1 0 1850281 0
[pid=869130/tid=869133] ppid=869126 vsize=19041612 memory=0 CPUtime=49.09 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 14360 0 0 0 4798 111 0 0 20 0 19 0 168233299 19498610688 1439782 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19041612 memory=2596772 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 1439782 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19041612 memory=2601460 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 168233302 19498610688 1439782 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 53.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5759128 KiB
[startup+102.301 s]
/proc/loadavg: 4.12 4.18 4.24 5/328 869188
/proc/meminfo: memFree=115252796/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19041612 memory=5771680 CPUtime=105.03 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 44256 0 0 0 10371 132 0 0 20 0 19 0 168233299 19498610688 1442920 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4760403 1442920 5906 1 0 1850282 0
################
# More data... #
################
/proc/meminfo: memFree=112573228/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806920 CPUtime=3220.92 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 177162 0 0 0 321769 323 0 0 20 0 20 0 168233299 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451730 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=5806868 CPUtime=3206.51 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 46213 0 0 0 320535 116 0 0 20 0 20 0 168233299 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=5806888 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=5806920 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 7643 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=5806920 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3220.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.26 4.19 5/330 870959
/proc/meminfo: memFree=112498644/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806920 CPUtime=3280.81 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 179214 0 0 0 327754 327 0 0 20 0 20 0 168233299 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451730 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=5806920 CPUtime=3266.31 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 46503 0 0 0 326515 116 0 0 20 0 20 0 168233299 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=5806920 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 7790 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=5544 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451730 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3280.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.22 4.18 5/330 870969
/proc/meminfo: memFree=112498288/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3340.7 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 181040 0 0 0 333740 330 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451731 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=5806920 CPUtime=3326.11 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 46795 0 0 0 332495 116 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=4828 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 7947 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=-8744698977143071420 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3340.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.18 5/330 870980
/proc/meminfo: memFree=112497940/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3400.6 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 183090 0 0 0 339727 333 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451731 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=4828 CPUtime=3385.91 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 47059 0 0 0 338475 116 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 8105 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3400.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.18 5/330 870990
/proc/meminfo: memFree=112497632/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3460.41 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 184679 0 0 0 345704 337 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451731 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=4828 CPUtime=3445.63 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 47274 0 0 0 344447 116 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 8253 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3460.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/330 871000
/proc/meminfo: memFree=112412936/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3520.31 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 186293 0 0 0 351691 340 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451731 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3505.44 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 47514 0 0 0 350428 116 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=11476 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 8401 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3520.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/332 871015
/proc/meminfo: memFree=112360688/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3580.21 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 187944 0 0 0 357677 344 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451731 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3565.24 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 47790 0 0 0 356408 116 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=41940 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 8549 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=15940 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602.2 s]
/proc/loadavg: 4.15 4.18 4.18 5/311 871035
/proc/meminfo: memFree=115636372/131524600 swapFree=131071996/131071996
[pid=869130] ppid=869126 vsize=19108176 memory=5806924 CPUtime=3600.07 cores=5,7
/proc/869130/stat : 869130 (java) S 869126 869130 869027 0 -1 1077936128 188575 0 0 0 359662 345 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
/proc/869130/statm: 4777044 1451731 5943 1 0 1850836 0
[pid=869130/tid=869133] ppid=869126 vsize=19108176 memory=7072 CPUtime=3585.08 cores=5,7
/proc/869130/task/869133/stat : 869133 (java) R 869126 869130 869027 0 -1 4194368 47858 0 0 0 358392 116 0 0 20 0 20 0 168233299 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869161] ppid=869126 vsize=19108176 memory=5806924 CPUtime=0 cores=5,7
/proc/869130/task/869161/stat : 869161 (Finalizer) S 869126 869130 869027 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869168] ppid=869126 vsize=19108176 memory=8040 CPUtime=0 cores=5,7
/proc/869130/task/869168/stat : 869168 (Common-Cleaner) S 869126 869130 869027 0 -1 1077936192 8697 0 0 0 0 0 0 0 20 0 20 0 168233302 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
[pid=869130/tid=869220] ppid=869126 vsize=19108176 memory=19896 CPUtime=0 cores=5,7
/proc/869130/task/869220/stat : 869220 (Timer-0) S 869126 869130 869027 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 168258543 19566772224 1451731 134679101440 94318133633024 94318133636720 140731813938464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94318133644536 94318133645328 94318143934464 140731813942261 140731813942369 140731813942369 140731813949384 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5806924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.25 s]
# the end of solver process 869130 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.69 s, system=3.47478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3602.25
CPU time (s): 3600.16
CPU user time (s): 3596.69
CPU system time (s): 3.47478
CPU usage (%): 99.942
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5806924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.69
system time used= 3.47478
maximum resident set size= 5808456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166153
involuntary context switches= 2572
# summary of solver processes directly reported to runsolver:
# pid: 869130
# total CPU time (s): 3600.16
# total CPU user time (s): 3596.69
# total CPU system time (s): 3.47478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57964 second user time and 19.3481 second system time
The end