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: 63931 MiB (61194 MiB free)
  memory of node 1: 64510 MiB (61044 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444018-1721310439/watcher-4444018-1721310439 -o /tmp/evaluation-result-4444018-1721310439/solver-4444018-1721310439 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721306271-975390 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4444018-1721310439.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=979079, runsolver pid=979076
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 4.34 4.22 4.13 5/255 979080
/proc/meminfo: memFree=125160988/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=31548 memory=15784 CPUtime=0.09 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 3114 0 0 0 9 0 0 0 20 0 1 0 183211310 32305152 3946 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 7887 3946 922 2726 0 4635 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31548 KiB
Current children cumulated memory: 15784 KiB

[startup+0.205732 s]*
/proc/loadavg: 4.34 4.22 4.13 5/255 979080
/proc/meminfo: memFree=125109292/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=90140 memory=70148 CPUtime=0.2 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 9393 0 0 0 18 2 0 0 20 0 1 0 183211310 92303360 17537 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 22535 17537 954 2726 0 19283 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 70148 KiB

[startup+0.305834 s]*
/proc/loadavg: 4.34 4.22 4.13 5/255 979080
/proc/meminfo: memFree=125106604/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=90140 memory=70148 CPUtime=0.3 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 9417 0 0 0 28 2 0 0 20 0 1 0 183211310 92303360 17537 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 22535 17537 954 2726 0 19283 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 70148 KiB

[startup+0.700239 s]
/proc/loadavg: 4.34 4.22 4.13 5/255 979080
/proc/meminfo: memFree=125089460/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=142740 memory=123248 CPUtime=0.69 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 22560 0 0 0 65 4 0 0 20 0 1 0 183211310 146165760 30812 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 35685 30812 1034 2726 0 32433 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 142740 KiB
Current children cumulated memory: 123248 KiB

[startup+1.50024 s]
/proc/loadavg: 4.34 4.22 4.13 5/255 979080
/proc/meminfo: memFree=125025764/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=171548 memory=151712 CPUtime=1.49 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 28040 0 0 0 144 5 0 0 20 0 1 0 183211310 175665152 37928 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 42887 37928 1146 2726 0 39635 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 171548 KiB
Current children cumulated memory: 151712 KiB

[startup+3.10558 s]
/proc/loadavg: 4.34 4.22 4.13 5/255 979082
/proc/meminfo: memFree=125023140/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=173456 memory=153508 CPUtime=3.09 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 28538 0 0 0 304 5 0 0 20 0 1 0 183211310 177618944 38377 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 43364 38377 1146 2726 0 40112 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 173456 KiB
Current children cumulated memory: 153508 KiB

[startup+6.30023 s]
/proc/loadavg: 4.31 4.21 4.13 5/255 979082
/proc/meminfo: memFree=125018220/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=177320 memory=157356 CPUtime=6.27 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 29017 0 0 0 622 5 0 0 20 0 1 0 183211310 181575680 39339 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 44330 39339 1146 2726 0 41078 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177320 KiB
Current children cumulated memory: 157356 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.21 4.13 5/255 979083
/proc/meminfo: memFree=125028612/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=171672 memory=151296 CPUtime=12.66 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 31367 0 0 0 1260 6 0 0 20 0 1 0 183211310 175792128 37824 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 42918 37824 1146 2726 0 39666 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 171672 KiB
Current children cumulated memory: 151296 KiB

[startup+25.5003 s]
/proc/loadavg: 4.30 4.21 4.13 5/255 979085
/proc/meminfo: memFree=124984088/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=184408 memory=164780 CPUtime=25.42 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 36068 0 0 0 2534 8 0 0 20 0 1 0 183211310 188833792 41195 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 46102 41195 1146 2726 0 42850 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 184408 KiB
Current children cumulated memory: 164780 KiB

[startup+51.1057 s]
/proc/loadavg: 4.20 4.20 4.13 5/255 979088
/proc/meminfo: memFree=125037180/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=188312 memory=168756 CPUtime=50.95 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 42073 0 0 0 5085 10 0 0 20 0 1 0 183211310 192831488 42189 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 47078 42189 1146 2726 0 43826 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 188312 KiB
Current children cumulated memory: 168756 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/255 979098
/proc/meminfo: memFree=125006288/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=199136 memory=179632 CPUtime=102.01 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 48225 0 0 0 10185 16 0 0 20 0 1 0 183211310 203915264 44908 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 49784 44908 1146 2726 0 46532 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 199136 KiB
Current children cumulated memory: 179632 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/257 979112
/proc/meminfo: memFree=124983056/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=182080 memory=163008 CPUtime=161.85 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 51932 0 0 0 16167 18 0 0 20 0 1 0 183211310 186449920 40752 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 45520 40752 1146 2726 0 42268 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 182080 KiB
Current children cumulated memory: 163008 KiB

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

# cumulated CPU time of all completed processes:  user=210.989 s, system=0.237324 s

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

[startup+179.2 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 979113
/proc/meminfo: memFree=124946772/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=223964 memory=204664 CPUtime=178.7 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 54089 0 0 0 17850 20 0 0 20 0 1 0 183211310 229339136 51166 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 55991 51166 1146 2726 0 52739 0
Current children cumulated CPU time: 178.7 s
Current children cumulated vsize: 223964 KiB
Current children cumulated memory: 204664 KiB

[startup+192 s]*
/proc/loadavg: 4.09 4.16 4.12 5/256 979117
/proc/meminfo: memFree=125009980/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=184784 memory=165752 CPUtime=191.47 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 54775 0 0 0 19127 20 0 0 20 0 1 0 183211310 189218816 41438 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 46196 41438 1146 2726 0 42944 0
Current children cumulated CPU time: 191.47 s
Current children cumulated vsize: 184784 KiB
Current children cumulated memory: 165752 KiB

[startup+204.8 s]
/proc/loadavg: 4.13 4.16 4.12 5/256 979120
/proc/meminfo: memFree=124972340/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=206344 memory=187132 CPUtime=204.23 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 56008 0 0 0 20401 22 0 0 20 0 1 0 183211310 211296256 46783 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 51586 46783 1146 2726 0 48334 0
Current children cumulated CPU time: 204.23 s
Current children cumulated vsize: 206344 KiB
Current children cumulated memory: 187132 KiB

[startup+208 s]*
/proc/loadavg: 4.13 4.16 4.12 5/256 979120
/proc/meminfo: memFree=124964748/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=206344 memory=187132 CPUtime=207.42 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 56008 0 0 0 20720 22 0 0 20 0 1 0 183211310 211296256 46783 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 51586 46783 1146 2726 0 48334 0
Current children cumulated CPU time: 207.42 s
Current children cumulated vsize: 206344 KiB
Current children cumulated memory: 187132 KiB

[startup+209.6 s]
/proc/loadavg: 4.12 4.16 4.12 5/256 979120
/proc/meminfo: memFree=124921292/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=232344 memory=212972 CPUtime=209.02 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 56376 0 0 0 20879 23 0 0 20 0 1 0 183211310 237920256 53243 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 58086 53243 1146 2726 0 54834 0
Current children cumulated CPU time: 209.02 s
Current children cumulated vsize: 232344 KiB
Current children cumulated memory: 212972 KiB

[startup+211.2 s]
/proc/loadavg: 4.12 4.16 4.12 5/256 979120
/proc/meminfo: memFree=124921132/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=232344 memory=212972 CPUtime=210.61 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 56376 0 0 0 21038 23 0 0 20 0 1 0 183211310 237920256 53243 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 58086 53243 1146 2726 0 54834 0
Current children cumulated CPU time: 210.61 s
Current children cumulated vsize: 232344 KiB
Current children cumulated memory: 212972 KiB

[startup+211.6 s]
/proc/loadavg: 4.12 4.16 4.12 5/256 979120
/proc/meminfo: memFree=124921132/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=232344 memory=212972 CPUtime=211.01 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 56376 0 0 0 21078 23 0 0 20 0 1 0 183211310 237920256 53243 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 58086 53243 1146 2726 0 54834 0
Current children cumulated CPU time: 211.01 s
Current children cumulated vsize: 232344 KiB
Current children cumulated memory: 212972 KiB

[startup+211.8 s]
/proc/loadavg: 4.12 4.16 4.12 5/256 979120
/proc/meminfo: memFree=124921132/131524600 swapFree=131071996/131071996
[pid=979079] ppid=979076 vsize=232344 memory=213228 CPUtime=211.21 cores=5,7
/proc/979079/stat : 979079 (CASHWMaxSAT-Dis) R 979076 979079 975377 0 -1 4194304 56388 0 0 0 21098 23 0 0 20 0 1 0 183211310 237920256 53307 134679101440 4194304 15356333 140736411505024 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 35377152 140736411513826 140736411513942 140736411513942 140736411520958 0
/proc/979079/statm: 58086 53307 1146 2726 0 54834 0
Current children cumulated CPU time: 211.21 s
Current children cumulated vsize: 232344 KiB
Current children cumulated memory: 213228 KiB

Child status: 30

Real time (s): 211.807
CPU time (s): 211.226
CPU user time (s): 210.989
CPU system time (s): 0.237324
CPU usage (%): 99.7258
Max. virtual memory (cumulated for all children) (KiB): 232344
Max. memory (cumulated for all children) (KiB): 213228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.989
system time used= 0.237324
maximum resident set size= 229788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56388
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= 2
involuntary context switches= 284


# summary of solver processes directly reported to runsolver:
#   pid: 979079
#   total CPU time (s): 211.226
#   total CPU user time (s): 210.989
#   total CPU system time (s): 0.237324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.438354 second user time and 1.01294 second system time

The end