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: 64059 MiB (37344 MiB free)
  memory of node 1: 64510 MiB (45700 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448822-1721827655/watcher-4448822-1721827655 -o /tmp/evaluation-result-4448822-1721827655/solver-4448822-1721827655 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721820325-182129 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4448822-1721827655 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4448822-1721827655.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
solver pid=186749, runsolver pid=186746
Current StackSize limit: 8192 KiB


[startup+0.100792 s]*
/proc/loadavg: 4.33 4.24 4.20 5/322 186767
/proc/meminfo: memFree=85000376/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=18975048 memory=57592 CPUtime=0.11 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 6421 0 0 0 7 4 0 0 20 0 18 0 18754604 19430449152 14398 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4743762 14398 5597 1 0 550838 0
[pid=186749/tid=186751] ppid=186746 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 5384 0 0 0 6 3 0 0 20 0 18 0 18754604 19430449152 14398 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18754609 19430449152 14398 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=18975048 memory=14131147652205475 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18754610 19430449152 14398 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57592 KiB

[startup+0.213796 s]*
/proc/loadavg: 4.33 4.24 4.20 9/322 186767
/proc/meminfo: memFree=84986652/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=18975048 memory=69268 CPUtime=0.3 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 7316 0 0 0 26 4 0 0 20 0 18 0 18754604 19430449152 17317 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4743762 17317 5621 1 0 551596 0
[pid=186749/tid=186751] ppid=186746 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) S 186746 186749 182119 0 -1 1077936192 5898 0 0 0 15 3 0 0 20 0 18 0 18754604 19430449152 17317 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=18975048 memory=1057316 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18754609 19430449152 17317 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=18975048 memory=15824391262966388 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18754610 19430449152 17317 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69268 KiB

[startup+0.314128 s]*
/proc/loadavg: 4.33 4.24 4.20 7/323 186768
/proc/meminfo: memFree=84980596/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19041612 memory=75064 CPUtime=0.5 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 7533 0 0 0 45 5 0 0 20 0 19 0 18754604 19498610688 18766 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4760403 18766 5768 1 0 551989 0
[pid=186749/tid=186751] ppid=186746 vsize=19041612 memory=-8744129442971689660 CPUtime=0.27 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 5999 0 0 0 24 3 0 0 20 0 19 0 18754604 19498610688 18766 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18754609 19498610688 18766 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18754610 19498610688 18766 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18754629 19498610688 18766 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75064 KiB

[startup+0.700787 s]
/proc/loadavg: 4.33 4.24 4.20 6/323 186769
/proc/meminfo: memFree=84961280/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19041612 memory=107852 CPUtime=1.2 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 9441 0 0 0 114 6 0 0 20 0 19 0 18754604 19498610688 26963 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4760403 26963 5839 1 0 552930 0
[pid=186749/tid=186751] ppid=186746 vsize=19041612 memory=12108 CPUtime=0.63 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 6064 0 0 0 59 4 0 0 20 0 19 0 18754604 19498610688 26963 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19041612 memory=12108 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18754609 19498610688 26963 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18754610 19498610688 26963 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19041612 memory=25560 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18754629 19498610688 26963 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107852 KiB

[startup+1.50078 s]
/proc/loadavg: 4.33 4.24 4.20 6/323 186769
/proc/meminfo: memFree=84906064/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=178360 CPUtime=2.78 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 17643 0 0 0 269 9 0 0 20 0 20 0 18754604 19566772224 44590 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 44590 5855 1 0 556421 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=12108 CPUtime=1.42 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 6438 0 0 0 136 6 0 0 20 0 20 0 18754604 19566772224 44590 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 44590 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 44590 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 44590 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178360 KiB

[startup+3.10692 s]
/proc/loadavg: 4.38 4.25 4.20 6/324 186770
/proc/meminfo: memFree=84832064/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=191544 CPUtime=5.41 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 19772 0 0 0 529 12 0 0 20 0 20 0 18754604 19566772224 47886 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 47886 5871 1 0 556732 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=0 CPUtime=3 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 6732 0 0 0 293 7 0 0 20 0 20 0 18754604 19566772224 47886 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 47886 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=178768 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 47886 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 47886 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191544 KiB

