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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450162-1721827589/watcher-4450162-1721827589 -o /tmp/evaluation-result-4450162-1721827589/solver-4450162-1721827589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172051 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4450162-1721827589 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450162-1721827589.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=176753, runsolver pid=176750

[startup+0.10206 s]*
/proc/loadavg: 4.16 4.13 4.15 7/322 176771
/proc/meminfo: memFree=107714148/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=18975048 memory=59544 CPUtime=0.13 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 6790 0 0 0 11 2 0 0 20 0 18 0 18748145 19430449152 14886 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4743762 14886 5694 1 0 551064 0
[pid=176753/tid=176755] ppid=176750 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 5612 0 0 0 7 1 0 0 20 0 18 0 18748145 19430449152 14886 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18748149 19430449152 14886 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=18975048 memory=3833179250744360992 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18748149 19430449152 14886 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59544 KiB

[startup+0.212705 s]*
/proc/loadavg: 4.16 4.13 4.15 7/322 176771
/proc/meminfo: memFree=107705772/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=18975048 memory=66656 CPUtime=0.32 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 7497 0 0 0 29 3 0 0 20 0 18 0 18748145 19430449152 16664 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4743762 16664 5796 1 0 551602 0
[pid=176753/tid=176755] ppid=176750 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 1077936192 5915 0 0 0 17 2 0 0 20 0 18 0 18748145 19430449152 16664 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=18975048 memory=1276314 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18748149 19430449152 16664 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18748149 19430449152 16664 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66656 KiB

[startup+0.315943 s]*
/proc/loadavg: 4.16 4.13 4.15 7/322 176771
/proc/meminfo: memFree=107695644/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=18975048 memory=75972 CPUtime=0.51 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 7663 0 0 0 48 3 0 0 20 0 18 0 18748145 19430449152 18993 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4743762 18993 5860 1 0 551679 0
[pid=176753/tid=176755] ppid=176750 vsize=18975048 memory=-9176193532239323836 CPUtime=0.28 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 5939 0 0 0 26 2 0 0 20 0 18 0 18748145 19430449152 18993 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18748149 19430449152 18993 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18748149 19430449152 18993 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75972 KiB

[startup+0.700942 s]
/proc/loadavg: 4.16 4.13 4.15 8/324 176773
/proc/meminfo: memFree=107607360/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=165248 CPUtime=1.24 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 9619 0 0 0 119 5 0 0 20 0 20 0 18748145 19566772224 41312 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 41312 5876 1 0 553459 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=5456 CPUtime=0.61 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 6055 0 0 0 58 3 0 0 20 0 20 0 18748145 19566772224 41312 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=12620 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 41312 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=279600760677032 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 41312 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 41312 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 165248 KiB

[startup+1.50093 s]
/proc/loadavg: 4.16 4.13 4.15 6/324 176773
/proc/meminfo: memFree=107598928/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=171080 CPUtime=2.74 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 14995 0 0 0 268 6 0 0 20 0 20 0 18748145 19566772224 42770 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 42770 5892 1 0 554708 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=12620 CPUtime=1.4 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 6399 0 0 0 137 3 0 0 20 0 20 0 18748145 19566772224 42770 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 42770 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 42770 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=279600760530192 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 42770 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171080 KiB

[startup+3.10563 s]
/proc/loadavg: 4.31 4.16 4.16 5/324 176773
/proc/meminfo: memFree=107533164/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=213292 CPUtime=5.58 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 21341 0 0 0 550 8 0 0 20 0 20 0 18748145 19566772224 53323 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 53323 5908 1 0 557956 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=0 CPUtime=2.98 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 7379 0 0 0 294 4 0 0 20 0 20 0 18748145 19566772224 53323 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=12620 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 53323 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 53323 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=11536 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 53323 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 5.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 213292 KiB

