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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546138-1753259728/watcher-4546138-1753259728 -o /tmp/evaluation-result-4546138-1753259728/solver-4546138-1753259728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753259701-171467 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546138-1753259728.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=171659, runsolver pid=171647
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.79 0.51 0.23 2/266 171660
/proc/meminfo: memFree=120173244/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) D 171647 171659 171448 0 -1 4194304 82 0 0 0 0 0 0 0 20 0 1 0 241650611 17514496 160 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB

[startup+0.204507 s]*
/proc/loadavg: 1.79 0.51 0.23 4/266 171660
/proc/meminfo: memFree=120173244/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) D 171647 171659 171448 0 -1 4194304 82 0 0 0 0 0 0 0 20 0 1 0 241650611 17514496 160 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB

[startup+0.304709 s]*
/proc/loadavg: 1.79 0.51 0.23 4/264 171660
/proc/meminfo: memFree=120173052/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=86524 memory=13696 CPUtime=0.03 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 1418 0 0 0 3 0 0 0 20 0 1 0 241650611 88600576 3424 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 21631 3424 2272 595 0 6298 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 86524 KiB
Current children cumulated memory: 13696 KiB

[startup+0.700152 s]
/proc/loadavg: 1.79 0.51 0.23 4/264 171664
/proc/meminfo: memFree=120157428/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=153168 memory=80572 CPUtime=0.42 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 14551 0 0 0 39 3 0 0 20 0 1 0 241650611 156844032 20143 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 38292 20143 2432 595 0 22959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 153168 KiB
Current children cumulated memory: 80572 KiB

[startup+1.50018 s]
/proc/loadavg: 1.79 0.51 0.23 4/262 171668
/proc/meminfo: memFree=119961484/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=194616 memory=117820 CPUtime=1.22 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 23830 0 0 0 117 5 0 0 20 0 1 0 241650611 199286784 29455 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 48654 29455 2464 595 0 33321 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 117820 KiB

[startup+3.10544 s]
/proc/loadavg: 1.96 0.57 0.25 4/262 171668
/proc/meminfo: memFree=119961684/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=194616 memory=117820 CPUtime=2.82 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 23831 0 0 0 277 5 0 0 20 0 1 0 241650611 199286784 29455 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 48654 29455 2464 595 0 33321 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 117820 KiB

[startup+6.30017 s]
/proc/loadavg: 1.96 0.57 0.25 4/262 171668
/proc/meminfo: memFree=119917576/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=194616 memory=117820 CPUtime=6.01 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 23832 0 0 0 596 5 0 0 20 0 1 0 241650611 199286784 29455 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 48654 29455 2464 595 0 33321 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 117820 KiB

[startup+12.7002 s]
/proc/loadavg: 2.21 0.64 0.27 4/262 171696
/proc/meminfo: memFree=119922904/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=194616 memory=117820 CPUtime=12.38 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 23833 0 0 0 1233 5 0 0 20 0 1 0 241650611 199286784 29455 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 48654 29455 2464 595 0 33321 0
Current children cumulated CPU time: 12.38 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 117820 KiB

[startup+25.5002 s]
/proc/loadavg: 2.60 0.81 0.33 4/264 171718
/proc/meminfo: memFree=119918604/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=194616 memory=117820 CPUtime=25.15 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 23833 0 0 0 2510 5 0 0 20 0 1 0 241650611 199286784 29455 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 48654 29455 2464 595 0 33321 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 117820 KiB

