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 (56694 MiB free)
  memory of node 1: 64473 MiB (57587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453552-1721843437/watcher-4453552-1721843437 -o /tmp/evaluation-result-4453552-1721843437/solver-4453552-1721843437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721843436-251987 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453552-1721843437 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453552-1721843437.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=252168, runsolver pid=252165
Current StackSize limit: 8192 KiB


[startup+0.1011 s]*
/proc/loadavg: 0.74 1.25 1.82 11/333 252188
/proc/meminfo: memFree=116951624/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=18975048 memory=66088 CPUtime=0.14 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 7104 0 0 0 12 2 0 0 20 0 18 0 20866254 19430449152 16522 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4743762 16522 5507 1 0 549375 0
[pid=252168/tid=252170] ppid=252165 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 5682 0 0 0 7 1 0 0 20 0 18 0 20866254 19430449152 16522 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20866257 19430449152 16522 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=18975048 memory=15542920531624460 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20866258 19430449152 16522 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66088 KiB

[startup+0.205957 s]*
/proc/loadavg: 0.74 1.25 1.82 14/334 252189
/proc/meminfo: memFree=116857772/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19041612 memory=159180 CPUtime=0.33 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 7604 0 0 0 30 3 0 0 20 0 19 0 20866254 19498610688 39795 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4760403 39795 5803 1 0 549875 0
[pid=252168/tid=252170] ppid=252165 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 5870 0 0 0 16 2 0 0 20 0 19 0 20866254 19498610688 39795 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19041612 memory=738093 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20866257 19498610688 39795 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20866258 19498610688 39795 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159180 KiB

[startup+0.311319 s]*
/proc/loadavg: 0.74 1.25 1.82 11/334 252189
/proc/meminfo: memFree=116710140/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19041612 memory=304452 CPUtime=0.54 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 9159 0 0 0 48 6 0 0 20 0 19 0 20866254 19498610688 76113 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4760403 76113 5819 1 0 550849 0
[pid=252168/tid=252170] ppid=252165 vsize=19041612 memory=-8815630701356098236 CPUtime=0.28 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 5937 0 0 0 23 5 0 0 20 0 19 0 20866254 19498610688 76113 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20866257 19498610688 76113 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20866258 19498610688 76113 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 304452 KiB

[startup+0.700216 s]
/proc/loadavg: 0.74 1.25 1.82 11/334 252189
/proc/meminfo: memFree=116376880/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=706508 CPUtime=1.24 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 15831 0 0 0 110 14 0 0 20 0 20 0 20866254 19566772224 176627 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 176627 5819 1 0 555552 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=5520 CPUtime=0.62 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 6226 0 0 0 50 12 0 0 20 0 20 0 20866254 19566772224 176627 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 176627 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 176627 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 706508 KiB

[startup+1.50032 s]
/proc/loadavg: 0.74 1.25 1.82 9/335 252190
/proc/meminfo: memFree=116245040/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=846084 CPUtime=2.82 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 17049 0 0 0 264 18 0 0 20 0 20 0 20866254 19566772224 211521 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 211521 5819 1 0 556187 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=13048 CPUtime=1.4 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 6398 0 0 0 125 15 0 0 20 0 20 0 20866254 19566772224 211521 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 211521 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 211521 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 211521 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 846084 KiB

[startup+3.10632 s]
/proc/loadavg: 0.74 1.25 1.82 6/335 252190
/proc/meminfo: memFree=115575560/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=1196820 CPUtime=6.01 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 17935 0 0 0 576 25 0 0 20 0 20 0 20866254 19566772224 299205 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 299205 5835 1 0 556556 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=0 CPUtime=2.97 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 6734 0 0 0 276 21 0 0 20 0 20 0 20866254 19566772224 299205 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 299205 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 299205 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 299205 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1196820 KiB

[startup+6.30027 s]
/proc/loadavg: 1.24 1.34 1.85 5/335 252192
/proc/meminfo: memFree=114740788/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=1268420 CPUtime=9.72 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 25057 0 0 0 942 30 0 0 20 0 20 0 20866254 19566772224 317105 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 317105 5867 1 0 556561 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=0 CPUtime=6.11 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 7729 0 0 0 586 25 0 0 20 0 20 0 20866254 19566772224 317105 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 317105 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 317105 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=74832 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 317105 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1268420 KiB

[startup+12.7083 s]
/proc/loadavg: 1.46 1.39 1.86 5/335 252192
/proc/meminfo: memFree=113779368/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=1344248 CPUtime=16.31 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 25867 0 0 0 1596 35 0 0 20 0 20 0 20866254 19566772224 336062 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 336062 5867 1 0 556561 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=724868 CPUtime=12.44 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) S 252165 252168 251974 0 -1 1077936192 8106 0 0 0 1215 29 0 0 20 0 20 0 20866254 19566772224 336062 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=1276664 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 336062 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=1227628 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 336062 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 336062 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 16.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1344248 KiB

[startup+25.5003 s]
/proc/loadavg: 2.02 1.52 1.89 5/337 252197
/proc/meminfo: memFree=111210824/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=2328900 CPUtime=29.22 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 32837 0 0 0 2861 61 0 0 20 0 20 0 20866254 19566772224 582225 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 582225 5867 1 0 892865 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=1276664 CPUtime=24.94 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 9598 0 0 0 2444 50 0 0 20 0 20 0 20866254 19566772224 582225 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=1966168 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 582225 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 582225 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 582225 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 29.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2328900 KiB