[startup+6.30045 s]
/proc/loadavg: 4.31 4.16 4.16 5/324 176775
/proc/meminfo: memFree=107212780/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=498132 CPUtime=9.38 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 22781 0 0 0 922 16 0 0 20 0 20 0 18748145 19566772224 124533 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 124533 5908 1 0 557957 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=12620 CPUtime=6.13 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 7893 0 0 0 601 12 0 0 20 0 20 0 18748145 19566772224 124533 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 124533 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 124533 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=172136 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 124533 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 9.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 498132 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.16 4.16 5/303 176792
/proc/meminfo: memFree=114276876/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=500348 CPUtime=15.86 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 26112 0 0 0 1567 19 0 0 20 0 20 0 18748145 19566772224 125087 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 125087 5939 1 0 557957 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=0 CPUtime=12.43 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 8835 0 0 0 1230 13 0 0 20 0 20 0 18748145 19566772224 125087 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 125087 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=500340 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 125087 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=12620 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 125087 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 500348 KiB

[startup+25.5005 s]
/proc/loadavg: 4.22 4.15 4.16 6/324 176846
/proc/meminfo: memFree=117119072/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=916188 CPUtime=28.81 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 31935 0 0 0 2850 31 0 0 20 0 20 0 18748145 19566772224 229047 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 229047 5939 1 0 557957 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=500340 CPUtime=25.15 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 10810 0 0 0 2491 24 0 0 20 0 20 0 18748145 19566772224 229047 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 229047 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=680668 CPUtime=0 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 229047 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=2414 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 229047 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 28.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 916188 KiB

[startup+51.1137 s]
/proc/loadavg: 4.26 4.17 4.17 5/325 176850
/proc/meminfo: memFree=114128664/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=1356560 CPUtime=54.73 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 40235 0 0 0 5426 47 0 0 20 0 20 0 18748145 19566772224 339140 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 339140 5939 1 0 557957 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=1356560 CPUtime=50.37 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 12651 0 0 0 4999 38 0 0 20 0 20 0 18748145 19566772224 339140 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=1356560 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 339140 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.29 4.24 5/323 178778
/proc/meminfo: memFree=95654972/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2193404 CPUtime=3268.33 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 166507 0 0 0 326367 466 0 0 20 0 20 0 18748145 19566772224 548351 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 548351 5939 1 0 562466 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=11536 CPUtime=3251.13 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 78752 0 0 0 324825 288 0 0 20 0 20 0 18748145 19566772224 548351 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1252 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=2193404 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 548351 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=2180 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 4711 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 548351 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=2193400 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 548351 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3268.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.25 4.23 5/323 178790
/proc/meminfo: memFree=95375156/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2195816 CPUtime=3327.59 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 168661 0 0 0 332286 473 0 0 20 0 20 0 18748145 19566772224 548954 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 548954 5939 1 0 562466 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=0 CPUtime=3310.21 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 79798 0 0 0 330729 292 0 0 20 0 20 0 18748145 19566772224 548954 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1318 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=2195816 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 548954 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=11536 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 4828 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 548954 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=2195764 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 548954 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3327.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.25 4.23 5/323 178800
/proc/meminfo: memFree=95114080/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2196808 CPUtime=3387.12 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 169904 0 0 0 338234 478 0 0 20 0 20 0 18748145 19566772224 549202 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 549202 5939 1 0 562466 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=0 CPUtime=3369.69 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 80791 0 0 0 336674 295 0 0 20 0 20 0 18748145 19566772224 549202 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1350 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=2195764 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 549202 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=2196808 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 4964 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 549202 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=2196808 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 549202 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3387.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196808 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.21 5/322 178811
/proc/meminfo: memFree=94890888/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2196812 CPUtime=3444.16 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 171454 0 0 0 343933 483 0 0 20 0 20 0 18748145 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 549203 5939 1 0 562467 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=0 CPUtime=3426.52 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 81669 0 0 0 342355 297 0 0 20 0 20 0 18748145 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1639 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=2195764 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=2196808 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 5056 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=11536 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3444.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.21 4.21 5/325 179206
/proc/meminfo: memFree=94616200/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2196812 CPUtime=3503.87 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 172791 0 0 0 349900 487 0 0 20 0 20 0 18748145 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 549203 5939 1 0 562467 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=11536 CPUtime=3486.2 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 82818 0 0 0 348320 300 0 0 20 0 20 0 18748145 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1652 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=2196812 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=2196812 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 5183 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=2196812 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 549203 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3503.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2196812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.20 4.20 6/323 179216
/proc/meminfo: memFree=94350756/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2198860 CPUtime=3563.52 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 174173 0 0 0 355859 493 0 0 20 0 20 0 18748145 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 549715 5939 1 0 562467 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=2198860 CPUtime=3545.59 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 83520 0 0 0 354255 304 0 0 20 0 20 0 18748145 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1676 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=2198860 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 5309 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=11536 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3563.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619 s]*
/proc/loadavg: 4.00 4.16 4.19 4/298 179259
/proc/meminfo: memFree=109455168/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19108176 memory=2198860 CPUtime=3600.03 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 175053 0 0 0 359506 497 0 0 20 0 20 0 18748145 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4777044 549715 5939 1 0 562467 0
[pid=176753/tid=176755] ppid=176750 vsize=19108176 memory=-8672072944167199420 CPUtime=3582.07 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) R 176750 176753 172041 0 -1 4194368 84246 0 0 0 357901 306 0 0 20 0 20 0 18748145 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1688 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19108176 memory=1469927666070094169 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18748149 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19108176 memory=2181112 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 5423 0 0 0 0 1 0 0 20 0 20 0 18748149 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176773] ppid=176750 vsize=19108176 memory=2198860 CPUtime=0 cores=0,2
/proc/176753/task/176773/stat : 176773 (Timer-0) S 176750 176753 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18748192 19566772224 549715 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2198860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.28 s, system=5.00134 s

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

