runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61417 MiB free)
  memory of node 1: 64473 MiB (63208 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439220-1721230067/watcher-4439220-1721230067 -o /tmp/evaluation-result-4439220-1721230067/solver-4439220-1721230067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721230079-913822 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439220-1721230067.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=913875, runsolver pid=913867

[startup+0.10012 s]*
/proc/loadavg: 1.08 1.08 1.39 6/259 913886
/proc/meminfo: memFree=127544488/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=38056 memory=23592 CPUtime=0.1 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 5177 0 0 0 10 0 0 0 20 0 1 0 175175643 38969344 5898 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 9514 5898 878 2594 0 6407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38056 KiB
Current children cumulated memory: 23592 KiB

[startup+0.215892 s]*
/proc/loadavg: 1.08 1.08 1.39 5/259 913886
/proc/meminfo: memFree=127407544/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=56252 memory=41808 CPUtime=0.21 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 9708 0 0 0 20 1 0 0 20 0 1 0 175175643 57602048 10452 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 14063 10452 878 2594 0 10956 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56252 KiB
Current children cumulated memory: 41808 KiB

[startup+0.304809 s]*
/proc/loadavg: 1.08 1.08 1.39 5/259 913888
/proc/meminfo: memFree=127357240/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=72596 memory=57948 CPUtime=0.29 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 13814 0 0 0 28 1 0 0 20 0 1 0 175175643 74338304 14487 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 18149 14487 926 2594 0 15042 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72596 KiB
Current children cumulated memory: 57948 KiB

[startup+0.70018 s]
/proc/loadavg: 1.08 1.08 1.39 5/259 913888
/proc/meminfo: memFree=127162324/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=188068 memory=177804 CPUtime=0.68 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 43979 0 0 0 62 6 0 0 20 0 1 0 175175643 192581632 44451 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 47017 44451 2510 2594 0 43910 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188068 KiB
Current children cumulated memory: 177804 KiB

[startup+1.5002 s]
/proc/loadavg: 1.08 1.08 1.39 6/259 913888
/proc/meminfo: memFree=127039380/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=251052 memory=239484 CPUtime=1.48 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 63227 0 0 0 139 9 0 0 20 0 1 0 175175643 257077248 59871 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 62763 59871 2622 2594 0 59656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251052 KiB
Current children cumulated memory: 239484 KiB

[startup+3.10663 s]
/proc/loadavg: 1.08 1.08 1.39 6/259 913888
/proc/meminfo: memFree=126903356/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=256556 memory=242132 CPUtime=3.08 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 63922 0 0 0 299 9 0 0 20 0 1 0 175175643 262713344 60533 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64139 60533 2654 2594 0 61032 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 256556 KiB
Current children cumulated memory: 242132 KiB

[startup+6.30018 s]
/proc/loadavg: 1.31 1.13 1.41 6/259 913888
/proc/meminfo: memFree=126902240/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=257152 memory=242916 CPUtime=6.28 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64118 0 0 0 618 10 0 0 20 0 1 0 175175643 263323648 60729 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64288 60729 2654 2594 0 61181 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 257152 KiB
Current children cumulated memory: 242916 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.18 1.42 6/259 913889
/proc/meminfo: memFree=126895908/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=258344 memory=243964 CPUtime=12.66 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64389 0 0 0 1256 10 0 0 20 0 1 0 175175643 264544256 60991 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64586 60991 2654 2594 0 61479 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 258344 KiB
Current children cumulated memory: 243964 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.34 1.47 6/259 913891
/proc/meminfo: memFree=126840432/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=258344 memory=243964 CPUtime=25.42 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64391 0 0 0 2532 10 0 0 20 0 1 0 175175643 264544256 60991 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64586 60991 2654 2594 0 61479 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 258344 KiB
Current children cumulated memory: 243964 KiB

[startup+51.1069 s]
/proc/loadavg: 2.85 1.57 1.54 6/260 914065
/proc/meminfo: memFree=126752296/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=258344 memory=243964 CPUtime=50.94 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64394 0 0 0 5084 10 0 0 20 0 1 0 175175643 264544256 60991 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64586 60991 2654 2594 0 61479 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 258344 KiB
Current children cumulated memory: 243964 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.68 6/260 914074
/proc/meminfo: memFree=126738232/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=258344 memory=243964 CPUtime=101.99 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64396 0 0 0 10188 11 0 0 20 0 1 0 175175643 264544256 60991 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64586 60991 2654 2594 0 61479 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 258344 KiB
Current children cumulated memory: 243964 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.35 1.83 6/260 914084
/proc/meminfo: memFree=126690032/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=258344 memory=243964 CPUtime=161.82 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64398 0 0 0 16171 11 0 0 20 0 1 0 175175643 264544256 60991 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64586 60991 2654 2594 0 61479 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 258344 KiB
Current children cumulated memory: 243964 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.67 1.97 6/261 914153
/proc/meminfo: memFree=126680796/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=258344 memory=244028 CPUtime=221.65 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 64466 0 0 0 22154 11 0 0 20 0 1 0 175175643 264544256 61007 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 64586 61007 2654 2594 0 61479 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 258344 KiB
Current children cumulated memory: 244028 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.94 2.12 6/261 914164
/proc/meminfo: memFree=126632252/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=283824 memory=259332 CPUtime=281.49 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 69225 0 0 0 28137 12 0 0 20 0 1 0 175175643 290635776 64833 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 70956 64833 2654 2594 0 67849 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 283824 KiB
Current children cumulated memory: 259332 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.14 2.24 6/258 914174
/proc/meminfo: memFree=126623688/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=283824 memory=259332 CPUtime=341.32 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 69233 0 0 0 34120 12 0 0 20 0 1 0 175175643 290635776 64833 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 70956 64833 2654 2594 0 67849 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 283824 KiB
Current children cumulated memory: 259332 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.36 6/258 914186
/proc/meminfo: memFree=126580692/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=283824 memory=259332 CPUtime=401.14 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 69235 0 0 0 40102 12 0 0 20 0 1 0 175175643 290635776 64833 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 70956 64833 2654 2594 0 67849 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 283824 KiB
Current children cumulated memory: 259332 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.47 2.47 6/258 914196
/proc/meminfo: memFree=126526044/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=283824 memory=259332 CPUtime=460.97 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 69237 0 0 0 46085 12 0 0 20 0 1 0 175175643 290635776 64833 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 70956 64833 2654 2594 0 67849 0

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

/proc/loadavg: 4.10 4.12 4.01 6/256 915164
/proc/meminfo: memFree=126143128/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=389784 memory=349148 CPUtime=2614.35 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 88451 0 0 0 261420 15 0 0 20 0 1 0 175175643 399138816 87287 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97446 87287 2938 2594 0 94339 0
Current children cumulated CPU time: 2614.35 s
Current children cumulated vsize: 389784 KiB
Current children cumulated memory: 349148 KiB

[startup+2682.3 s]
/proc/loadavg: 4.08 4.11 4.01 6/256 915175
/proc/meminfo: memFree=126140336/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=389784 memory=349148 CPUtime=2674.15 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 88590 0 0 0 267400 15 0 0 20 0 1 0 175175643 399138816 87287 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97446 87287 2938 2594 0 94339 0
Current children cumulated CPU time: 2674.15 s
Current children cumulated vsize: 389784 KiB
Current children cumulated memory: 349148 KiB

[startup+2742.3 s]
/proc/loadavg: 4.06 4.10 4.01 6/256 915185
/proc/meminfo: memFree=126106960/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=389784 memory=349148 CPUtime=2733.96 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 88643 0 0 0 273381 15 0 0 20 0 1 0 175175643 399138816 87287 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97446 87287 2938 2594 0 94339 0
Current children cumulated CPU time: 2733.96 s
Current children cumulated vsize: 389784 KiB
Current children cumulated memory: 349148 KiB

[startup+2802.3 s]
/proc/loadavg: 4.06 4.10 4.01 6/256 915196
/proc/meminfo: memFree=126099340/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=389784 memory=349148 CPUtime=2793.78 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 88694 0 0 0 279363 15 0 0 20 0 1 0 175175643 399138816 87287 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97446 87287 2938 2594 0 94339 0
Current children cumulated CPU time: 2793.78 s
Current children cumulated vsize: 389784 KiB
Current children cumulated memory: 349148 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.01 6/256 915206
/proc/meminfo: memFree=126098408/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=389784 memory=349148 CPUtime=2853.59 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 88741 0 0 0 285344 15 0 0 20 0 1 0 175175643 399138816 87287 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97446 87287 2938 2594 0 94339 0
Current children cumulated CPU time: 2853.59 s
Current children cumulated vsize: 389784 KiB
Current children cumulated memory: 349148 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.01 6/254 915216
/proc/meminfo: memFree=126089844/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=350460 CPUtime=2913.39 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89360 0 0 0 291324 15 0 0 20 0 1 0 175175643 400871424 87615 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 87615 2938 2594 0 94762 0
Current children cumulated CPU time: 2913.39 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 350460 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.01 6/255 915228
/proc/meminfo: memFree=126084528/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2973.2 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89412 0 0 0 297305 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2973.2 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+3000.98 s]
# the end of solver process 913875 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2991.67 s, system=0.167536 s

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