[startup+51.1059 s]
/proc/loadavg: 3.29 1.86 2.00 3/337 252200
/proc/meminfo: memFree=110095960/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=2798076 CPUtime=54.43 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 37172 0 0 0 5358 85 0 0 20 0 20 0 20866254 19566772224 699519 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 699519 5867 1 0 892867 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=2367848 CPUtime=49.64 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) D 252165 252168 251974 0 -1 4194368 12423 0 0 0 4894 70 0 0 20 0 20 0 20866254 19566772224 699519 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=2404840 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 699519 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 699519 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0

################
# More data... #
################

[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.07 5/336 253981
/proc/meminfo: memFree=83762088/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530584 CPUtime=3270.37 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 289019 0 0 0 325499 1538 0 0 20 0 20 0 20866254 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882646 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=3530584 CPUtime=3220.09 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 140385 0 0 0 320586 1423 0 0 20 0 20 0 20866254 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2778 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=74832 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 3786 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3270.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.08 5/333 253991
/proc/meminfo: memFree=83366388/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530584 CPUtime=3330.36 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 292805 0 0 0 331472 1564 0 0 20 0 20 0 20866254 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882646 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=74832 CPUtime=3278.96 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 142149 0 0 0 326450 1446 0 0 20 0 20 0 20866254 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2815 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=3530584 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=3530584 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 3863 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=5520 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882646 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3330.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.17 4.09 5/334 254003
/proc/meminfo: memFree=82964204/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530588 CPUtime=3390.14 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 296639 0 0 0 337425 1589 0 0 20 0 20 0 20866254 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882647 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=3530588 CPUtime=3337.95 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 144003 0 0 0 332325 1470 0 0 20 0 20 0 20866254 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2847 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 3905 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3390.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/336 254016
/proc/meminfo: memFree=82580960/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530588 CPUtime=3449.43 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 300416 0 0 0 343326 1617 0 0 20 0 20 0 20866254 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882647 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=3530588 CPUtime=3396.49 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 146365 0 0 0 338153 1496 0 0 20 0 20 0 20866254 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2924 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 3962 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3449.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/336 254026
/proc/meminfo: memFree=82194552/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530588 CPUtime=3509.47 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 304283 0 0 0 349306 1641 0 0 20 0 20 0 20866254 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882647 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=11684 CPUtime=3455.57 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 148634 0 0 0 344038 1519 0 0 20 0 20 0 20866254 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2952 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=3530588 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 4020 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882647 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3509.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.10 5/336 254037
/proc/meminfo: memFree=81784264/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530592 CPUtime=3568.91 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 308192 0 0 0 355226 1665 0 0 20 0 20 0 20866254 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882648 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=26184 CPUtime=3514.37 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 150963 0 0 0 349896 1541 0 0 20 0 20 0 20866254 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3012 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=3530592 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 4078 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=3530592 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3568.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 4.21 4.18 4.10 5/338 254046
/proc/meminfo: memFree=81583448/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19108176 memory=3530592 CPUtime=3600.09 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 309991 0 0 0 358329 1680 0 0 20 0 20 0 20866254 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4777044 882648 5867 1 0 895604 0
[pid=252168/tid=252170] ppid=252165 vsize=19108176 memory=3530588 CPUtime=3545.05 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) R 252165 252168 251974 0 -1 4194368 152417 0 0 0 352950 1555 0 0 20 0 20 0 20866254 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3025 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19108176 memory=3530584 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20866257 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19108176 memory=3530592 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 4136 0 0 0 0 0 0 0 20 0 20 0 20866258 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252190] ppid=252165 vsize=19108176 memory=3530592 CPUtime=0 cores=5,7
/proc/252168/task/252190/stat : 252190 (Timer-0) S 252165 252168 251974 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20866307 19566772224 882648 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3530592 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3613.65 s]
# the end of solver process 252168 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3583.42 s, system=16.8323 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3613.6 s]
/proc/loadavg: 4.21 4.18 4.10 5/338 254046
/proc/meminfo: memFree=81583448/131524600 swapFree=131071216/131071996
[pid=252168] ppid=252165 vsize=19307868 memory=3531388 CPUtime=3600.23 cores=5,7
/proc/252168/stat : 252168 (java) S 252165 252168 251974 0 -1 1077936128 313827 0 0 0 358342 1681 0 0 20 0 15 0 20866254 19771256832 882847 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
/proc/252168/statm: 4826967 882847 5879 1 0 896540 0
[pid=252168/tid=252170] ppid=252165 vsize=19307868 memory=3530592 CPUtime=3545.08 cores=5,7
/proc/252168/task/252170/stat : 252170 (java) D 252165 252168 251974 0 -1 4194368 152796 0 0 0 352952 1556 0 0 20 0 15 0 20866254 19771256832 882847 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3036 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252179] ppid=252165 vsize=19307868 memory=31156 CPUtime=0 cores=5,7
/proc/252168/task/252179/stat : 252179 (Finalizer) S 252165 252168 251974 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20866257 19771256832 882847 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
[pid=252168/tid=252186] ppid=252165 vsize=19307868 memory=74832 CPUtime=0 cores=5,7
/proc/252168/task/252186/stat : 252186 (Common-Cleaner) S 252165 252168 251974 0 -1 1077936192 4136 0 0 0 0 0 0 0 20 0 15 0 20866258 19771256832 882847 134679101440 94007237017600 94007237021296 140732187546464 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94007237029112 94007237029904 94007247118336 140732187550635 140732187550817 140732187550817 140732187557832 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3531388 KiB

Child status: 143

Real time (s): 3613.65
CPU time (s): 3600.26
CPU user time (s): 3583.42
CPU system time (s): 16.8323
CPU usage (%): 99.6293
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3531388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.42
system time used= 16.8323
maximum resident set size= 3532288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32579912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121067
involuntary context switches= 10275


# summary of solver processes directly reported to runsolver:
#   pid: 252168
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3583.42
#   total CPU system time (s): 16.8323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00033 second user time and 19.6651 second system time

The end