[startup+3619.12 s]
/proc/loadavg: 4.00 4.16 4.19 4/298 179259
/proc/meminfo: memFree=109455168/131655788 swapFree=131056320/131071996
[pid=176753] ppid=176750 vsize=19307868 memory=2199632 CPUtime=3600.18 cores=0,2
/proc/176753/stat : 176753 (java) S 176750 176753 172041 0 -1 1077936128 177401 0 0 0 359520 498 0 0 20 0 21 0 18748145 19771256832 549908 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
/proc/176753/statm: 4826967 549908 5938 1 0 563408 0
[pid=176753/tid=176755] ppid=176750 vsize=19307868 memory=2198860 CPUtime=3582.09 cores=0,2
/proc/176753/task/176755/stat : 176755 (java) S 176750 176753 172041 0 -1 1077936192 84553 0 0 0 357903 306 0 0 20 0 21 0 18748145 19771256832 549908 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1688 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176764] ppid=176750 vsize=19307868 memory=2198860 CPUtime=0 cores=0,2
/proc/176753/task/176764/stat : 176764 (Finalizer) S 176750 176753 172041 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18748149 19771256832 549908 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
[pid=176753/tid=176771] ppid=176750 vsize=19307868 memory=11604 CPUtime=0.01 cores=0,2
/proc/176753/task/176771/stat : 176771 (Common-Cleaner) S 176750 176753 172041 0 -1 1077936192 5423 0 0 0 0 1 0 0 20 0 21 0 18748149 19771256832 549908 134679101440 94392535621632 94392535625328 140720602801328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392535633144 94392535633936 94392554364928 140720602809259 140720602809441 140720602809441 140720602816456 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2199632 KiB

Child status: 143

Real time (s): 3619.2
CPU time (s): 3600.28
CPU user time (s): 3595.28
CPU system time (s): 5.00134
CPU usage (%): 99.4773
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2199632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.28
system time used= 5.00134
maximum resident set size= 2200824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4230184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107552
involuntary context switches= 26167


# summary of solver processes directly reported to runsolver:
#   pid: 176753
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3595.28
#   total CPU system time (s): 5.00134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1265 second user time and 39.9051 second system time

The end