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: 63931 MiB (57816 MiB free)
  memory of node 1: 64510 MiB (58778 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446404-1721325772/watcher-4446404-1721325772 -o /tmp/evaluation-result-4446404-1721325772/solver-4446404-1721325772 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937017 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446404-1721325772.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=943923, runsolver pid=943920

[startup+0.100414 s]*
/proc/loadavg: 4.12 4.10 4.12 5/334 943941
/proc/meminfo: memFree=119349056/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=18975048 memory=65292 CPUtime=0.14 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 7205 0 0 0 12 2 0 0 20 0 18 0 184737780 19430449152 16323 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4743762 16323 5716 1 0 549339 0
[pid=943923/tid=943925] ppid=943920 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 5737 0 0 0 7 1 0 0 20 0 18 0 184737780 19430449152 16323 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184737783 19430449152 16323 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184737783 19430449152 16323 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65292 KiB

[startup+0.207088 s]*
/proc/loadavg: 4.12 4.10 4.12 7/334 943941
/proc/meminfo: memFree=119330120/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=18975048 memory=82984 CPUtime=0.34 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 7892 0 0 0 31 3 0 0 20 0 18 0 184737780 19430449152 20746 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4743762 20746 5896 1 0 549826 0
[pid=943923/tid=943925] ppid=943920 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 5916 0 0 0 17 2 0 0 20 0 18 0 184737780 19430449152 20746 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=18975048 memory=14994 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184737783 19430449152 20746 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184737783 19430449152 20746 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82984 KiB

[startup+0.306087 s]*
/proc/loadavg: 4.12 4.10 4.12 7/334 943941
/proc/meminfo: memFree=119287792/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=18975048 memory=124528 CPUtime=0.53 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 9115 0 0 0 49 4 0 0 20 0 18 0 184737780 19430449152 31132 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4743762 31132 5896 1 0 550571 0
[pid=943923/tid=943925] ppid=943920 vsize=18975048 memory=-9177035771080909500 CPUtime=0.27 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 5937 0 0 0 25 2 0 0 20 0 18 0 184737780 19430449152 31132 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184737783 19430449152 31132 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 184737783 19430449152 31132 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124528 KiB

[startup+0.701091 s]
/proc/loadavg: 4.12 4.10 4.12 7/335 943942
/proc/meminfo: memFree=119242460/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19041612 memory=191104 CPUtime=1.27 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 16493 0 0 0 120 7 0 0 20 0 19 0 184737780 19498610688 47776 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4760403 47776 5896 1 0 555898 0
[pid=943923/tid=943925] ppid=943920 vsize=19041612 memory=5560 CPUtime=0.61 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 5957 0 0 0 58 3 0 0 20 0 19 0 184737780 19498610688 47776 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184737783 19498610688 47776 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 184737783 19498610688 47776 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 191104 KiB

[startup+1.50109 s]
/proc/loadavg: 4.12 4.10 4.12 8/336 943943
/proc/meminfo: memFree=119195540/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=219068 CPUtime=2.82 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 19066 0 0 0 274 8 0 0 20 0 20 0 184737780 19566772224 54767 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 54767 5896 1 0 1083034 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=13012 CPUtime=1.3 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 6005 0 0 0 126 4 0 0 20 0 20 0 184737780 19566772224 54767 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 54767 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 54767 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 54767 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219068 KiB

[startup+3.1061 s]
/proc/loadavg: 4.27 4.13 4.14 5/336 943943
/proc/meminfo: memFree=119100180/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=227216 CPUtime=5.57 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 20261 0 0 0 548 9 0 0 20 0 20 0 184737780 19566772224 56804 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 56804 5912 1 0 1083106 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=0 CPUtime=2.88 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 6053 0 0 0 284 4 0 0 20 0 20 0 184737780 19566772224 56804 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 56804 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 56804 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 56804 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 227216 KiB

[startup+6.30209 s]
/proc/loadavg: 4.27 4.13 4.14 5/336 943943
/proc/meminfo: memFree=119087684/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=238108 CPUtime=9.03 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 28158 0 0 0 893 10 0 0 20 0 20 0 184737780 19566772224 59527 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 59527 5928 1 0 1083165 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=0 CPUtime=6.05 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 6622 0 0 0 601 4 0 0 20 0 20 0 184737780 19566772224 59527 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 59527 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 59527 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 59527 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 238108 KiB

[startup+12.7002 s]
/proc/loadavg: 4.45 4.18 4.15 5/336 943945
/proc/meminfo: memFree=119056524/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=275428 CPUtime=15.7 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 31469 0 0 0 1558 12 0 0 20 0 20 0 184737780 19566772224 68857 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 68857 5937 1 0 1083180 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=197248 CPUtime=12.41 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 7911 0 0 0 1236 5 0 0 20 0 20 0 184737780 19566772224 68857 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=265084 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 68857 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=227216 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 68857 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 68857 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 15.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 275428 KiB

[startup+25.5003 s]
/proc/loadavg: 4.38 4.17 4.15 5/334 943946
/proc/meminfo: memFree=118971832/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=357368 CPUtime=28.53 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 34816 0 0 0 2839 14 0 0 20 0 20 0 184737780 19566772224 89342 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 89342 5937 1 0 1083180 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=265084 CPUtime=25.19 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 9046 0 0 0 2512 7 0 0 20 0 20 0 184737780 19566772224 89342 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=314360 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 89342 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 89342 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=6943526294502006880 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 89342 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 28.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 357368 KiB

[startup+51.106 s]
/proc/loadavg: 4.31 4.17 4.15 5/334 943952
/proc/meminfo: memFree=118897488/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=427180 CPUtime=54.11 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 37546 0 0 0 5393 18 0 0 20 0 20 0 184737780 19566772224 106795 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 106795 5937 1 0 1083189 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=427180 CPUtime=50.67 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 10200 0 0 0 5059 8 0 0 20 0 20 0 184737780 19566772224 106795 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=427180 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 106795 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 106795 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0

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

/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1486.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1500.17 s]
# the end of solver process 943923 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1503.43 s, system=1.27919 s

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

