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: 63665 MiB (62365 MiB free)
  memory of node 1: 64507 MiB (63686 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503183-1751162886/watcher-4503183-1751162886 -o /tmp/evaluation-result-4503183-1751162886/solver-4503183-1751162886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751159266-20570 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503183-1751162886.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21578, runsolver pid=21575

[startup+0.100059 s]*
/proc/loadavg: 4.14 4.13 4.09 5/264 21579
/proc/meminfo: memFree=129077540/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=90128 memory=17352 CPUtime=0.09 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 2520 0 0 0 9 0 0 0 20 0 1 0 31968841 92291072 4338 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 22532 4338 2432 595 0 7199 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90128 KiB
Current children cumulated memory: 17352 KiB

[startup+0.205455 s]*
/proc/loadavg: 4.14 4.13 4.09 5/264 21579
/proc/meminfo: memFree=129076944/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=90908 memory=17992 CPUtime=0.19 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 2676 0 0 0 19 0 0 0 20 0 1 0 31968841 93089792 4498 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 22727 4498 2432 595 0 7394 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90908 KiB
Current children cumulated memory: 17992 KiB

[startup+0.305387 s]*
/proc/loadavg: 4.14 4.13 4.09 5/264 21579
/proc/meminfo: memFree=129073920/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=93284 memory=20424 CPUtime=0.29 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 3288 0 0 0 28 1 0 0 20 0 1 0 31968841 95522816 5106 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 23321 5106 2432 595 0 7988 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 20424 KiB

[startup+0.700157 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 21579
/proc/meminfo: memFree=129073680/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=93284 memory=20424 CPUtime=0.68 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 3288 0 0 0 63 5 0 0 20 0 1 0 31968841 95522816 5106 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 23321 5106 2432 595 0 7988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 20424 KiB

[startup+1.50016 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 21579
/proc/meminfo: memFree=129073680/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=93284 memory=20424 CPUtime=1.48 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 3288 0 0 0 133 15 0 0 20 0 1 0 31968841 95522816 5106 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 23321 5106 2432 595 0 7988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 20424 KiB

[startup+3.1052 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 21579
/proc/meminfo: memFree=129073776/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=93284 memory=20424 CPUtime=3.08 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 3288 0 0 0 274 34 0 0 20 0 1 0 31968841 95522816 5106 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 23321 5106 2432 595 0 7988 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 20424 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 21624
/proc/meminfo: memFree=129418648/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=93284 memory=20424 CPUtime=6.26 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 3288 0 0 0 556 70 0 0 20 0 1 0 31968841 95522816 5106 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 23321 5106 2432 595 0 7988 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 20424 KiB

[startup+12.7001 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 21625
/proc/meminfo: memFree=129419244/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=93284 memory=20424 CPUtime=12.65 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 3288 0 0 0 1118 147 0 0 20 0 1 0 31968841 95522816 5106 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 23321 5106 2432 595 0 7988 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93284 KiB
Current children cumulated memory: 20424 KiB

[startup+25.5001 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 21625
/proc/meminfo: memFree=129406744/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=98188 memory=36120 CPUtime=25.42 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 4622 0 0 0 2280 262 0 0 20 0 1 0 31968841 100544512 9030 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 24547 9030 2464 595 0 9214 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 98188 KiB
Current children cumulated memory: 36120 KiB

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

# cumulated CPU time of all completed processes:  user=41.4273 s, system=2.64468 s

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

[startup+25.6002 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 21625
/proc/meminfo: memFree=129406744/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=98188 memory=36120 CPUtime=25.52 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 4630 0 0 0 2290 262 0 0 20 0 1 0 31968841 100544512 9030 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 24547 9030 2464 595 0 9214 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 98188 KiB
Current children cumulated memory: 36120 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.29 4.16 4.10 5/265 21673
/proc/meminfo: memFree=129675256/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=99668 memory=39828 CPUtime=31.9 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5011 0 0 0 2927 263 0 0 20 0 1 0 31968841 102060032 9957 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 24917 9957 2496 595 0 9584 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 99668 KiB
Current children cumulated memory: 39828 KiB

[startup+38.4001 s]
/proc/loadavg: 4.35 4.18 4.11 5/265 21673
/proc/meminfo: memFree=129675148/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=100724 memory=40724 CPUtime=38.28 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5230 0 0 0 3565 263 0 0 20 0 1 0 31968841 103141376 10181 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 25181 10181 2496 595 0 9848 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 100724 KiB
Current children cumulated memory: 40724 KiB

[startup+41.6001 s]
/proc/loadavg: 4.40 4.19 4.11 5/265 21673
/proc/meminfo: memFree=129674928/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=100856 memory=40852 CPUtime=41.47 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5264 0 0 0 3883 264 0 0 20 0 1 0 31968841 103276544 10213 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 25214 10213 2496 595 0 9881 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 100856 KiB
Current children cumulated memory: 40852 KiB

[startup+43.2001 s]
/proc/loadavg: 4.40 4.19 4.11 5/265 21673
/proc/meminfo: memFree=129670620/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=101084 memory=43216 CPUtime=43.07 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5353 0 0 0 4043 264 0 0 20 0 1 0 31968841 103510016 10804 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 25271 10804 2496 595 0 9938 0
Current children cumulated CPU time: 43.07 s
Current children cumulated vsize: 101084 KiB
Current children cumulated memory: 43216 KiB

[startup+43.6001 s]
/proc/loadavg: 4.40 4.19 4.11 5/265 21673
/proc/meminfo: memFree=129670620/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=101084 memory=43216 CPUtime=43.47 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5353 0 0 0 4083 264 0 0 20 0 1 0 31968841 103510016 10804 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 25271 10804 2496 595 0 9938 0
Current children cumulated CPU time: 43.47 s
Current children cumulated vsize: 101084 KiB
Current children cumulated memory: 43216 KiB

[startup+44.0001 s]*
/proc/loadavg: 4.40 4.19 4.11 5/265 21673
/proc/meminfo: memFree=129670620/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=101084 memory=43216 CPUtime=43.87 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5353 0 0 0 4123 264 0 0 20 0 1 0 31968841 103510016 10804 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 25271 10804 2496 595 0 9938 0
Current children cumulated CPU time: 43.87 s
Current children cumulated vsize: 101084 KiB
Current children cumulated memory: 43216 KiB

[startup+44.1054 s]
/proc/loadavg: 4.40 4.19 4.11 5/265 21673
/proc/meminfo: memFree=129670620/131250000 swapFree=33010684/33010684
[pid=21578] ppid=21575 vsize=101084 memory=43216 CPUtime=43.97 cores=0,2
/proc/21578/stat : 21578 (SynLSCD-PS) R 21575 21578 20557 0 -1 4194304 5353 0 0 0 4133 264 0 0 20 0 1 0 31968841 103510016 10804 18446744073709551615 94310119464960 94310121899961 140727262367520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94310122380536 94310122413568 94310150266880 140727262370144 140727262370280 140727262370280 140727262375882 0
/proc/21578/statm: 25271 10804 2496 595 0 9938 0
Current children cumulated CPU time: 43.97 s
Current children cumulated vsize: 101084 KiB
Current children cumulated memory: 43216 KiB

Child status: 30

Real time (s): 44.2009
CPU time (s): 44.072
CPU user time (s): 41.4273
CPU system time (s): 2.64468
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 101084
Max. memory (cumulated for all children) (KiB): 43216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4273
system time used= 2.64468
maximum resident set size= 43216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5378
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= 136
involuntary context switches= 62


# summary of solver processes directly reported to runsolver:
#   pid: 21578
#   total CPU time (s): 44.072
#   total CPU user time (s): 41.4273
#   total CPU system time (s): 2.64468

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101556 second user time and 0.197401 second system time

The end