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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494405-1751133678/watcher-4494405-1751133678 -o /tmp/evaluation-result-4494405-1751133678/solver-4494405-1751133678 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751133631-11854 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494405-1751133678.opb 3600 HOME 

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=12242, runsolver pid=12239

[startup+0.100062 s]*
/proc/loadavg: 2.38 0.71 0.30 3/266 12244
/proc/meminfo: memFree=129150936/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29047334 4292608 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1048 768 704 219 0 110 0
[pid=12244] ppid=12242 vsize=464 memory=128 CPUtime=0 cores=5,7
/proc/12244/stat : 12244 (mkdir) D 12242 12242 11836 0 -1 4456448 46 0 0 0 0 0 0 0 20 0 1 0 29047343 475136 32 18446744073709551615 94632504606720 94632504649073 140736215139856 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94632504666512 94632504668312 94632525664256 140736215149050 140736215149094 140736215149094 140736215154665 0
/proc/12244/statm: 116 32 32 11 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4656 KiB
Current children cumulated memory: 3200 KiB

[startup+0.205673 s]*
/proc/loadavg: 2.38 0.71 0.30 3/266 12245
/proc/meminfo: memFree=129150044/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=436 memory=128 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) D 12242 12242 11836 0 -1 4456448 65 0 0 0 0 0 0 0 20 0 1 0 29047351 446464 32 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 109 32 32 5 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4760 KiB
Current children cumulated memory: 3200 KiB

[startup+0.305588 s]*
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=129150044/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) S 12242 12245 11836 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29047351 2723840 352 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 665 352 352 5 0 90 0
[pid=12246] ppid=12245 vsize=30812 memory=16512 CPUtime=0.06 cores=5,7
/proc/12246/stat : 12246 (CASHWMaxSAT-Dis) R 12245 12245 11836 0 -1 4194304 3346 0 0 0 6 0 0 0 20 0 1 0 29047358 31551488 4128 18446744073709551615 4198400 14817773 140723890839568 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 23093248 140723890846118 140723890846235 140723890846235 140723890851808 0
/proc/12246/statm: 7703 4128 864 2593 0 4596 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 20992 KiB

[startup+0.700238 s]
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=129156284/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) S 12242 12245 11836 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29047351 2723840 352 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 665 352 352 5 0 90 0
[pid=12246] ppid=12245 vsize=95172 memory=80384 CPUtime=0.43 cores=5,7
/proc/12246/stat : 12246 (CASHWMaxSAT-Dis) R 12245 12245 11836 0 -1 4194304 19366 0 0 0 41 2 0 0 20 0 1 0 29047358 97456128 20096 18446744073709551615 4198400 14817773 140723890839568 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23093248 140723890846118 140723890846235 140723890846235 140723890851808 0
/proc/12246/statm: 23793 20096 864 2593 0 20686 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 102156 KiB
Current children cumulated memory: 84864 KiB

[startup+1.50019 s]
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=129032828/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) S 12242 12245 11836 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29047351 2723840 352 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 665 352 352 5 0 90 0
[pid=12246] ppid=12245 vsize=231256 memory=216320 CPUtime=1.24 cores=5,7
/proc/12246/stat : 12246 (CASHWMaxSAT-Dis) R 12245 12245 11836 0 -1 4194304 53351 0 0 0 116 8 0 0 20 0 1 0 29047358 236806144 54080 18446744073709551615 4198400 14817773 140723890839568 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23093248 140723890846118 140723890846235 140723890846235 140723890851808 0
/proc/12246/statm: 57814 54080 864 2593 0 54707 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 238240 KiB
Current children cumulated memory: 220800 KiB

[startup+3.10556 s]
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=128732264/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) S 12242 12245 11836 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29047351 2723840 352 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 665 352 352 5 0 90 0
[pid=12246] ppid=12245 vsize=548828 memory=508908 CPUtime=2.84 cores=5,7
/proc/12246/stat : 12246 (CASHWMaxSAT-Dis) R 12245 12245 11836 0 -1 4194304 99470 0 0 0 266 18 0 0 20 0 1 0 29047358 561999872 127227 18446744073709551615 4198400 14817773 140723890839568 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23093248 140723890846118 140723890846235 140723890846235 140723890851808 0
/proc/12246/statm: 137207 127227 896 2593 0 134100 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 555812 KiB
Current children cumulated memory: 513388 KiB

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

# cumulated CPU time of all completed processes:  user=3.22648 s, system=0.219463 s

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

[startup+3.20026 s]
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=128732264/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) S 12242 12245 11836 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29047351 2723840 352 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 665 352 352 5 0 90 0
[pid=12246] ppid=12245 vsize=587884 memory=535624 CPUtime=2.93 cores=5,7
/proc/12246/stat : 12246 (CASHWMaxSAT-Dis) R 12245 12245 11836 0 -1 4194304 100021 0 0 0 275 18 0 0 20 0 1 0 29047358 601993216 133906 18446744073709551615 4198400 14817773 140723890839568 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23093248 140723890846118 140723890846235 140723890846235 140723890851808 0
/proc/12246/statm: 146971 133906 896 2593 0 143864 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 594868 KiB
Current children cumulated memory: 540104 KiB

[startup+3.60022 s]
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=128732264/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
[pid=12245] ppid=12242 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12245/stat : 12245 (timeout) S 12242 12245 11836 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29047351 2723840 352 18446744073709551615 94248614047744 94248614064257 140731157561440 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94248614079024 94248614081112 94248626155520 140731157563808 140731157563938 140731157563938 140731157569511 0
/proc/12245/statm: 665 352 352 5 0 90 0
[pid=12246] ppid=12245 vsize=577124 memory=524708 CPUtime=3.33 cores=5,7
/proc/12246/stat : 12246 (CASHWMaxSAT-Dis) R 12245 12245 11836 0 -1 4194304 101130 0 0 0 314 19 0 0 20 0 1 0 29047358 590974976 131177 18446744073709551615 4198400 14817773 140723890839568 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23093248 140723890846118 140723890846235 140723890846235 140723890851808 0
/proc/12246/statm: 144281 131177 960 2593 0 141174 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 584108 KiB
Current children cumulated memory: 529188 KiB

[startup+3.7002 s]
/proc/loadavg: 2.38 0.71 0.30 4/267 12246
/proc/meminfo: memFree=128732264/131250000 swapFree=33010684/33010684
[pid=12242] ppid=12239 vsize=4324 memory=3072 CPUtime=3.43 cores=5,7
/proc/12242/stat : 12242 (Hybrid-CASHWMax) S 12239 12242 11836 0 -1 4194304 286 101366 0 0 0 0 322 21 20 0 1 0 29047334 4427776 768 18446744073709551615 94551629713408 94551630607941 140722386668832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551630846992 94551630894736 94551647858688 140722386676055 140722386676209 140722386676209 140722386681811 0
/proc/12242/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3.43 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3.78787
CPU time (s): 3.44595
CPU user time (s): 3.22648
CPU system time (s): 0.219463
CPU usage (%): 90.9731
Max. virtual memory (cumulated for all children) (KiB): 594868
Max. memory (cumulated for all children) (KiB): 549124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22648
system time used= 0.219463
maximum resident set size= 544644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101869
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= 328
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 12242
#   total CPU time (s): 3.44595
#   total CPU user time (s): 3.22648
#   total CPU system time (s): 0.219463

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021911 second user time and 0.04379 second system time

The end