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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439034-1721209035/watcher-4439034-1721209035 -o /tmp/evaluation-result-4439034-1721209035/solver-4439034-1721209035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721205435-887563 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439034-1721209035.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=889641, runsolver pid=889638

[startup+0.10011 s]*
/proc/loadavg: 4.07 4.21 4.24 4/239 889652
/proc/meminfo: memFree=129103556/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=31616 memory=17256 CPUtime=0.11 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 3576 0 0 0 10 1 0 0 20 0 1 0 173059951 32374784 4314 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 7904 4314 878 2594 0 4797 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 31616 KiB
Current children cumulated memory: 17256 KiB

[startup+0.213059 s]*
/proc/loadavg: 4.07 4.21 4.24 6/238 889664
/proc/meminfo: memFree=129061344/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=56676 memory=48356 CPUtime=0.22 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 9920 0 0 0 20 2 0 0 20 0 1 0 173059951 58036224 12089 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 14169 12089 2478 2594 0 11062 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56676 KiB
Current children cumulated memory: 48356 KiB

[startup+0.313264 s]*
/proc/loadavg: 4.07 4.21 4.24 5/236 889674
/proc/meminfo: memFree=129056648/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=80900 memory=70720 CPUtime=0.31 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 15432 0 0 0 28 3 0 0 20 0 1 0 173059951 82841600 17680 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 20225 17680 2558 2594 0 17118 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 80900 KiB
Current children cumulated memory: 70720 KiB

[startup+0.700345 s]
/proc/loadavg: 4.07 4.21 4.24 5/242 889684
/proc/meminfo: memFree=128945784/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=91188 memory=80632 CPUtime=0.69 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 19175 0 0 0 65 4 0 0 20 0 1 0 173059951 93376512 20158 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 22797 20158 2590 2594 0 19690 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91188 KiB
Current children cumulated memory: 80632 KiB

[startup+1.50035 s]
/proc/loadavg: 4.07 4.21 4.24 5/242 889684
/proc/meminfo: memFree=128764328/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=92388 memory=81916 CPUtime=1.48 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 19458 0 0 0 144 4 0 0 20 0 1 0 173059951 94605312 20479 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 23097 20479 2590 2594 0 19990 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92388 KiB
Current children cumulated memory: 81916 KiB

[startup+3.1126 s]
/proc/loadavg: 4.06 4.21 4.24 5/242 889684
/proc/meminfo: memFree=128112940/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=171932 memory=156252 CPUtime=3.09 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 34290 0 0 0 303 6 0 0 20 0 1 0 173059951 176058368 39063 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 42983 39063 2686 2594 0 39876 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 171932 KiB
Current children cumulated memory: 156252 KiB

[startup+6.30032 s]
/proc/loadavg: 4.06 4.21 4.24 5/242 889684
/proc/meminfo: memFree=128068584/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=199756 memory=176168 CPUtime=6.27 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 38753 0 0 0 621 6 0 0 20 0 1 0 173059951 204550144 44042 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 49939 44042 2702 2594 0 46832 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 199756 KiB
Current children cumulated memory: 176168 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.22 4.25 5/242 889686
/proc/meminfo: memFree=127321232/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=264608 memory=203768 CPUtime=12.65 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 44754 0 0 0 1258 7 0 0 20 0 1 0 173059951 270958592 50942 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 66152 50942 2702 2594 0 63045 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 264608 KiB
Current children cumulated memory: 203768 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.21 4.24 5/242 889687
/proc/meminfo: memFree=127214600/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=294156 memory=233020 CPUtime=25.42 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 53426 0 0 0 2534 8 0 0 20 0 1 0 173059951 301215744 58255 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 73539 58255 2702 2594 0 70432 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 294156 KiB
Current children cumulated memory: 233020 KiB