[startup+6.30042 s]
/proc/loadavg: 4.38 4.25 4.20 5/324 186770
/proc/meminfo: memFree=84431192/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=531320 CPUtime=9.01 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 24047 0 0 0 877 24 0 0 20 0 20 0 18754604 19566772224 132830 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 132830 5871 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=12108 CPUtime=6.15 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 7499 0 0 0 597 18 0 0 20 0 20 0 18754604 19566772224 132830 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 132830 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=6443921435213254998 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 132830 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=5456 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 132830 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 9.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 531320 KiB

[startup+12.7004 s]
/proc/loadavg: 4.32 4.24 4.20 5/324 186772
/proc/meminfo: memFree=83741340/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1164240 CPUtime=15.41 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 26118 0 0 0 1498 43 0 0 20 0 20 0 18754604 19566772224 291060 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 291060 5871 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=0 CPUtime=12.53 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 9328 0 0 0 1216 37 0 0 20 0 20 0 18754604 19566772224 291060 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=1008592 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 291060 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 291060 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 291060 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 15.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1164240 KiB

[startup+25.5005 s]
/proc/loadavg: 4.35 4.25 4.20 5/324 186773
/proc/meminfo: memFree=83216568/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1326204 CPUtime=28.2 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 30710 0 0 0 2761 59 0 0 20 0 20 0 18754604 19566772224 331551 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 331551 5902 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=1008592 CPUtime=25.18 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 10477 0 0 0 2467 51 0 0 20 0 20 0 18754604 19566772224 331551 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 331551 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=1326196 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 331551 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 331551 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326204 KiB

[startup+51.1136 s]
/proc/loadavg: 4.31 4.24 4.20 5/326 186948
/proc/meminfo: memFree=82747020/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1336448 CPUtime=53.63 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 34228 0 0 0 5283 80 0 0 20 0 20 0 18754604 19566772224 334112 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 334112 5902 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=1336448 CPUtime=50.47 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 12515 0 0 0 4976 71 0 0 20 0 20 0 18754604 19566772224 334112 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0

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


[startup+409.6 s]
/proc/loadavg: 4.19 4.22 4.19 5/325 187071
/proc/meminfo: memFree=76176700/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1390256 CPUtime=411.09 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 60678 0 0 0 40820 289 0 0 20 0 20 0 18754604 19566772224 347564 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 347564 5902 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=1361224 CPUtime=404.78 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 22992 0 0 0 40216 262 0 0 20 0 20 0 18754604 19566772224 347564 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 90 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=25560 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 347564 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=2224 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 359 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 347564 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=67960 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 347564 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 411.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1390256 KiB

[startup+435.2 s]
/proc/loadavg: 4.24 4.23 4.19 5/324 187076
/proc/meminfo: memFree=75809000/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1392344 CPUtime=436.77 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 62167 0 0 0 43377 300 0 0 20 0 20 0 18754604 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 348086 5902 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=12108 CPUtime=430.16 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 23625 0 0 0 42744 272 0 0 20 0 20 0 18754604 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 94 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=11756 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=1390284 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=1392344 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 436.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1392344 KiB

[startup+448 s]*
/proc/loadavg: 4.19 4.22 4.19 4/324 187078
/proc/meminfo: memFree=75638224/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1392344 CPUtime=449.54 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 62221 0 0 0 44651 303 0 0 20 0 20 0 18754604 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 348086 5902 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=-8744129442971689660 CPUtime=442.92 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 23679 0 0 0 44017 275 0 0 20 0 20 0 18754604 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 94 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=-7232357306177447040 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=7128 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=-8744129442971689660 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 348086 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 449.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1392344 KiB

[startup+454.4 s]
/proc/loadavg: 4.25 4.23 4.19 5/321 187079
/proc/meminfo: memFree=75605848/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1394392 CPUtime=455.95 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 62436 0 0 0 45290 305 0 0 20 0 20 0 18754604 19566772224 348598 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 348598 5902 1 0 556733 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=5456 CPUtime=449.25 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 23858 0 0 0 44648 277 0 0 20 0 20 0 18754604 19566772224 348598 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 94 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 348598 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=1392344 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 348598 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 348598 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 455.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1394392 KiB

[startup+457.6 s]
/proc/loadavg: 4.23 4.23 4.19 5/321 187079
/proc/meminfo: memFree=75544108/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1395212 CPUtime=459.47 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 65868 0 0 0 45641 306 0 0 20 0 20 0 18754604 19566772224 348803 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 348803 5902 1 0 557013 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=5456 CPUtime=452.44 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 24913 0 0 0 44966 278 0 0 20 0 20 0 18754604 19566772224 348803 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 94 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=1390284 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 348803 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=1392344 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 348803 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=1394392 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 348803 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 459.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1395212 KiB

