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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547128-1753267005/watcher-4547128-1753267005 -o /tmp/evaluation-result-4547128-1753267005/solver-4547128-1753267005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753267005-181993 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547128-1753267005.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=182034, runsolver pid=182030

[startup+0.100061 s]*
/proc/loadavg: 1.08 1.18 1.59 5/264 182048
/proc/meminfo: memFree=129550516/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=32784 memory=18560 CPUtime=0.07 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 3851 0 0 0 7 0 0 0 20 0 1 0 242380386 33570816 4640 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 8196 4640 864 2593 0 5089 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 22784 KiB

[startup+0.205659 s]*
/proc/loadavg: 1.08 1.18 1.59 5/272 182064
/proc/meminfo: memFree=129524160/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=51052 memory=36608 CPUtime=0.18 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 8389 0 0 0 16 2 0 0 20 0 1 0 242380386 52277248 9152 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 12763 9152 864 2593 0 9656 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 58036 KiB
Current children cumulated memory: 40832 KiB

[startup+0.305669 s]*
/proc/loadavg: 1.08 1.18 1.59 5/272 182064
/proc/meminfo: memFree=129478472/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=68276 memory=53632 CPUtime=0.27 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 12647 0 0 0 25 2 0 0 20 0 1 0 242380386 69914624 13408 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 17069 13408 864 2593 0 13962 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 57856 KiB

[startup+0.700219 s]
/proc/loadavg: 1.08 1.18 1.59 5/272 182064
/proc/meminfo: memFree=129365072/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=134708 memory=119936 CPUtime=0.66 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 29213 0 0 0 61 5 0 0 20 0 1 0 242380386 137940992 29984 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 33677 29984 864 2593 0 30570 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 141692 KiB
Current children cumulated memory: 124160 KiB

[startup+1.50022 s]
/proc/loadavg: 1.40 1.24 1.61 5/272 182064
/proc/meminfo: memFree=129107040/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=271480 memory=256000 CPUtime=1.47 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 63234 0 0 0 135 12 0 0 20 0 1 0 242380386 277995520 64000 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 67870 64000 864 2593 0 64763 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 278464 KiB
Current children cumulated memory: 260224 KiB

[startup+3.10553 s]
/proc/loadavg: 1.40 1.24 1.61 4/266 182074
/proc/meminfo: memFree=128060108/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=551164 memory=503288 CPUtime=3.07 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 99840 0 0 0 284 23 0 0 20 0 1 0 242380386 564391936 125822 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 137791 125822 960 2593 0 134684 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 558148 KiB
Current children cumulated memory: 507512 KiB

[startup+3.32455 s]
# the end of solver process 182034 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3.02926 s, system=0.260276 s

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

[startup+3.20025 s]
/proc/loadavg: 1.40 1.24 1.61 4/266 182074
/proc/meminfo: memFree=128060108/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
[pid=182040] ppid=182039 vsize=551164 memory=503288 CPUtime=3.17 cores=4,6
/proc/182040/stat : 182040 (CASHWMaxSAT-Dis) R 182039 182039 180330 0 -1 4194304 99858 0 0 0 294 23 0 0 20 0 1 0 242380386 564391936 125822 18446744073709551615 4198400 14817773 140726717907632 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47337472 140726717913508 140726717913625 140726717913625 140726717919200 0
/proc/182040/statm: 137791 125822 960 2593 0 134684 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 558148 KiB
Current children cumulated memory: 507512 KiB

[startup+3.30021 s]
/proc/loadavg: 1.40 1.24 1.61 4/266 182074
/proc/meminfo: memFree=128060108/131250000 swapFree=33009904/33010684
[pid=182034] ppid=182030 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/182034/stat : 182034 (Hybrid-CASHWMax) S 182030 182034 180330 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242380384 4427776 736 18446744073709551615 94390416805888 94390417700421 140729745880544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94390417939472 94390417987216 94390423478272 140729745885525 140729745885679 140729745885679 140729745891283 0
/proc/182034/statm: 1081 736 672 219 0 143 0
[pid=182039] ppid=182034 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/182039/stat : 182039 (timeout) S 182034 182039 180330 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242380386 2723840 320 18446744073709551615 94574172053504 94574172070017 140723182565632 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94574172084784 94574172086872 94574177730560 140723182569886 140723182570016 140723182570016 140723182575591 0
/proc/182039/statm: 665 320 320 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4224 KiB

Child status: 0

Real time (s): 3.32459
CPU time (s): 3.28953
CPU user time (s): 3.02926
CPU system time (s): 0.260276
CPU usage (%): 98.9456
Max. virtual memory (cumulated for all children) (KiB): 600328
Max. memory (cumulated for all children) (KiB): 549436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.02926
system time used= 0.260276
maximum resident set size= 545212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 351
involuntary context switches= 9


# summary of solver processes directly reported to runsolver:
#   pid: 182034
#   total CPU time (s): 3.28953
#   total CPU user time (s): 3.02926
#   total CPU system time (s): 0.260276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015029 second user time and 0.047392 second system time

The end