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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499469-1751467972/watcher-4499469-1751467972 -o /tmp/evaluation-result-4499469-1751467972/solver-4499469-1751467972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751464373-61842 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4499469-1751467972.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
solver pid=62378, runsolver pid=62375
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=129045040/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=26264 memory=7936 CPUtime=0.06 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 1318 0 0 0 6 0 0 0 20 0 1 0 62476390 26894336 1984 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 6566 1984 736 2416 0 3668 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 12288 KiB

[startup+0.221762 s]*
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=129020848/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=33144 memory=14592 CPUtime=0.18 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 3010 0 0 0 17 1 0 0 20 0 1 0 62476390 33939456 3648 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 8286 3648 736 2416 0 5388 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40128 KiB
Current children cumulated memory: 18944 KiB

[startup+0.313951 s]*
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=129004972/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=38472 memory=19840 CPUtime=0.27 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 4319 0 0 0 26 1 0 0 20 0 1 0 62476390 39395328 4960 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 9618 4960 736 2416 0 6720 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 45456 KiB
Current children cumulated memory: 24192 KiB

[startup+0.700386 s]
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=128980716/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=59692 memory=41088 CPUtime=0.64 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 9633 0 0 0 61 3 0 0 20 0 1 0 62476390 61124608 10272 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 14923 10272 736 2416 0 12025 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 66676 KiB
Current children cumulated memory: 45440 KiB

[startup+1.50039 s]
/proc/loadavg: 4.18 4.14 4.11 5/259 62382
/proc/meminfo: memFree=128956524/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=72032 memory=57444 CPUtime=1.43 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 14775 0 0 0 138 5 0 0 20 0 1 0 62476390 73760768 14361 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 18008 14361 768 2416 0 15110 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 79016 KiB
Current children cumulated memory: 61796 KiB

[startup+3.11249 s]
/proc/loadavg: 4.16 4.13 4.10 4/252 62420
/proc/meminfo: memFree=128960784/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=74712 memory=59108 CPUtime=3.04 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 15189 0 0 0 297 7 0 0 20 0 1 0 62476390 76505088 14777 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 18678 14777 768 2416 0 15780 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 81696 KiB
Current children cumulated memory: 63460 KiB

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

# cumulated CPU time of all completed processes:  user=3.52705 s, system=0.096117 s

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

[startup+3.20043 s]
/proc/loadavg: 4.16 4.13 4.10 4/252 62420
/proc/meminfo: memFree=128960784/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=74712 memory=59236 CPUtime=3.12 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 15218 0 0 0 305 7 0 0 20 0 1 0 62476390 76505088 14809 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 18678 14809 768 2416 0 15780 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 81696 KiB
Current children cumulated memory: 63588 KiB

[startup+3.60038 s]
/proc/loadavg: 4.16 4.13 4.10 4/252 62420
/proc/meminfo: memFree=128960784/131382120 swapFree=33010160/33010684
[pid=62378] ppid=62375 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/62378/stat : 62378 (Hybrid-CASHWMax) S 62375 62378 61829 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 62476387 4427776 768 18446744073709551615 94825623904256 94825624798789 140729714608480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94825625037840 94825625085584 94825650860032 140729714612567 140729714612721 140729714612721 140729714618323 0
/proc/62378/statm: 1081 768 704 219 0 143 0
[pid=62381] ppid=62378 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/62381/stat : 62381 (timeout) S 62378 62381 61829 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62476389 2723840 320 18446744073709551615 94281231241216 94281231257729 140726705639248 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94281231272496 94281231274584 94281237938176 140726705641878 140726705642018 140726705642018 140726705647591 0
/proc/62381/statm: 665 320 320 5 0 90 0
[pid=62382] ppid=62381 vsize=74712 memory=59620 CPUtime=3.51 cores=5,7
/proc/62382/stat : 62382 (CASHWMaxSAT-Dis) R 62381 62381 61829 0 -1 4194304 15327 0 0 0 344 7 0 0 20 0 1 0 62476390 76505088 14905 18446744073709551615 4198400 14093885 140726350118672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29253632 140726350125468 140726350125595 140726350125595 140726350131168 0
/proc/62382/statm: 18678 14905 768 2416 0 15780 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 81696 KiB
Current children cumulated memory: 63972 KiB

Child status: 0

Real time (s): 3.69727
CPU time (s): 3.62317
CPU user time (s): 3.52705
CPU system time (s): 0.096117
CPU usage (%): 97.9956
Max. virtual memory (cumulated for all children) (KiB): 82332
Max. memory (cumulated for all children) (KiB): 64896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.52705
system time used= 0.096117
maximum resident set size= 61952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 328
involuntary context switches= 40


# summary of solver processes directly reported to runsolver:
#   pid: 62378
#   total CPU time (s): 3.62317
#   total CPU user time (s): 3.52705
#   total CPU system time (s): 0.096117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046716 second user time and 0.103403 second system time

The end