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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486047-1751314154/watcher-4486047-1751314154 -o /tmp/evaluation-result-4486047-1751314154/solver-4486047-1751314154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43529 --watchdog 3760 mixed-bag HOME/instance-4486047-1751314154.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=43856, runsolver pid=43853
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.21 3.39 3.83 5/264 43857
/proc/meminfo: memFree=128161476/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=103732 memory=29568 CPUtime=0.08 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 3859 0 0 0 8 0 0 0 20 0 1 0 47093927 106221568 7392 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 25933 7392 4064 2842 0 7627 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103732 KiB
Current children cumulated memory: 29568 KiB

[startup+0.205471 s]*
/proc/loadavg: 2.21 3.39 3.83 5/264 43857
/proc/meminfo: memFree=128149632/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=112776 memory=36940 CPUtime=0.19 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 6399 0 0 0 19 0 0 0 20 0 1 0 47093927 115482624 9235 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 28194 9235 4256 2842 0 9888 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112776 KiB
Current children cumulated memory: 36940 KiB

[startup+0.305397 s]*
/proc/loadavg: 2.21 3.39 3.83 5/264 43857
/proc/meminfo: memFree=128149632/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=112776 memory=36940 CPUtime=0.28 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 6399 0 0 0 28 0 0 0 20 0 1 0 47093927 115482624 9235 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 28194 9235 4256 2842 0 9888 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 112776 KiB
Current children cumulated memory: 36940 KiB

[startup+0.700126 s]
/proc/loadavg: 2.21 3.39 3.83 5/264 43857
/proc/meminfo: memFree=128149632/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=119424 memory=42828 CPUtime=0.68 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 7811 0 0 0 67 1 0 0 20 0 1 0 47093927 122290176 10707 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 29856 10707 4352 2842 0 11550 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119424 KiB
Current children cumulated memory: 42828 KiB

[startup+1.50015 s]
/proc/loadavg: 2.21 3.39 3.83 5/264 43857
/proc/meminfo: memFree=128148876/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=119936 memory=43468 CPUtime=1.48 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 7960 0 0 0 147 1 0 0 20 0 1 0 47093927 122814464 10867 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 29984 10867 4352 2842 0 11678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119936 KiB
Current children cumulated memory: 43468 KiB

[startup+3.10523 s]
/proc/loadavg: 2.21 3.39 3.83 5/264 43857
/proc/meminfo: memFree=128148408/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=119936 memory=44108 CPUtime=3.08 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 8101 0 0 0 307 1 0 0 20 0 1 0 47093927 122814464 11027 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 29984 11027 4352 2842 0 11678 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119936 KiB
Current children cumulated memory: 44108 KiB

[startup+6.30015 s]
/proc/loadavg: 2.35 3.40 3.83 5/264 43857
/proc/meminfo: memFree=128168056/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=119936 memory=44364 CPUtime=6.27 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 8194 0 0 0 626 1 0 0 20 0 1 0 47093927 122814464 11091 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 29984 11091 4352 2842 0 11678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119936 KiB
Current children cumulated memory: 44364 KiB

[startup+12.7001 s]
/proc/loadavg: 2.56 3.42 3.84 5/264 43857
/proc/meminfo: memFree=128164264/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=120644 memory=45132 CPUtime=12.65 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 8370 0 0 0 1264 1 0 0 20 0 1 0 47093927 123539456 11283 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 30161 11283 4352 2842 0 11855 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120644 KiB
Current children cumulated memory: 45132 KiB

[startup+25.5002 s]
/proc/loadavg: 2.88 3.45 3.84 5/264 43858
/proc/meminfo: memFree=128151696/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=125928 memory=50212 CPUtime=25.41 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 10292 0 0 0 2540 1 0 0 20 0 1 0 47093927 128950272 12553 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 31482 12553 4352 2842 0 13176 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 125928 KiB
Current children cumulated memory: 50212 KiB