[startup+1484.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/332 944606
/proc/meminfo: memFree=110165352/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1489.23 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121297 0 0 0 148798 125 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=2864688 CPUtime=1475.64 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39298 0 0 0 147550 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=3038776 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=2636 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1489.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1491.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/332 944607
/proc/meminfo: memFree=110165324/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1495.62 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121388 0 0 0 149437 125 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1482.03 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39389 0 0 0 148189 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1495.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1494.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/332 944607
/proc/meminfo: memFree=110163268/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1498.91 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121482 0 0 0 149766 125 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=11488 CPUtime=1485.12 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39389 0 0 0 148498 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=1976 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1498.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1497.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/332 944607
/proc/meminfo: memFree=110148940/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1502.1 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121550 0 0 0 150085 125 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1488.31 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39457 0 0 0 148817 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=-7449647192105246331 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1502.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1499.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/332 944609
/proc/meminfo: memFree=110140544/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1503.71 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121558 0 0 0 150245 126 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=5560 CPUtime=1489.91 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39465 0 0 0 148977 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=2636 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=-7449647192105246331 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=26268 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1503.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1499.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/332 944609
/proc/meminfo: memFree=110140544/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1504.11 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121558 0 0 0 150285 126 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=39384 CPUtime=1490.31 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39465 0 0 0 149017 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=1836 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=1976 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=32440 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1504.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1500 s]*
/proc/loadavg: 4.14 4.12 4.09 5/332 944609
/proc/meminfo: memFree=110136440/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19108176 memory=3038800 CPUtime=1504.51 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 121558 0 0 0 150325 126 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4777044 759700 5937 1 0 1085325 0
[pid=943923/tid=943925] ppid=943920 vsize=19108176 memory=-9177035771080909500 CPUtime=1490.71 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) R 943920 943923 937004 0 -1 4194368 39465 0 0 0 149057 14 0 0 20 0 20 0 184737780 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19108176 memory=-7449647192105246331 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19108176 memory=5008 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 20 0 184737783 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943943] ppid=943920 vsize=19108176 memory=2946908 CPUtime=0 cores=5,7
/proc/943923/task/943943/stat : 943943 (Timer-0) S 943920 943923 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184737878 19566772224 759700 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1504.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3038800 KiB

[startup+1500.11 s]
/proc/loadavg: 4.14 4.12 4.09 5/332 944609
/proc/meminfo: memFree=110136440/131524600 swapFree=131071996/131071996
[pid=943923] ppid=943920 vsize=19241304 memory=3039376 CPUtime=1504.62 cores=5,7
/proc/943923/stat : 943923 (java) S 943920 943923 937004 0 -1 1077936128 123936 0 0 0 150336 126 0 0 20 0 21 0 184737780 19703095296 759844 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
/proc/943923/statm: 4810326 759844 5936 1 0 1085982 0
[pid=943923/tid=943925] ppid=943920 vsize=19241304 memory=11488 CPUtime=1490.8 cores=5,7
/proc/943923/task/943925/stat : 943925 (java) S 943920 943923 937004 0 -1 1077936192 40910 0 0 0 149065 15 0 0 20 0 21 0 184737780 19703095296 759844 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943934] ppid=943920 vsize=19241304 memory=32440 CPUtime=0 cores=5,7
/proc/943923/task/943934/stat : 943934 (Finalizer) S 943920 943923 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 184737783 19703095296 759844 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
[pid=943923/tid=943941] ppid=943920 vsize=19241304 memory=3038800 CPUtime=0 cores=5,7
/proc/943923/task/943941/stat : 943941 (Common-Cleaner) S 943920 943923 937004 0 -1 1077936192 1433 0 0 0 0 0 0 0 20 0 21 0 184737783 19703095296 759844 134679101440 94783533576192 94783533579888 140723795533120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94783533587704 94783533588496 94783542206464 140723795534854 140723795534944 140723795534944 140723795541960 0
Current children cumulated CPU time: 1504.62 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 3039376 KiB

Child status: 20

Real time (s): 1500.17
CPU time (s): 1504.71
CPU user time (s): 1503.43
CPU system time (s): 1.27919
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 3039376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1503.43
system time used= 1.27919
maximum resident set size= 3040372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51522
involuntary context switches= 2238


# summary of solver processes directly reported to runsolver:
#   pid: 943923
#   total CPU time (s): 1504.71
#   total CPU user time (s): 1503.43
#   total CPU system time (s): 1.27919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38101 second user time and 7.6506 second system time

The end