[startup+51.1055 s]
/proc/loadavg: 3.14 1.08 0.44 5/266 171751
/proc/meminfo: memFree=119649876/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=194616 memory=117820 CPUtime=50.68 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 23833 0 0 0 5063 5 0 0 20 0 1 0 241650611 199286784 29455 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 48654 29455 2464 595 0 33321 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 194616 KiB
Current children cumulated memory: 117820 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 1.56 0.64 5/266 171797
/proc/meminfo: memFree=119747732/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=202688 memory=135384 CPUtime=101.73 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 25796 0 0 0 10166 7 0 0 20 0 1 0 241650611 207552512 33846 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 50672 33846 2528 595 0 35339 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 202688 KiB
Current children cumulated memory: 135384 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.03 0.86 5/268 171891
/proc/meminfo: memFree=119753088/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=203304 memory=137048 CPUtime=161.58 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26000 0 0 0 16151 7 0 0 20 0 1 0 241650611 208183296 34262 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 50826 34262 2528 595 0 35493 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 203304 KiB
Current children cumulated memory: 137048 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.42 1.07 5/267 171982
/proc/meminfo: memFree=119719700/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=203988 memory=137816 CPUtime=221.43 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26201 0 0 0 22136 7 0 0 20 0 1 0 241650611 208883712 34454 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 50997 34454 2528 595 0 35664 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 203988 KiB
Current children cumulated memory: 137816 KiB

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

# cumulated CPU time of all completed processes:  user=250.983 s, system=0.07579 s

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

[startup+230.4 s]
/proc/loadavg: 4.08 2.47 1.10 5/267 171982
/proc/meminfo: memFree=119710312/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=229.51 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26468 0 0 0 22944 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 229.51 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+243.2 s]
/proc/loadavg: 4.07 2.55 1.14 5/267 171983
/proc/meminfo: memFree=119697868/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=242.28 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 24221 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 242.28 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+246.4 s]
/proc/loadavg: 4.07 2.55 1.14 5/267 171983
/proc/meminfo: memFree=119695064/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=245.47 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 24540 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 245.47 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+249.6 s]
/proc/loadavg: 4.14 2.59 1.17 5/267 171984
/proc/meminfo: memFree=119717024/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=248.66 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 24859 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 248.66 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+251.2 s]
/proc/loadavg: 4.14 2.59 1.17 5/267 171984
/proc/meminfo: memFree=119708708/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=250.25 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 25018 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 250.25 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+251.6 s]
/proc/loadavg: 4.14 2.59 1.17 5/267 171984
/proc/meminfo: memFree=119708708/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=250.65 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 25058 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 250.65 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+251.8 s]
/proc/loadavg: 4.14 2.59 1.17 5/267 171984
/proc/meminfo: memFree=119708708/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=250.85 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 25078 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 250.85 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

[startup+251.9 s]
/proc/loadavg: 4.14 2.59 1.17 5/267 171984
/proc/meminfo: memFree=119708708/131250000 swapFree=33008356/33010684
[pid=171659] ppid=171647 vsize=205012 memory=138840 CPUtime=250.95 cores=1,3
/proc/171659/stat : 171659 (SynLSCD-PS) R 171647 171659 171448 0 -1 4194304 26470 0 0 0 25088 7 0 0 20 0 1 0 241650611 209932288 34710 18446744073709551615 93864351637504 93864354072921 140734817587328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93864354553080 93864354586112 93864384438272 140734817593725 140734817593863 140734817593863 140734817599467 0
/proc/171659/statm: 51253 34710 2528 595 0 35920 0
Current children cumulated CPU time: 250.95 s
Current children cumulated vsize: 205012 KiB
Current children cumulated memory: 138840 KiB

Child status: 30

Real time (s): 251.996
CPU time (s): 251.059
CPU user time (s): 250.983
CPU system time (s): 0.07579
CPU usage (%): 99.6282
Max. virtual memory (cumulated for all children) (KiB): 205012
Max. memory (cumulated for all children) (KiB): 138840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.983
system time used= 0.07579
maximum resident set size= 138840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26502
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= 215
involuntary context switches= 368


# summary of solver processes directly reported to runsolver:
#   pid: 171659
#   total CPU time (s): 251.059
#   total CPU user time (s): 250.983
#   total CPU system time (s): 0.07579

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.432133 second user time and 1.12898 second system time

The end