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: 63708 MiB (62217 MiB free)
  memory of node 1: 64465 MiB (62257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515116-1751225352/watcher-4515116-1751225352 -o /tmp/evaluation-result-4515116-1751225352/solver-4515116-1751225352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751218128-33000 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4515116-1751225352.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=33898, runsolver pid=33895
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.16 4.10 4.09 4/260 33911
/proc/meminfo: memFree=127418500/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=39008 memory=23968 CPUtime=0.1 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 6106 0 0 0 9 1 0 0 20 0 1 0 38214641 39944192 5992 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 9752 5992 960 2593 0 6645 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39008 KiB
Current children cumulated memory: 23968 KiB

[startup+0.206341 s]*
/proc/loadavg: 4.16 4.10 4.09 5/259 33920
/proc/meminfo: memFree=127394208/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=42328 memory=27340 CPUtime=0.2 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 7078 0 0 0 19 1 0 0 20 0 1 0 38214641 43343872 6835 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 10582 6835 960 2593 0 7475 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42328 KiB
Current children cumulated memory: 27340 KiB

[startup+0.305823 s]*
/proc/loadavg: 4.16 4.10 4.09 5/258 33926
/proc/meminfo: memFree=127373968/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=42364 memory=28008 CPUtime=0.3 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 7708 0 0 0 29 1 0 0 20 0 1 0 38214641 43380736 7002 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 10591 7002 960 2593 0 7484 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 28008 KiB

[startup+0.700184 s]
/proc/loadavg: 4.16 4.10 4.09 5/262 33930
/proc/meminfo: memFree=127302084/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=42980 memory=28740 CPUtime=0.68 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 9428 0 0 0 67 1 0 0 20 0 1 0 38214641 44011520 7185 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 10745 7185 992 2593 0 7638 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42980 KiB
Current children cumulated memory: 28740 KiB

[startup+1.50012 s]
/proc/loadavg: 4.16 4.10 4.09 5/262 33930
/proc/meminfo: memFree=127180052/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=53508 memory=39208 CPUtime=1.49 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 12475 0 0 0 147 2 0 0 20 0 1 0 38214641 54792192 9802 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 13377 9802 992 2593 0 10270 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53508 KiB
Current children cumulated memory: 39208 KiB

[startup+3.10546 s]
/proc/loadavg: 4.16 4.10 4.09 5/265 33940
/proc/meminfo: memFree=126898456/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=53508 memory=39208 CPUtime=3.09 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 12475 0 0 0 307 2 0 0 20 0 1 0 38214641 54792192 9802 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 13377 9802 992 2593 0 10270 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53508 KiB
Current children cumulated memory: 39208 KiB

[startup+6.30012 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 33940
/proc/meminfo: memFree=124830536/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=53508 memory=39208 CPUtime=6.28 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 12475 0 0 0 626 2 0 0 20 0 1 0 38214641 54792192 9802 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 13377 9802 992 2593 0 10270 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 53508 KiB
Current children cumulated memory: 39208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.13 4.10 5/265 33940
/proc/meminfo: memFree=122868156/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=53692 memory=39408 CPUtime=12.66 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 13242 0 0 0 1264 2 0 0 20 0 1 0 38214641 54980608 9852 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 13423 9852 992 2593 0 10316 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 53692 KiB
Current children cumulated memory: 39408 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.12 4.10 5/265 33940
/proc/meminfo: memFree=118170336/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=54432 memory=40184 CPUtime=25.42 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 14413 0 0 0 2539 3 0 0 20 0 1 0 38214641 55738368 10046 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 13608 10046 992 2593 0 10501 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54432 KiB
Current children cumulated memory: 40184 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.11 4.10 5/264 33941
/proc/meminfo: memFree=116564668/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=71756 memory=57472 CPUtime=50.95 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 20688 0 0 0 5090 5 0 0 20 0 1 0 38214641 73478144 14368 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 17939 14368 992 2593 0 14832 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 71756 KiB
Current children cumulated memory: 57472 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 33945
/proc/meminfo: memFree=111716684/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=72616 memory=58264 CPUtime=101.99 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 23007 0 0 0 10194 5 0 0 20 0 1 0 38214641 74358784 14566 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 18154 14566 992 2593 0 15047 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 72616 KiB
Current children cumulated memory: 58264 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 33948
/proc/meminfo: memFree=108909044/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=67704 memory=52520 CPUtime=161.82 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 32422 0 0 0 16172 10 0 0 20 0 1 0 38214641 69328896 13130 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 16926 13130 992 2593 0 13819 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 67704 KiB
Current children cumulated memory: 52520 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 33952
/proc/meminfo: memFree=106570332/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=95012 memory=80788 CPUtime=221.65 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37231 0 0 0 22152 13 0 0 20 0 1 0 38214641 97292288 20197 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 23753 20197 992 2593 0 20646 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 95012 KiB
Current children cumulated memory: 80788 KiB

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

# cumulated CPU time of all completed processes:  user=229.369 s, system=0.135454 s

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

[startup+224 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 33952
/proc/meminfo: memFree=106699616/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=95012 memory=80788 CPUtime=223.35 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37231 0 0 0 22322 13 0 0 20 0 1 0 38214641 97292288 20197 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 23753 20197 992 2593 0 20646 0
Current children cumulated CPU time: 223.35 s
Current children cumulated vsize: 95012 KiB
Current children cumulated memory: 80788 KiB

[startup+227.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 33952
/proc/meminfo: memFree=106493760/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=97516 memory=83224 CPUtime=226.54 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37340 0 0 0 22641 13 0 0 20 0 1 0 38214641 99856384 20806 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 24379 20806 992 2593 0 21272 0
Current children cumulated CPU time: 226.54 s
Current children cumulated vsize: 97516 KiB
Current children cumulated memory: 83224 KiB

[startup+228.8 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 33952
/proc/meminfo: memFree=106485716/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=97516 memory=83224 CPUtime=228.13 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37340 0 0 0 22800 13 0 0 20 0 1 0 38214641 99856384 20806 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 24379 20806 992 2593 0 21272 0
Current children cumulated CPU time: 228.13 s
Current children cumulated vsize: 97516 KiB
Current children cumulated memory: 83224 KiB

[startup+229.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 33952
/proc/meminfo: memFree=106482328/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=97516 memory=83224 CPUtime=228.93 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37340 0 0 0 22880 13 0 0 20 0 1 0 38214641 99856384 20806 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 24379 20806 992 2593 0 21272 0
Current children cumulated CPU time: 228.93 s
Current children cumulated vsize: 97516 KiB
Current children cumulated memory: 83224 KiB

[startup+230 s]*
/proc/loadavg: 4.15 4.11 4.09 5/264 33952
/proc/meminfo: memFree=106470292/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=97516 memory=83224 CPUtime=229.34 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37340 0 0 0 22921 13 0 0 20 0 1 0 38214641 99856384 20806 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 24379 20806 992 2593 0 21272 0
Current children cumulated CPU time: 229.34 s
Current children cumulated vsize: 97516 KiB
Current children cumulated memory: 83224 KiB

[startup+230.106 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 33952
/proc/meminfo: memFree=106470292/131250000 swapFree=33010684/33010684
[pid=33898] ppid=33895 vsize=97516 memory=83224 CPUtime=229.44 cores=4,6
/proc/33898/stat : 33898 (CASHWMaxSAT-Dis) R 33895 33898 32989 0 -1 4194304 37340 0 0 0 22931 13 0 0 20 0 1 0 38214641 99856384 20806 18446744073709551615 4198400 14817773 140729482164832 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39124992 140729482168682 140729482168797 140729482168797 140729482174399 0
/proc/33898/statm: 24379 20806 992 2593 0 21272 0
Current children cumulated CPU time: 229.44 s
Current children cumulated vsize: 97516 KiB
Current children cumulated memory: 83224 KiB

Child status: 30

Real time (s): 230.167
CPU time (s): 229.505
CPU user time (s): 229.369
CPU system time (s): 0.135454
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 112564
Max. memory (cumulated for all children) (KiB): 98304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.369
system time used= 0.135454
maximum resident set size= 98304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37340
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= 3
involuntary context switches= 215


# summary of solver processes directly reported to runsolver:
#   pid: 33898
#   total CPU time (s): 229.505
#   total CPU user time (s): 229.369
#   total CPU system time (s): 0.135454

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.497376 second user time and 1.05744 second system time

The end