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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499694-1751475133/watcher-4499694-1751475133 -o /tmp/evaluation-result-4499694-1751475133/solver-4499694-1751475133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751471455-66946 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4499694-1751475133.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
solver pid=67501, runsolver pid=67498
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.14 4.11 4.05 5/263 67502
/proc/meminfo: memFree=128358844/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=39984 memory=21504 CPUtime=0.1 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 4752 0 0 0 9 1 0 0 20 0 1 0 63191151 40943616 5376 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 9996 5376 736 2416 0 7098 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 21504 KiB

[startup+0.205619 s]*
/proc/loadavg: 4.14 4.11 4.05 5/263 67502
/proc/meminfo: memFree=128342716/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=54944 memory=45796 CPUtime=0.2 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 9958 0 0 0 19 1 0 0 20 0 1 0 63191151 56262656 11449 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 13736 11449 2112 2416 0 10838 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54944 KiB
Current children cumulated memory: 45796 KiB

[startup+0.305571 s]*
/proc/loadavg: 4.14 4.11 4.05 5/263 67502
/proc/meminfo: memFree=128310712/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=86576 memory=76772 CPUtime=0.3 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 17514 0 0 0 27 3 0 0 20 0 1 0 63191151 88653824 19193 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 21644 19193 2336 2416 0 18746 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86576 KiB
Current children cumulated memory: 76772 KiB

[startup+0.700182 s]
/proc/loadavg: 4.14 4.11 4.05 5/263 67502
/proc/meminfo: memFree=128286520/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=116380 memory=106096 CPUtime=0.69 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 24195 0 0 0 65 4 0 0 20 0 1 0 63191151 119173120 26524 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 29095 26524 2496 2416 0 26197 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116380 KiB
Current children cumulated memory: 106096 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.11 4.05 5/263 67502
/proc/meminfo: memFree=128278456/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=122348 memory=109808 CPUtime=1.48 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 25103 0 0 0 144 4 0 0 20 0 1 0 63191151 125284352 27452 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 30587 27452 2496 2416 0 27689 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122348 KiB
Current children cumulated memory: 109808 KiB

[startup+3.10541 s]
/proc/loadavg: 4.14 4.11 4.05 5/263 67502
/proc/meminfo: memFree=128286496/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=127360 memory=112624 CPUtime=3.08 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 25823 0 0 0 304 4 0 0 20 0 1 0 63191151 130416640 28156 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 31840 28156 2496 2416 0 28942 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127360 KiB
Current children cumulated memory: 112624 KiB

[startup+6.30013 s]
/proc/loadavg: 4.13 4.10 4.05 5/263 67502
/proc/meminfo: memFree=128286496/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=129508 memory=112624 CPUtime=6.27 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 25825 0 0 0 623 4 0 0 20 0 1 0 63191151 132616192 28156 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 32377 28156 2496 2416 0 29479 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129508 KiB
Current children cumulated memory: 112624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.05 5/263 67502
/proc/meminfo: memFree=128270144/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=138916 memory=113648 CPUtime=12.65 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 26078 0 0 0 1261 4 0 0 20 0 1 0 63191151 142249984 28412 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 34729 28412 2496 2416 0 31831 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138916 KiB
Current children cumulated memory: 113648 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.04 5/262 67503
/proc/meminfo: memFree=128205424/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=197464 memory=144880 CPUtime=25.41 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 33889 0 0 0 2536 5 0 0 20 0 1 0 63191151 202203136 36220 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 49366 36220 2496 2416 0 46468 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 197464 KiB
Current children cumulated memory: 144880 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.10 4.05 5/262 67503
/proc/meminfo: memFree=128196368/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=197464 memory=145520 CPUtime=50.94 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 34057 0 0 0 5089 5 0 0 20 0 1 0 63191151 202203136 36380 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 49366 36380 2496 2416 0 46468 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 197464 KiB
Current children cumulated memory: 145520 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/262 67505
/proc/meminfo: memFree=128160396/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=216432 memory=152184 CPUtime=102 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 41574 0 0 0 10193 7 0 0 20 0 1 0 63191151 221626368 38046 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 54108 38046 2496 2416 0 51210 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 216432 KiB
Current children cumulated memory: 152184 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/263 67512
/proc/meminfo: memFree=128115792/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=254268 memory=174968 CPUtime=161.82 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 47298 0 0 0 16174 8 0 0 20 0 1 0 63191151 260370432 43742 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 63567 43742 2496 2416 0 60669 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 254268 KiB
Current children cumulated memory: 174968 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.06 5/264 67515
/proc/meminfo: memFree=128082432/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=274808 memory=195852 CPUtime=221.66 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 50597 0 0 0 22157 9 0 0 20 0 1 0 63191151 281403392 48963 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 68702 48963 2496 2416 0 65804 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 274808 KiB
Current children cumulated memory: 195852 KiB

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

