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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486767-1751335937/watcher-4486767-1751335937 -o /tmp/evaluation-result-4486767-1751335937/solver-4486767-1751335937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751335915-55869 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486767-1751335937.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=56015, runsolver pid=56012

[startup+0.100045 s]*
/proc/loadavg: 2.25 2.63 3.41 5/267 56016
/proc/meminfo: memFree=127015296/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=37212 memory=28160 CPUtime=0.08 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 5007 0 0 0 7 1 0 0 20 0 1 0 49271533 38105088 7040 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 9303 7040 2272 2593 0 6196 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 37212 KiB
Current children cumulated memory: 28160 KiB

[startup+0.205718 s]*
/proc/loadavg: 2.25 2.63 3.41 5/267 56016
/proc/meminfo: memFree=126991356/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=63956 memory=52924 CPUtime=0.18 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 11092 0 0 0 17 1 0 0 20 0 1 0 49271533 65490944 13231 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 15989 13231 2496 2593 0 12882 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63956 KiB
Current children cumulated memory: 52924 KiB

[startup+0.305725 s]*
/proc/loadavg: 2.25 2.63 3.41 5/267 56016
/proc/meminfo: memFree=126987576/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=64708 memory=54716 CPUtime=0.28 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 11516 0 0 0 27 1 0 0 20 0 1 0 49271533 66260992 13679 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 16177 13679 2528 2593 0 13070 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64708 KiB
Current children cumulated memory: 54716 KiB

[startup+0.700192 s]
/proc/loadavg: 2.25 2.63 3.41 5/267 56016
/proc/meminfo: memFree=126987832/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=65400 memory=55484 CPUtime=0.67 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 11718 0 0 0 66 1 0 0 20 0 1 0 49271533 66969600 13871 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 16350 13871 2528 2593 0 13243 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65400 KiB
Current children cumulated memory: 55484 KiB

[startup+1.50017 s]
/proc/loadavg: 2.25 2.63 3.41 5/267 56016
/proc/meminfo: memFree=126985816/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=94844 memory=82424 CPUtime=1.47 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 16951 0 0 0 145 2 0 0 20 0 1 0 49271533 97120256 20606 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 23711 20606 2528 2593 0 20604 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 82424 KiB

[startup+3.10571 s]
/proc/loadavg: 2.25 2.63 3.41 5/267 56016
/proc/meminfo: memFree=126930692/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=124360 memory=109504 CPUtime=3.07 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 25162 0 0 0 304 3 0 0 20 0 1 0 49271533 127344640 27376 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 31090 27376 2624 2593 0 27983 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 124360 KiB
Current children cumulated memory: 109504 KiB

[startup+6.30017 s]
/proc/loadavg: 2.39 2.65 3.41 4/265 56019
/proc/meminfo: memFree=126994512/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=183184 memory=143816 CPUtime=6.26 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 33945 0 0 0 621 5 0 0 20 0 1 0 49271533 187580416 35954 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 45796 35954 2624 2593 0 42689 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183184 KiB
Current children cumulated memory: 143816 KiB

[startup+12.7002 s]
/proc/loadavg: 2.52 2.67 3.41 4/263 56049
/proc/meminfo: memFree=126983472/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=206304 memory=165704 CPUtime=12.64 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 39418 0 0 0 1258 6 0 0 20 0 1 0 49271533 211255296 41426 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 51576 41426 2624 2593 0 48469 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 206304 KiB
Current children cumulated memory: 165704 KiB

[startup+25.5002 s]
/proc/loadavg: 2.85 2.74 3.42 5/267 56106
/proc/meminfo: memFree=126923800/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=206304 memory=165704 CPUtime=25.4 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 39418 0 0 0 2534 6 0 0 20 0 1 0 49271533 211255296 41426 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 51576 41426 2624 2593 0 48469 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 206304 KiB
Current children cumulated memory: 165704 KiB

[startup+51.1056 s]
/proc/loadavg: 3.30 2.86 3.44 5/267 56107
/proc/meminfo: memFree=126871420/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=246304 memory=186132 CPUtime=50.94 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 45048 0 0 0 5088 6 0 0 20 0 1 0 49271533 252215296 46533 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 61576 46533 2624 2593 0 58469 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 246304 KiB
Current children cumulated memory: 186132 KiB

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

# cumulated CPU time of all completed processes:  user=99.4232 s, system=0.08873 s

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