[startup+2982.4 s]
/proc/loadavg: 4.12 4.10 4.01 6/255 915228
/proc/meminfo: memFree=126084528/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2973.3 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89412 0 0 0 297315 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+2988.8 s]
/proc/loadavg: 4.11 4.10 4.01 6/255 915228
/proc/meminfo: memFree=126084536/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2979.68 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89413 0 0 0 297953 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2979.68 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+2995.2 s]
/proc/loadavg: 4.09 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084244/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2986.06 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89414 0 0 0 298591 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2986.06 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+2998.4 s]
/proc/loadavg: 4.09 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084232/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2989.25 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89453 0 0 0 298910 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2989.25 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+3000 s]*
/proc/loadavg: 4.08 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084240/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2990.85 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89454 0 0 0 299070 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2990.85 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+3000.4 s]
/proc/loadavg: 4.08 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084240/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=391476 memory=354236 CPUtime=2991.25 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89552 0 0 0 299110 15 0 0 20 0 1 0 175175643 400871424 88559 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 97869 88559 2938 2594 0 94762 0
Current children cumulated CPU time: 2991.25 s
Current children cumulated vsize: 391476 KiB
Current children cumulated memory: 354236 KiB

[startup+3000.8 s]
/proc/loadavg: 4.08 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084240/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=317368 memory=280648 CPUtime=2991.65 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89572 0 0 0 299149 16 0 0 20 0 1 0 175175643 324984832 70162 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 79342 70162 2986 2594 0 76235 0
Current children cumulated CPU time: 2991.65 s
Current children cumulated vsize: 317368 KiB
Current children cumulated memory: 280648 KiB