[startup+51.1128 s]
/proc/loadavg: 4.13 4.21 4.24 5/242 889692
/proc/meminfo: memFree=127146908/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=341992 memory=263340 CPUtime=50.95 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 61026 0 0 0 5086 9 0 0 20 0 1 0 173059951 350199808 65835 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 85498 65835 2702 2594 0 82391 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 341992 KiB
Current children cumulated memory: 263340 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.23 5/244 889705
/proc/meminfo: memFree=126872388/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=475272 memory=394464 CPUtime=102 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 102954 0 0 0 10185 15 0 0 20 0 1 0 173059951 486678528 98616 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 118818 98616 2702 2594 0 115711 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 475272 KiB
Current children cumulated memory: 394464 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.18 4.22 5/244 889715
/proc/meminfo: memFree=126835088/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=511612 memory=399716 CPUtime=161.82 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 103753 0 0 0 16167 15 0 0 20 0 1 0 173059951 523890688 99929 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 127903 99929 2702 2594 0 124796 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 511612 KiB
Current children cumulated memory: 399716 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.15 4.21 5/244 889727
/proc/meminfo: memFree=126762644/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=536492 memory=406372 CPUtime=221.65 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 118434 0 0 0 22148 17 0 0 20 0 1 0 173059951 549367808 101593 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 134123 101593 2970 2594 0 131016 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 536492 KiB
Current children cumulated memory: 406372 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.15 4.20 5/244 889737
/proc/meminfo: memFree=126628092/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=639948 memory=472848 CPUtime=281.49 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 134680 0 0 0 28129 20 0 0 20 0 1 0 173059951 655306752 118212 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 159987 118212 2970 2594 0 156880 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 639948 KiB
Current children cumulated memory: 472848 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.17 4.20 5/243 889749
/proc/meminfo: memFree=126512340/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=734188 memory=533216 CPUtime=341.32 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 150145 0 0 0 34107 25 0 0 20 0 1 0 173059951 751808512 133304 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 183547 133304 2970 2594 0 180440 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 734188 KiB
Current children cumulated memory: 533216 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.19 5/243 889759
/proc/meminfo: memFree=126395472/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=825456 memory=553600 CPUtime=401.15 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 154265 0 0 0 40089 26 0 0 20 0 1 0 173059951 845266944 138400 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 206364 138400 2970 2594 0 203257 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 825456 KiB
Current children cumulated memory: 553600 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.18 5/242 889770
/proc/meminfo: memFree=126310832/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=940972 memory=575420 CPUtime=460.98 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 159219 0 0 0 46071 27 0 0 20 0 1 0 173059951 963555328 143855 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 235243 143855 2970 2594 0 232136 0

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

/proc/loadavg: 4.55 4.26 4.15 5/241 890573
/proc/meminfo: memFree=125363536/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1612688 memory=896864 CPUtime=1777.23 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 237569 0 0 0 177677 46 0 0 20 0 1 0 173059951 1651392512 224216 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 403172 224216 2970 2594 0 400065 0
Current children cumulated CPU time: 1777.23 s
Current children cumulated vsize: 1612688 KiB
Current children cumulated memory: 896864 KiB

[startup+1842.3 s]
/proc/loadavg: 4.51 4.32 4.18 5/241 890583
/proc/meminfo: memFree=126134384/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=712104 CPUtime=1837.07 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 241319 0 0 0 183654 53 0 0 20 0 1 0 173059951 1341538304 178026 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 178026 2970 2594 0 324417 0
Current children cumulated CPU time: 1837.07 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 712104 KiB

[startup+1902.3 s]
/proc/loadavg: 4.24 4.27 4.18 5/241 890594
/proc/meminfo: memFree=126062252/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=766200 CPUtime=1896.91 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 245912 0 0 0 189637 54 0 0 20 0 1 0 173059951 1341538304 191550 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 191550 2970 2594 0 324417 0
Current children cumulated CPU time: 1896.91 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 766200 KiB

