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: 63665 MiB (60898 MiB free)
  memory of node 1: 64507 MiB (60953 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502529-1751430680/watcher-4502529-1751430680 -o /tmp/evaluation-result-4502529-1751430680/solver-4502529-1751430680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751427042-59166 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4502529-1751430680.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=59903, runsolver pid=59900

[startup+0.100068 s]*
/proc/loadavg: 4.13 4.12 4.06 5/265 59904
/proc/meminfo: memFree=124739188/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=46084 memory=35072 CPUtime=0.09 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 6373 0 0 0 8 1 0 0 20 0 1 0 58747615 47190016 8768 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 11521 8768 2656 2593 0 8414 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46084 KiB
Current children cumulated memory: 35072 KiB

[startup+0.205814 s]*
/proc/loadavg: 4.13 4.12 4.06 5/265 59904
/proc/meminfo: memFree=124577748/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=49676 memory=40704 CPUtime=0.19 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 7795 0 0 0 18 1 0 0 20 0 1 0 58747615 50868224 10176 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 7 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 12419 10176 2656 2593 0 9312 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49676 KiB
Current children cumulated memory: 40704 KiB

[startup+0.305881 s]*
/proc/loadavg: 4.13 4.12 4.06 6/265 59904
/proc/meminfo: memFree=124539120/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=50820 memory=41600 CPUtime=0.29 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 7997 0 0 0 28 1 0 0 20 0 1 0 58747615 52039680 10400 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 12705 10400 2656 2593 0 9598 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50820 KiB
Current children cumulated memory: 41600 KiB

[startup+0.700165 s]
/proc/loadavg: 4.13 4.12 4.06 5/265 59904
/proc/meminfo: memFree=124480336/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=55540 memory=44800 CPUtime=0.67 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 8824 0 0 0 66 1 0 0 20 0 1 0 58747615 56872960 11200 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 13885 11200 2656 2593 0 10778 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 44800 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 4.12 4.06 5/265 59904
/proc/meminfo: memFree=124359120/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=63992 memory=50944 CPUtime=1.47 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 10339 0 0 0 146 1 0 0 20 0 1 0 58747615 65527808 12736 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 15998 12736 2656 2593 0 12891 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63992 KiB
Current children cumulated memory: 50944 KiB

[startup+3.1056 s]
/proc/loadavg: 4.12 4.12 4.06 5/265 59904
/proc/meminfo: memFree=123539468/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=69968 memory=55896 CPUtime=3.07 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 12756 0 0 0 306 1 0 0 20 0 1 0 58747615 71647232 13974 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 17492 13974 2656 2593 0 14385 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 69968 KiB
Current children cumulated memory: 55896 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.12 4.06 5/265 59904
/proc/meminfo: memFree=122213624/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=69968 memory=56920 CPUtime=6.25 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 13024 0 0 0 624 1 0 0 20 0 1 0 58747615 71647232 14230 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 17492 14230 2656 2593 0 14385 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 69968 KiB
Current children cumulated memory: 56920 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.05 5/265 59904
/proc/meminfo: memFree=119883604/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=80000 memory=65616 CPUtime=12.63 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 15423 0 0 0 1262 1 0 0 20 0 1 0 58747615 81920000 16404 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 20000 16404 2656 2593 0 16893 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 65616 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.05 5/266 60042
/proc/meminfo: memFree=122608476/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=100220 memory=83124 CPUtime=25.4 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 20207 0 0 0 2538 2 0 0 20 0 1 0 58747615 102625280 20781 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 25055 20781 2656 2593 0 21948 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 100220 KiB
Current children cumulated memory: 83124 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 4.14 4.06 5/266 60043
/proc/meminfo: memFree=122432500/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=141404 memory=119704 CPUtime=50.93 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 30222 0 0 0 5090 3 0 0 20 0 1 0 58747615 144797696 29926 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 35351 29926 2656 2593 0 32244 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 141404 KiB
Current children cumulated memory: 119704 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.07 5/266 60045
/proc/meminfo: memFree=122380860/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=222176 memory=192556 CPUtime=101.99 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 50710 0 0 0 10193 6 0 0 20 0 1 0 58747615 227508224 48139 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 55544 48139 2656 2593 0 52437 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 222176 KiB
Current children cumulated memory: 192556 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.14 4.07 5/266 60047
/proc/meminfo: memFree=122314996/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=252504 memory=221080 CPUtime=161.82 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 66991 0 0 0 16173 9 0 0 20 0 1 0 58747615 258564096 55270 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 63126 55270 2656 2593 0 60019 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 252504 KiB
Current children cumulated memory: 221080 KiB

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

# cumulated CPU time of all completed processes:  user=192.131 s, system=0.113633 s

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

[startup+179.2 s]
/proc/loadavg: 4.13 4.14 4.07 5/266 60047
/proc/meminfo: memFree=122325628/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=260736 memory=226072 CPUtime=178.68 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68263 0 0 0 17858 10 0 0 20 0 1 0 58747615 266993664 56518 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65184 56518 2656 2593 0 62077 0
Current children cumulated CPU time: 178.68 s
Current children cumulated vsize: 260736 KiB
Current children cumulated memory: 226072 KiB

[startup+185.6 s]
/proc/loadavg: 4.12 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305752/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=260868 memory=226200 CPUtime=185.07 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68305 0 0 0 18497 10 0 0 20 0 1 0 58747615 267128832 56550 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65217 56550 2656 2593 0 62110 0
Current children cumulated CPU time: 185.07 s
Current children cumulated vsize: 260868 KiB
Current children cumulated memory: 226200 KiB

[startup+188.8 s]
/proc/loadavg: 4.11 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305752/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=261140 memory=226456 CPUtime=188.26 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68372 0 0 0 18816 10 0 0 20 0 1 0 58747615 267407360 56614 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65285 56614 2656 2593 0 62178 0
Current children cumulated CPU time: 188.26 s
Current children cumulated vsize: 261140 KiB
Current children cumulated memory: 226456 KiB

[startup+190.4 s]
/proc/loadavg: 4.11 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305752/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=261140 memory=226456 CPUtime=189.85 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68372 0 0 0 18975 10 0 0 20 0 1 0 58747615 267407360 56614 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65285 56614 2656 2593 0 62178 0
Current children cumulated CPU time: 189.85 s
Current children cumulated vsize: 261140 KiB
Current children cumulated memory: 226456 KiB

[startup+192 s]*
/proc/loadavg: 4.10 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305096/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=261140 memory=226456 CPUtime=191.45 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68372 0 0 0 19135 10 0 0 20 0 1 0 58747615 267407360 56614 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65285 56614 2656 2593 0 62178 0
Current children cumulated CPU time: 191.45 s
Current children cumulated vsize: 261140 KiB
Current children cumulated memory: 226456 KiB

[startup+192.4 s]
/proc/loadavg: 4.10 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305096/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=261140 memory=226456 CPUtime=191.85 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68372 0 0 0 19175 10 0 0 20 0 1 0 58747615 267407360 56614 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65285 56614 2656 2593 0 62178 0
Current children cumulated CPU time: 191.85 s
Current children cumulated vsize: 261140 KiB
Current children cumulated memory: 226456 KiB

[startup+192.6 s]
/proc/loadavg: 4.10 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305096/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=261140 memory=226456 CPUtime=192.05 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68372 0 0 0 19195 10 0 0 20 0 1 0 58747615 267407360 56614 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65285 56614 2656 2593 0 62178 0
Current children cumulated CPU time: 192.05 s
Current children cumulated vsize: 261140 KiB
Current children cumulated memory: 226456 KiB

[startup+192.7 s]
/proc/loadavg: 4.10 4.13 4.07 5/266 60047
/proc/meminfo: memFree=122305096/131249996 swapFree=33010416/33010684
[pid=59903] ppid=59900 vsize=261140 memory=226456 CPUtime=192.15 cores=5,7
/proc/59903/stat : 59903 (CASHWMaxSAT-Dis) R 59900 59903 59153 0 -1 4194304 68372 0 0 0 19205 10 0 0 20 0 1 0 58747615 267407360 56614 18446744073709551615 4198400 14817773 140731984131216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41787392 140731984136554 140731984136669 140731984136669 140731984142271 0
/proc/59903/statm: 65285 56614 2656 2593 0 62178 0
Current children cumulated CPU time: 192.15 s
Current children cumulated vsize: 261140 KiB
Current children cumulated memory: 226456 KiB

Child status: 30

Real time (s): 192.799
CPU time (s): 192.245
CPU user time (s): 192.131
CPU system time (s): 0.113633
CPU usage (%): 99.7123
Max. virtual memory (cumulated for all children) (KiB): 261140
Max. memory (cumulated for all children) (KiB): 226456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.131
system time used= 0.113633
maximum resident set size= 230068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68372
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= 4
involuntary context switches= 223


# summary of solver processes directly reported to runsolver:
#   pid: 59903
#   total CPU time (s): 192.245
#   total CPU user time (s): 192.131
#   total CPU system time (s): 0.113633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.431078 second user time and 0.814352 second system time

The end