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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=11601, runsolver pid=11598

[startup+0.100096 s]*
/proc/loadavg: 2.07 0.59 0.26 5/258 11603
/proc/meminfo: memFree=129903972/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29046226 4292608 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1048 768 704 219 0 110 0
[pid=11603] ppid=11601 vsize=464 memory=128 CPUtime=0 cores=0,2
/proc/11603/stat : 11603 (mkdir) D 11601 11601 11256 0 -1 4456448 46 0 0 0 0 0 0 0 20 0 1 0 29046234 475136 32 18446744073709551615 93897751838720 93897751881073 140725864865072 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 93897751898512 93897751900312 93897768636416 140725864868346 140725864868390 140725864868390 140725864873961 0
/proc/11603/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.213814 s]*
/proc/loadavg: 2.07 0.59 0.26 4/258 11604
/proc/meminfo: memFree=129888180/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB

[startup+0.313687 s]*
/proc/loadavg: 2.07 0.59 0.26 5/259 11605
/proc/meminfo: memFree=129872304/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=24504 memory=10112 CPUtime=0.09 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 1753 0 0 0 9 0 0 0 20 0 1 0 29046249 25092096 2528 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 6126 2528 864 2593 0 3019 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31488 KiB
Current children cumulated memory: 14592 KiB

[startup+0.700469 s]
/proc/loadavg: 2.07 0.59 0.26 5/259 11605
/proc/meminfo: memFree=129823920/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=46172 memory=31872 CPUtime=0.46 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 7190 0 0 0 44 2 0 0 20 0 1 0 29046249 47280128 7968 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 11543 7968 864 2593 0 8436 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 53156 KiB
Current children cumulated memory: 36352 KiB

[startup+1.50051 s]
/proc/loadavg: 2.22 0.65 0.28 5/259 11605
/proc/meminfo: memFree=129711040/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=114952 memory=100352 CPUtime=1.26 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 24328 0 0 0 120 6 0 0 20 0 1 0 29046249 117710848 25088 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 28738 25088 864 2593 0 25631 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 121936 KiB
Current children cumulated memory: 104832 KiB

[startup+3.11324 s]
/proc/loadavg: 2.22 0.65 0.28 5/259 11605
/proc/meminfo: memFree=129099452/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=366108 memory=343276 CPUtime=2.87 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 85362 0 0 0 270 17 0 0 20 0 1 0 29046249 374894592 85819 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 91527 85819 896 2593 0 88420 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 373092 KiB
Current children cumulated memory: 347756 KiB

[startup+6.30047 s]
/proc/loadavg: 2.37 0.70 0.30 5/259 11605
/proc/meminfo: memFree=128277324/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=632500 memory=578660 CPUtime=6.05 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 102606 0 0 0 579 26 0 0 20 0 1 0 29046249 647680000 144665 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 158125 144665 960 2593 0 155018 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 639484 KiB
Current children cumulated memory: 583140 KiB

[startup+12.7005 s]
/proc/loadavg: 2.58 0.77 0.32 4/253 11615
/proc/meminfo: memFree=129034344/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=623212 memory=559736 CPUtime=12.42 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 111669 0 0 0 1208 34 0 0 20 0 1 0 29046249 638169088 139934 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 155803 139934 992 2593 0 152696 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 630196 KiB
Current children cumulated memory: 564216 KiB

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

# cumulated CPU time of all completed processes:  user=12.4181 s, system=0.38895 s

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

[startup+12.8005 s]
/proc/loadavg: 2.58 0.77 0.32 4/253 11615
/proc/meminfo: memFree=129034344/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 249 102 0 0 0 0 0 0 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
[pid=11604] ppid=11601 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11604/stat : 11604 (timeout) S 11601 11604 11256 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29046241 2723840 352 18446744073709551615 93871651749888 93871651766401 140723706151248 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93871651781168 93871651783256 93871662768128 140723706153376 140723706153506 140723706153506 140723706159079 0
/proc/11604/statm: 665 352 352 5 0 90 0
[pid=11605] ppid=11604 vsize=623212 memory=559736 CPUtime=12.52 cores=0,2
/proc/11605/stat : 11605 (CASHWMaxSAT-Dis) R 11604 11604 11256 0 -1 4194304 111675 0 0 0 1218 34 0 0 20 0 1 0 29046249 638169088 139934 18446744073709551615 4198400 14817773 140735055239648 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 23810048 140735055247782 140735055247899 140735055247899 140735055253472 0
/proc/11605/statm: 155803 139934 992 2593 0 152696 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 630196 KiB
Current children cumulated memory: 564216 KiB

[startup+13.2003 s]
/proc/loadavg: 2.58 0.77 0.32 4/253 11615
/proc/meminfo: memFree=129036432/131382120 swapFree=33010684/33010684
[pid=11601] ppid=11598 vsize=4324 memory=3072 CPUtime=12.78 cores=0,2
/proc/11601/stat : 11601 (Hybrid-CASHWMax) S 11598 11601 11256 0 -1 4194304 312 111985 0 0 0 0 1241 37 20 0 1 0 29046226 4427776 768 18446744073709551615 94741981241344 94741982135877 140721034678096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94741982374928 94741982422672 94741986643968 140721034684759 140721034684913 140721034684913 140721034690515 0
/proc/11601/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 12.78 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 13.2137
CPU time (s): 12.8071
CPU user time (s): 12.4181
CPU system time (s): 0.38895
CPU usage (%): 96.9232
Max. virtual memory (cumulated for all children) (KiB): 708628
Max. memory (cumulated for all children) (KiB): 642180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4182
system time used= 0.38895
maximum resident set size= 642128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112395
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= 327
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 11601
#   total CPU time (s): 12.8071
#   total CPU user time (s): 12.4181
#   total CPU system time (s): 0.38895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107843 second user time and 0.214099 second system time

The end