[startup+1962.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/241 890604
/proc/meminfo: memFree=125994452/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=811732 CPUtime=1956.75 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 249463 0 0 0 195620 55 0 0 20 0 1 0 173059951 1341538304 202933 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 202933 2970 2594 0 324417 0
Current children cumulated CPU time: 1956.75 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 811732 KiB

[startup+2022.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/243 890618
/proc/meminfo: memFree=125951564/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=850668 CPUtime=2016.59 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 249733 0 0 0 201603 56 0 0 20 0 1 0 173059951 1341538304 212667 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 212667 2970 2594 0 324417 0
Current children cumulated CPU time: 2016.59 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 850668 KiB

[startup+2082.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/243 890628
/proc/meminfo: memFree=125849332/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=940120 CPUtime=2076.43 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 256745 0 0 0 207584 59 0 0 20 0 1 0 173059951 1341538304 235030 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 235030 2970 2594 0 324417 0
Current children cumulated CPU time: 2076.43 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 940120 KiB

[startup+2142.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/243 890639
/proc/meminfo: memFree=125759308/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1018336 CPUtime=2136.27 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 259446 0 0 0 213567 60 0 0 20 0 1 0 173059951 1341538304 254584 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 254584 2970 2594 0 324417 0
Current children cumulated CPU time: 2136.27 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1018336 KiB

[startup+2202.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/243 890649
/proc/meminfo: memFree=125671896/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1099332 CPUtime=2196.12 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 260929 0 0 0 219550 62 0 0 20 0 1 0 173059951 1341538304 274833 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 274833 2970 2594 0 324417 0
Current children cumulated CPU time: 2196.12 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1099332 KiB

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

# cumulated CPU time of all completed processes:  user=2216.12 s, system=0.632741 s

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

[startup+2214.4 s]
/proc/loadavg: 4.09 4.17 4.16 5/243 890651
/proc/meminfo: memFree=125659712/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2208.19 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 220757 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2208.19 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

[startup+2217.6 s]
/proc/loadavg: 4.09 4.17 4.16 5/243 890652
/proc/meminfo: memFree=125645344/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2211.38 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 221076 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2211.38 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

[startup+2220.8 s]
/proc/loadavg: 4.09 4.17 4.16 5/243 890652
/proc/meminfo: memFree=125641204/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2214.57 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 221395 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2214.57 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

[startup+2221.6 s]
/proc/loadavg: 4.09 4.17 4.16 5/243 890652
/proc/meminfo: memFree=125641092/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2215.37 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 221475 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2215.37 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

[startup+2222.4 s]
/proc/loadavg: 4.16 4.18 4.17 5/243 890652
/proc/meminfo: memFree=125641108/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2216.17 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 221555 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2216.17 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

[startup+2222.8 s]
/proc/loadavg: 4.16 4.18 4.17 5/243 890652
/proc/meminfo: memFree=125641108/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2216.57 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 221595 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2216.57 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

[startup+2222.9 s]
/proc/loadavg: 4.16 4.18 4.17 5/243 890652
/proc/meminfo: memFree=125641108/131655788 swapFree=131071996/131071996
[pid=889641] ppid=889638 vsize=1310096 memory=1125876 CPUtime=2216.67 cores=1,3
/proc/889641/stat : 889641 (CASHWMaxSAT-Dis) R 889638 889641 887551 0 -1 4194304 261127 0 0 0 221605 62 0 0 20 0 1 0 173059951 1341538304 281469 134679101440 4194304 14817773 140732831906608 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33185792 140732831908836 140732831908951 140732831908951 140732831915967 0
/proc/889641/statm: 327524 281469 2970 2594 0 324417 0
Current children cumulated CPU time: 2216.67 s
Current children cumulated vsize: 1310096 KiB
Current children cumulated memory: 1125876 KiB

Child status: 30

Real time (s): 2222.98
CPU time (s): 2216.75
CPU user time (s): 2216.12
CPU system time (s): 0.632741
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 1612688
Max. memory (cumulated for all children) (KiB): 1125876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2216.12
system time used= 0.632741
maximum resident set size= 1126004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261127
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= 39
involuntary context switches= 1966


# summary of solver processes directly reported to runsolver:
#   pid: 889641
#   total CPU time (s): 2216.75
#   total CPU user time (s): 2216.12
#   total CPU system time (s): 0.632741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91984 second user time and 21.9234 second system time

The end