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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524636-1751614373/watcher-4524636-1751614373 -o /tmp/evaluation-result-4524636-1751614373/solver-4524636-1751614373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751612433-84721 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=92830148 --ls=360 HOME/instance-4524636-1751614373.wbo 

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
solver pid=85687, runsolver pid=85684
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 4.07 4.08 3.78 5/264 85688
/proc/meminfo: memFree=126674016/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=0.1 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 10 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+0.205142 s]*
/proc/loadavg: 4.07 4.08 3.78 6/264 85688
/proc/meminfo: memFree=126674016/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=0.2 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 20 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+0.304657 s]*
/proc/loadavg: 4.07 4.08 3.78 5/264 85688
/proc/meminfo: memFree=126674016/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=0.3 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 30 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+0.700093 s]
/proc/loadavg: 4.07 4.08 3.78 5/264 85688
/proc/meminfo: memFree=126674016/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=0.69 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 69 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+1.50009 s]
/proc/loadavg: 4.07 4.08 3.78 5/264 85688
/proc/meminfo: memFree=126674268/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=1.49 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 149 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+3.10423 s]
/proc/loadavg: 4.15 4.10 3.79 5/264 85688
/proc/meminfo: memFree=126674268/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=3.09 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 309 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+6.30008 s]
/proc/loadavg: 4.15 4.10 3.79 5/264 85688
/proc/meminfo: memFree=126674536/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=6.28 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 628 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.09 3.79 5/263 85688
/proc/meminfo: memFree=126674860/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=12.67 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 1267 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+25.5001 s]
/proc/loadavg: 4.10 4.09 3.79 5/263 85688
/proc/meminfo: memFree=126674924/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=25.44 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 2544 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+51.1042 s]
/proc/loadavg: 4.14 4.10 3.81 5/263 85688
/proc/meminfo: memFree=126674812/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=50.99 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 5099 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 3.83 5/263 85690
/proc/meminfo: memFree=126674884/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=102.08 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 10208 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 3.84 5/263 85692
/proc/meminfo: memFree=126688976/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=161.95 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 16195 0 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 3.86 5/263 85699
/proc/meminfo: memFree=126693036/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=221.83 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 22182 1 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.11 3.89 5/265 85839
/proc/meminfo: memFree=126660832/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=281.68 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 28167 1 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 3.90 5/265 85841
/proc/meminfo: memFree=126648920/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=341.52 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 34150 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

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

# cumulated CPU time of all completed processes:  user=359.206 s, system=0.027365 s

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

[startup+345.6 s]
/proc/loadavg: 4.17 4.12 3.91 5/265 85841
/proc/meminfo: memFree=126649172/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=344.81 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 34479 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 344.81 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+352 s]*
/proc/loadavg: 4.15 4.12 3.91 5/265 85841
/proc/meminfo: memFree=126649684/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=351.2 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 35118 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 351.2 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+355.2 s]
/proc/loadavg: 4.14 4.11 3.91 5/265 85841
/proc/meminfo: memFree=126649936/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=354.39 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 35437 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 354.39 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+358.4 s]
/proc/loadavg: 4.13 4.11 3.91 5/265 85841
/proc/meminfo: memFree=126650188/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=357.58 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 35756 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 357.58 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+359.2 s]
/proc/loadavg: 4.13 4.11 3.91 5/265 85841
/proc/meminfo: memFree=126650188/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=358.38 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 35836 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 358.38 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+359.6 s]
/proc/loadavg: 4.13 4.11 3.91 5/265 85841
/proc/meminfo: memFree=126650188/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=358.77 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 35875 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 358.77 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

[startup+360 s]*
/proc/loadavg: 4.13 4.11 3.91 5/265 85841
/proc/meminfo: memFree=126650188/131249996 swapFree=33010160/33010684
[pid=85687] ppid=85684 vsize=31380 memory=7680 CPUtime=359.18 cores=4,6
/proc/85687/stat : 85687 (Exact) R 85684 85687 84710 0 -1 4194304 1042 0 0 0 35916 2 0 0 20 0 1 0 77115694 32133120 1920 18446744073709551615 4198400 9112445 140731511501824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 24113152 140731511503162 140731511503339 140731511503339 140731511508943 0
/proc/85687/statm: 7845 1920 1024 1200 0 6325 0
Current children cumulated CPU time: 359.18 s
Current children cumulated vsize: 31380 KiB
Current children cumulated memory: 7680 KiB

Child status: 30

Real time (s): 360.053
CPU time (s): 359.234
CPU user time (s): 359.206
CPU system time (s): 0.027365
CPU usage (%): 99.7724
Max. virtual memory (cumulated for all children) (KiB): 31380
Max. memory (cumulated for all children) (KiB): 7680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.206
system time used= 0.027365
maximum resident set size= 17972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2974
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= 288


# summary of solver processes directly reported to runsolver:
#   pid: 85687
#   total CPU time (s): 359.234
#   total CPU user time (s): 359.206
#   total CPU system time (s): 0.027365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.597053 second user time and 1.05439 second system time

The end