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: 63794 MiB (53878 MiB free)
  memory of node 1: 64507 MiB (58528 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523676-1751602032/watcher-4523676-1751602032 -o /tmp/evaluation-result-4523676-1751602032/solver-4523676-1751602032 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523676-1751602032.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=85193, runsolver pid=85190

[startup+0.100075 s]*
/proc/loadavg: 4.08 4.10 4.09 5/252 85194
/proc/meminfo: memFree=115096476/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=25576 memory=9104 CPUtime=0.1 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 1170 0 0 0 10 0 0 0 20 0 1 0 75882069 26189824 2276 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 6394 2276 736 2416 0 3496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25576 KiB
Current children cumulated memory: 9104 KiB

[startup+0.213191 s]*
/proc/loadavg: 4.08 4.10 4.09 5/252 85194
/proc/meminfo: memFree=115096476/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=29232 memory=12688 CPUtime=0.21 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 2046 0 0 0 21 0 0 0 20 0 1 0 75882069 29933568 3172 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 7308 3172 736 2416 0 4410 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29232 KiB
Current children cumulated memory: 12688 KiB

[startup+0.31292 s]*
/proc/loadavg: 4.08 4.10 4.09 6/252 85194
/proc/meminfo: memFree=115096476/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=32048 memory=15376 CPUtime=0.31 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 2742 0 0 0 30 1 0 0 20 0 1 0 75882069 32817152 3844 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 8012 3844 736 2416 0 5114 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32048 KiB
Current children cumulated memory: 15376 KiB

[startup+0.700302 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 85194
/proc/meminfo: memFree=115088664/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=43280 memory=26384 CPUtime=0.68 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 5485 0 0 0 66 2 0 0 20 0 1 0 75882069 44318720 6596 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 10820 6596 736 2416 0 7922 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43280 KiB
Current children cumulated memory: 26384 KiB

[startup+1.50035 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 85194
/proc/meminfo: memFree=115072536/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=82156 memory=61200 CPUtime=1.48 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 14172 0 0 0 145 3 0 0 20 0 1 0 75882069 84127744 15300 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 20539 15300 736 2416 0 17641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82156 KiB
Current children cumulated memory: 61200 KiB

[startup+3.11273 s]
/proc/loadavg: 4.07 4.10 4.09 5/252 85194
/proc/meminfo: memFree=114905084/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=279580 memory=231356 CPUtime=3.09 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 36406 0 0 0 300 9 0 0 20 0 1 0 75882069 286289920 57839 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 69895 57839 992 2416 0 66997 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 279580 KiB
Current children cumulated memory: 231356 KiB

[startup+6.30034 s]
/proc/loadavg: 4.07 4.10 4.09 5/252 85194
/proc/meminfo: memFree=114541720/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=588888 memory=518912 CPUtime=6.27 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 54107 0 0 0 607 20 0 0 20 0 1 0 75882069 603021312 129728 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 147222 129728 992 2416 0 144324 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 588888 KiB
Current children cumulated memory: 518912 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.09 5/252 85194
/proc/meminfo: memFree=113979200/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=1143268 memory=986676 CPUtime=12.64 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 86083 0 0 0 1229 35 0 0 20 0 1 0 75882069 1170706432 246669 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 285817 246669 992 2416 0 282919 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1143268 KiB
Current children cumulated memory: 986676 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 85194
/proc/meminfo: memFree=110973020/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=4497768 memory=3815048 CPUtime=25.42 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 252360 0 0 0 2429 113 0 0 20 0 1 0 75882069 4605714432 953762 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1124442 953762 992 2416 0 1121544 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4497768 KiB
Current children cumulated memory: 3815048 KiB

[startup+51.1127 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 85195
/proc/meminfo: memFree=111023452/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=4591540 memory=3907144 CPUtime=50.95 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 271961 0 0 0 4978 117 0 0 20 0 1 0 75882069 4701736960 976786 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1147885 976786 992 2416 0 1144987 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4591540 KiB
Current children cumulated memory: 3907144 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/250 85196
/proc/meminfo: memFree=109689052/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5277736 memory=4729016 CPUtime=101.99 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 347462 0 0 0 10027 172 0 0 20 0 1 0 75882069 5404401664 1182254 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1319434 1182254 992 2416 0 1316536 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 5277736 KiB
Current children cumulated memory: 4729016 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 85199
/proc/meminfo: memFree=110699348/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4474664 CPUtime=161.82 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 350977 0 0 0 15998 184 0 0 20 0 1 0 75882069 5187211264 1118666 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1118666 1024 2416 0 1263511 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4474664 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 85204
/proc/meminfo: memFree=110710468/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=221.64 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351482 0 0 0 21979 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

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

# cumulated CPU time of all completed processes:  user=240.153 s, system=1.93059 s

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

[startup+230.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 85204
/proc/meminfo: memFree=110710500/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=229.72 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351642 0 0 0 22787 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 229.72 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

[startup+236.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 85205
/proc/meminfo: memFree=110701776/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=236.1 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351878 0 0 0 23425 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 236.1 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

[startup+240.001 s]*
/proc/loadavg: 4.11 4.10 4.09 6/251 85206
/proc/meminfo: memFree=110701776/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=239.31 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351950 0 0 0 23746 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 239.31 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

[startup+241.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 85206
/proc/meminfo: memFree=110701524/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=240.89 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351959 0 0 0 23904 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 240.89 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

[startup+242.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 85206
/proc/meminfo: memFree=110697428/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=241.68 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351959 0 0 0 23983 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 241.68 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

[startup+242.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 85206
/proc/meminfo: memFree=110697428/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=241.88 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351959 0 0 0 24003 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 241.88 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

[startup+242.7 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 85206
/proc/meminfo: memFree=110697428/131382112 swapFree=33009904/33010684
[pid=85193] ppid=85190 vsize=5065636 memory=4476812 CPUtime=241.98 cores=5,7
/proc/85193/stat : 85193 (CASHWMaxSAT-Dis) R 85190 85193 84706 0 -1 4194304 351959 0 0 0 24013 185 0 0 20 0 1 0 75882069 5187211264 1119203 18446744073709551615 4198400 14093885 140724672440752 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 46379008 140724672444778 140724672444893 140724672444893 140724672450495 0
/proc/85193/statm: 1266409 1119203 1024 2416 0 1263511 0
Current children cumulated CPU time: 241.98 s
Current children cumulated vsize: 5065636 KiB
Current children cumulated memory: 4476812 KiB

Child status: 30

Real time (s): 242.792
CPU time (s): 242.083
CPU user time (s): 240.153
CPU system time (s): 1.93059
CPU usage (%): 99.7081
Max. virtual memory (cumulated for all children) (KiB): 6185784
Max. memory (cumulated for all children) (KiB): 5487260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.153
system time used= 1.93059
maximum resident set size= 5487260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351959
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= 241


# summary of solver processes directly reported to runsolver:
#   pid: 85193
#   total CPU time (s): 242.083
#   total CPU user time (s): 240.153
#   total CPU system time (s): 1.93059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43126 second user time and 2.15687 second system time

The end