# cumulated CPU time of all completed processes:  user=253.845 s, system=0.110652 s

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

[startup+230.4 s]
/proc/loadavg: 4.14 4.12 4.06 5/264 67515
/proc/meminfo: memFree=128035440/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214540 CPUtime=229.73 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57609 0 0 0 22963 10 0 0 20 0 1 0 63191151 300662784 53635 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53635 2496 2416 0 70506 0
Current children cumulated CPU time: 229.73 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214540 KiB

[startup+243.2 s]
/proc/loadavg: 4.12 4.11 4.06 5/264 67516
/proc/meminfo: memFree=128033844/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214668 CPUtime=242.5 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57641 0 0 0 24240 10 0 0 20 0 1 0 63191151 300662784 53667 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53667 2496 2416 0 70506 0
Current children cumulated CPU time: 242.5 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214668 KiB

[startup+249.6 s]
/proc/loadavg: 4.11 4.11 4.06 5/264 67516
/proc/meminfo: memFree=128029212/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214796 CPUtime=248.88 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57681 0 0 0 24878 10 0 0 20 0 1 0 63191151 300662784 53699 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53699 2496 2416 0 70506 0
Current children cumulated CPU time: 248.88 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214796 KiB

[startup+252.8 s]
/proc/loadavg: 4.18 4.12 4.06 5/264 67516
/proc/meminfo: memFree=128029244/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214796 CPUtime=252.07 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57700 0 0 0 25197 10 0 0 20 0 1 0 63191151 300662784 53699 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53699 2496 2416 0 70506 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214796 KiB

[startup+253.6 s]
/proc/loadavg: 4.18 4.12 4.06 5/264 67516
/proc/meminfo: memFree=128029244/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214796 CPUtime=252.87 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57700 0 0 0 25277 10 0 0 20 0 1 0 63191151 300662784 53699 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53699 2496 2416 0 70506 0
Current children cumulated CPU time: 252.87 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214796 KiB

[startup+254.4 s]
/proc/loadavg: 4.18 4.12 4.06 5/264 67516
/proc/meminfo: memFree=128029244/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214924 CPUtime=253.66 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57704 0 0 0 25356 10 0 0 20 0 1 0 63191151 300662784 53731 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53731 2496 2416 0 70506 0
Current children cumulated CPU time: 253.66 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214924 KiB

[startup+254.6 s]
/proc/loadavg: 4.18 4.12 4.06 5/264 67516
/proc/meminfo: memFree=128029244/131249996 swapFree=33004236/33010684
[pid=67501] ppid=67498 vsize=293616 memory=214924 CPUtime=253.86 cores=5,7
/proc/67501/stat : 67501 (CASHWMaxSAT-Dis) R 67498 67501 66933 0 -1 4194304 57704 0 0 0 25376 10 0 0 20 0 1 0 63191151 300662784 53731 18446744073709551615 4198400 14093885 140726841698032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41771008 140726841706858 140726841706973 140726841706973 140726841712575 0
/proc/67501/statm: 73404 53731 2496 2416 0 70506 0
Current children cumulated CPU time: 253.86 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 214924 KiB

Child status: 30

Real time (s): 254.697
CPU time (s): 253.955
CPU user time (s): 253.845
CPU system time (s): 0.110652
CPU usage (%): 99.7089
Max. virtual memory (cumulated for all children) (KiB): 304896
Max. memory (cumulated for all children) (KiB): 223628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.845
system time used= 0.110652
maximum resident set size= 223628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57704
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= 1503


# summary of solver processes directly reported to runsolver:
#   pid: 67501
#   total CPU time (s): 253.955
#   total CPU user time (s): 253.845
#   total CPU system time (s): 0.110652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.388485 second user time and 1.17793 second system time

The end