[startup+459.2 s]
/proc/loadavg: 4.23 4.23 4.19 5/321 187079
/proc/meminfo: memFree=75520412/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1397220 CPUtime=462.02 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 66882 0 0 0 45895 307 0 0 20 0 20 0 18754604 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 349305 5902 1 0 557013 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=67960 CPUtime=454.03 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 25141 0 0 0 45125 278 0 0 20 0 20 0 18754604 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 94 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=-8744129442971689660 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=25560 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=31948 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 462.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1397220 KiB

[startup+459.6 s]
/proc/loadavg: 4.23 4.23 4.19 5/321 187079
/proc/meminfo: memFree=75520412/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19108176 memory=1397220 CPUtime=462.42 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 66883 0 0 0 45935 307 0 0 20 0 20 0 18754604 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4777044 349305 5902 1 0 557013 0
[pid=186749/tid=186751] ppid=186746 vsize=19108176 memory=67960 CPUtime=454.43 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) R 186746 186749 182119 0 -1 4194368 25141 0 0 0 45165 278 0 0 20 0 20 0 18754604 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 94 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19108176 memory=12108 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19108176 memory=5456 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186768] ppid=186746 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/186749/task/186768/stat : 186768 (Timer-0) S 186746 186749 182119 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18754629 19566772224 349305 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 462.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1397220 KiB

[startup+459.802 s]
/proc/loadavg: 4.23 4.23 4.19 5/321 187079
/proc/meminfo: memFree=75520412/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19241304 memory=1397468 CPUtime=462.76 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 67745 0 0 0 45968 308 0 0 20 0 20 0 18754604 19703095296 349367 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4810326 349367 5901 1 0 557617 0
[pid=186749/tid=186751] ppid=186746 vsize=19241304 memory=25560 CPUtime=454.58 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) S 186746 186749 182119 0 -1 1077936192 25799 0 0 0 45179 279 0 0 20 0 20 0 18754604 19703095296 349367 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 97 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19241304 memory=31948 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19703095296 349367 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19241304 memory=21400 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19703095296 349367 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 462.76 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1397468 KiB

[startup+459.901 s]
/proc/loadavg: 4.23 4.23 4.19 5/321 187079
/proc/meminfo: memFree=75520412/131655788 swapFree=131063676/131071996
[pid=186749] ppid=186746 vsize=19241304 memory=1397712 CPUtime=462.89 cores=0,2
/proc/186749/stat : 186749 (java) S 186746 186749 182119 0 -1 1077936128 67878 0 0 0 45981 308 0 0 20 0 20 0 18754604 19703095296 349428 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
/proc/186749/statm: 4810326 349428 5901 1 0 557649 0
[pid=186749/tid=186751] ppid=186746 vsize=19241304 memory=1379876 CPUtime=454.58 cores=0,2
/proc/186749/task/186751/stat : 186751 (java) S 186746 186749 182119 0 -1 1077936192 25799 0 0 0 45179 279 0 0 20 0 20 0 18754604 19703095296 349428 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 97 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186760] ppid=186746 vsize=19241304 memory=12108 CPUtime=0 cores=0,2
/proc/186749/task/186760/stat : 186760 (Finalizer) S 186746 186749 182119 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18754609 19703095296 349428 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
[pid=186749/tid=186767] ppid=186746 vsize=19241304 memory=1392344 CPUtime=0 cores=0,2
/proc/186749/task/186767/stat : 186767 (Common-Cleaner) S 186746 186749 182119 0 -1 1077936192 428 0 0 0 0 0 0 0 20 0 20 0 18754610 19703095296 349428 134679101440 94219653128192 94219653131888 140724260877952 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94219653139704 94219653140496 94219681615872 140724260881323 140724260881505 140724260881505 140724260888520 0
Current children cumulated CPU time: 462.89 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1397712 KiB

Child status: 20

Real time (s): 459.977
CPU time (s): 462.99
CPU user time (s): 459.892
CPU system time (s): 3.09844
CPU usage (%): 100.655
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1397712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 459.892
system time used= 3.09844
maximum resident set size= 1399024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2070832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16904
involuntary context switches= 3735


# summary of solver processes directly reported to runsolver:
#   pid: 186749
#   total CPU time (s): 462.99
#   total CPU user time (s): 459.892
#   total CPU system time (s): 3.09844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33367 second user time and 5.12135 second system time

The end