[startup+51.2002 s]
/proc/loadavg: 3.30 2.86 3.44 5/267 56107
/proc/meminfo: memFree=126871420/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=246304 memory=186132 CPUtime=51.03 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 45048 0 0 0 5097 6 0 0 20 0 1 0 49271533 252215296 46533 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 61576 46533 2624 2593 0 58469 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 246304 KiB
Current children cumulated memory: 186132 KiB

[startup+76.8002 s]
/proc/loadavg: 3.54 2.95 3.46 5/265 56107
/proc/meminfo: memFree=126829180/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=272460 memory=210452 CPUtime=76.56 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 51171 0 0 0 7649 7 0 0 20 0 1 0 49271533 278999040 52613 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 68115 52613 2624 2593 0 65008 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 272460 KiB
Current children cumulated memory: 210452 KiB

[startup+89.6002 s]
/proc/loadavg: 3.71 3.02 3.47 5/264 56108
/proc/meminfo: memFree=126821864/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=296092 memory=215572 CPUtime=89.33 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 52461 0 0 0 8925 8 0 0 20 0 1 0 49271533 303198208 53893 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 74023 53893 2624 2593 0 70916 0
Current children cumulated CPU time: 89.33 s
Current children cumulated vsize: 296092 KiB
Current children cumulated memory: 215572 KiB

[startup+96.0002 s]*
/proc/loadavg: 3.74 3.04 3.48 5/265 56109
/proc/meminfo: memFree=126810184/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=306452 memory=217236 CPUtime=95.72 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 52870 0 0 0 9564 8 0 0 20 0 1 0 49271533 313806848 54309 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 76613 54309 2624 2593 0 73506 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 306452 KiB
Current children cumulated memory: 217236 KiB

[startup+97.6002 s]
/proc/loadavg: 3.74 3.04 3.48 5/265 56109
/proc/meminfo: memFree=126810480/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=307780 memory=217364 CPUtime=97.31 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 52908 0 0 0 9723 8 0 0 20 0 1 0 49271533 315166720 54341 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 76945 54341 2624 2593 0 73838 0
Current children cumulated CPU time: 97.31 s
Current children cumulated vsize: 307780 KiB
Current children cumulated memory: 217364 KiB

[startup+99.2002 s]
/proc/loadavg: 3.76 3.05 3.48 5/265 56109
/proc/meminfo: memFree=126810480/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=315288 memory=218772 CPUtime=98.91 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 53244 0 0 0 9883 8 0 0 20 0 1 0 49271533 322854912 54693 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 78822 54693 2624 2593 0 75715 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 315288 KiB
Current children cumulated memory: 218772 KiB

[startup+99.6002 s]
/proc/loadavg: 3.76 3.05 3.48 5/265 56109
/proc/meminfo: memFree=126810480/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=315288 memory=218772 CPUtime=99.3 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) R 56012 56015 55856 0 -1 4194304 53244 0 0 0 9922 8 0 0 20 0 1 0 49271533 322854912 54693 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 78822 54693 2624 2593 0 75715 0
Current children cumulated CPU time: 99.3 s
Current children cumulated vsize: 315288 KiB
Current children cumulated memory: 218772 KiB

[startup+99.8001 s]
/proc/loadavg: 3.76 3.05 3.48 5/265 56109
/proc/meminfo: memFree=126810480/131250000 swapFree=33010684/33010684
[pid=56015] ppid=56012 vsize=315288 memory=218772 CPUtime=99.5 cores=5,7
/proc/56015/stat : 56015 (CASHWMaxSAT-Dis) S 56012 56015 55856 0 -1 4194304 53244 0 0 0 9942 8 0 0 20 0 1 0 49271533 322854912 54693 18446744073709551615 4198400 14817773 140727254378416 0 0 0 0 0 8408098 1 0 0 17 5 0 0 0 0 0 16829744 16914832 53739520 140727254387050 140727254387165 140727254387165 140727254392767 0
/proc/56015/statm: 78822 54693 2624 2593 0 75715 0
Current children cumulated CPU time: 99.5 s
Current children cumulated vsize: 315288 KiB
Current children cumulated memory: 218772 KiB

Child status: 30

Real time (s): 99.8111
CPU time (s): 99.512
CPU user time (s): 99.4232
CPU system time (s): 0.08873
CPU usage (%): 99.7003
Max. virtual memory (cumulated for all children) (KiB): 315288
Max. memory (cumulated for all children) (KiB): 218772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.4232
system time used= 0.08873
maximum resident set size= 218772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53244
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= 123


# summary of solver processes directly reported to runsolver:
#   pid: 56015
#   total CPU time (s): 99.512
#   total CPU user time (s): 99.4232
#   total CPU system time (s): 0.08873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185858 second user time and 0.481392 second system time

The end