[startup+3000.9 s]
/proc/loadavg: 4.08 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084240/131524600 swapFree=131071996/131071996
[pid=913875] ppid=913867 vsize=317368 memory=280648 CPUtime=2991.75 cores=1,3
/proc/913875/stat : 913875 (CASHWMaxSAT-Dis) R 913867 913875 913810 0 -1 4194304 89572 0 0 0 299159 16 0 0 20 0 1 0 175175643 324984832 70162 134679101440 4194304 14817773 140723890118592 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 42057728 140723890127844 140723890127959 140723890127959 140723890134975 0
/proc/913875/statm: 79342 70162 2986 2594 0 76235 0
Current children cumulated CPU time: 2991.75 s
Current children cumulated vsize: 317368 KiB
Current children cumulated memory: 280648 KiB

Child status: 30

Real time (s): 3000.98
CPU time (s): 2991.84
CPU user time (s): 2991.67
CPU system time (s): 0.167536
CPU usage (%): 99.6954
Max. virtual memory (cumulated for all children) (KiB): 391476
Max. memory (cumulated for all children) (KiB): 354236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2991.67
system time used= 0.167536
maximum resident set size= 354236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 873


# summary of solver processes directly reported to runsolver:
#   pid: 913875
#   total CPU time (s): 2991.84
#   total CPU user time (s): 2991.67
#   total CPU system time (s): 0.167536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46973 second user time and 16.8401 second system time

The end