[startup+51.1053 s]
/proc/loadavg: 3.27 3.50 3.84 5/264 43858
/proc/meminfo: memFree=128006412/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=130036 memory=54436 CPUtime=50.93 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 11358 0 0 0 5092 1 0 0 20 0 1 0 47093927 133156864 13609 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 32509 13609 4352 2842 0 14203 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 130036 KiB
Current children cumulated memory: 54436 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 3.59 3.86 5/264 43860
/proc/meminfo: memFree=127890200/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=138168 memory=63836 CPUtime=101.98 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 14002 0 0 0 10196 2 0 0 20 0 1 0 47093927 141484032 15959 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 34542 15959 4544 2842 0 16236 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 138168 KiB
Current children cumulated memory: 63836 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 3.75 3.90 5/264 43862
/proc/meminfo: memFree=127849512/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=142512 memory=67452 CPUtime=161.81 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 15690 0 0 0 16179 2 0 0 20 0 1 0 47093927 145932288 16863 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 35628 16863 4544 2842 0 17322 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 142512 KiB
Current children cumulated memory: 67452 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 3.86 3.93 5/264 43864
/proc/meminfo: memFree=127820520/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=146292 memory=71548 CPUtime=221.63 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 16727 0 0 0 22161 2 0 0 20 0 1 0 47093927 149803008 17887 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 36573 17887 4544 2842 0 18267 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 146292 KiB
Current children cumulated memory: 71548 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.90 3.94 5/263 43866
/proc/meminfo: memFree=127815692/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=156904 memory=82212 CPUtime=281.45 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 19557 0 0 0 28143 2 0 0 20 0 1 0 47093927 160669696 20553 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39226 20553 4544 2842 0 20920 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 156904 KiB
Current children cumulated memory: 82212 KiB

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

# cumulated CPU time of all completed processes:  user=292.864 s, system=0.031904 s

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

[startup+288 s]*
/proc/loadavg: 4.11 3.90 3.94 5/262 43866
/proc/meminfo: memFree=127912972/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=156904 memory=82212 CPUtime=287.14 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 19557 0 0 0 28712 2 0 0 20 0 1 0 47093927 160669696 20553 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39226 20553 4544 2842 0 20920 0
Current children cumulated CPU time: 287.14 s
Current children cumulated vsize: 156904 KiB
Current children cumulated memory: 82212 KiB

[startup+291.2 s]
/proc/loadavg: 4.10 3.90 3.94 5/262 43866
/proc/meminfo: memFree=127888396/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=156904 memory=82212 CPUtime=290.32 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 19558 0 0 0 29030 2 0 0 20 0 1 0 47093927 160669696 20553 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39226 20553 4544 2842 0 20920 0
Current children cumulated CPU time: 290.32 s
Current children cumulated vsize: 156904 KiB
Current children cumulated memory: 82212 KiB

[startup+292.8 s]
/proc/loadavg: 4.10 3.90 3.94 5/262 43866
/proc/meminfo: memFree=127872140/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=158388 memory=83876 CPUtime=291.92 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 19962 0 0 0 29190 2 0 0 20 0 1 0 47093927 162189312 20969 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39597 20969 4544 2842 0 21291 0
Current children cumulated CPU time: 291.92 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 83876 KiB

[startup+293.2 s]
/proc/loadavg: 4.10 3.90 3.94 5/262 43866
/proc/meminfo: memFree=127869016/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=158388 memory=84260 CPUtime=292.32 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 20066 0 0 0 29230 2 0 0 20 0 1 0 47093927 162189312 21065 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39597 21065 4544 2842 0 21291 0
Current children cumulated CPU time: 292.32 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 84260 KiB

[startup+293.6 s]
/proc/loadavg: 4.10 3.90 3.94 5/262 43866
/proc/meminfo: memFree=127869016/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=158388 memory=84260 CPUtime=292.72 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 20066 0 0 0 29270 2 0 0 20 0 1 0 47093927 162189312 21065 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39597 21065 4544 2842 0 21291 0
Current children cumulated CPU time: 292.72 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 84260 KiB

[startup+293.7 s]
/proc/loadavg: 4.10 3.90 3.94 5/262 43866
/proc/meminfo: memFree=127869016/131249988 swapFree=33010684/33010684
[pid=43856] ppid=43853 vsize=158388 memory=84260 CPUtime=292.82 cores=1,3
/proc/43856/stat : 43856 (mixed-bag) R 43853 43856 43517 0 -1 4194304 20066 0 0 0 29280 2 0 0 20 0 1 0 47093927 162189312 21065 18446744073709551615 4235264 15874749 140725293766672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 51634176 140725293771164 140725293771241 140725293771241 140725293776843 0
/proc/43856/statm: 39597 21065 4544 2842 0 21291 0
Current children cumulated CPU time: 292.82 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 84260 KiB

Child status: 0

Real time (s): 293.765
CPU time (s): 292.895
CPU user time (s): 292.864
CPU system time (s): 0.031904
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 158388
Max. memory (cumulated for all children) (KiB): 84260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 292.864
system time used= 0.031904
maximum resident set size= 84260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20085
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= 125
involuntary context switches= 275


# summary of solver processes directly reported to runsolver:
#   pid: 43856
#   total CPU time (s): 292.895
#   total CPU user time (s): 292.864
#   total CPU system time (s): 0.031904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.501189 second user time and 1.2822 second system time

The end